( en | de | ru )

 

Disambiguation of "Mazzullo, Andrea"

Author of the publication

copydeleteadd this publication to your clipboard
Non-Normal Modal Description Logics.

, , , and . JELIA, volume 14281 of Lecture Notes in Computer Science, page 306-321. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andrea Witzenrath

Risikofaktoren für abdominelle Komplikationen nach kardiopulmonalem Bypass. Uni Erlangen-Nürnberg, (2009)

Andrea Rottach

Analysis of the cell cycle dependent dynamics of Dnmt1 and Np95 in living cells. Uni München, (2009)

Andrea Hruby

Die MAPKKK Bck1p des Zellwand-Integritätssignalwegs in der Bäckerhefe Saccharomyces cerevisiae. Uni Münster, (2009)

Michaela Andrea Fingas

Resultate nach radikaler Prostatektomie bei Patienten mit einem Prostatakarzinom Gleason 7-10. Uni Marburg, (2009)

Andrea Kuhn

 

Other publications of authors with the same name

Temporal DL-Lite over Finite Traces (Preliminary Results)., , and . Description Logics, volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)Learning Query Inseparable ELH Ontologies (Extended Abstract)., , and . Description Logics, volume 2663 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)A Singly Exponential Transformation of LTLX, F into Pure Past LTL., , , , and . KR, page 65-74. (2023)Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract)., , , , and . Description Logics, volume 2663 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results)., , , and . Description Logics, volume 2954 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Complexity of Safety and coSafety Fragments of Linear Temporal Logic., , , , and . AAAI, page 6236-6244. AAAI Press, (2023)A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies., , , and . OVERLAY@AI*IA, volume 3629 of CEUR Workshop Proceedings, page 85-92. CEUR-WS.org, (2023)Non-Normal Modal Description Logics., , , and . JELIA, volume 14281 of Lecture Notes in Computer Science, page 306-321. Springer, (2023)Temporal Description Logics over Finite Traces., , and . Description Logics, volume 2211 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions., , and . Description Logics, volume 3263 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)