Mazzullo, Andrea

5 publications

AAAI 2023 Complexity of Safety and coSafety Fragments of Linear Temporal Logic Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari

AAAI 2023 SMT Safety Verification of Ontology-Based Processes Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali

AAAI 2021 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

AAAI 2020 Learning Query Inseparable εℒℋ Ontologies Ana Ozaki, Cosimo Persia, Andrea Mazzullo

IJCAI 2019 Do You Need Infinite Time? Alessandro Artale, Andrea Mazzullo, Ana Ozaki