Andrea Mazzullo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
8
Active years
2019–2024
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | EKAW | LLM-Driven Knowledge Extraction in Temporal and Description Logics. | Damiano Duranti, Paolo Giorgini, Andrea Mazzullo, Marco Robol, Marco Roveri |
| 2024 | KR | Non-Rigid Designators in Modal and Temporal Free Description Logics. | Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter |
| 2023 | AAAI | Complexity of Safety and coSafety Fragments of Linear Temporal Logic. | Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari |
| 2023 | AAAI | SMT Safety Verification of Ontology-Based Processes. | Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali |
| 2023 | JELIA | Non-Normal Modal Description Logics. | Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard |
| 2023 | KR | A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL. | Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari |
| 2023 | TABLEAUX | CoNP Complexity for Combinations of Non-normal Modal Logics. | Tiziano Dalmonte, Andrea Mazzullo |
| 2023 | TIME | LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa. | Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari |
| 2022 | CADE | Reasoning in Non-normal Modal Description Logics. | Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki |
| 2021 | AAAI | Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. | Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter |
| 2021 | KR | On Free Description Logics with Definite Descriptions. | Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter |
| 2020 | AAAI | Learning Query Inseparable εℒℋ Ontologies. | Ana Ozaki, Cosimo Persia, Andrea Mazzullo |
| 2019 | IJCAI | Do You Need Infinite Time?. | Alessandro Artale, Andrea Mazzullo, Ana Ozaki |