Andrea Mazzullo

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 37

Top Topics

Extended Abstract

Reasoning Tasks

Description Logics

Top Venues

Description Logics

Publications

Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version). CoRR (2024)
Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract). Description Logics (2024)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications. ACM Trans. Comput. Log. 25 (2) (2024)
Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa. TIME (2023)
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard
Non-Normal Modal Description Logics (Extended Version). CoRR (2023)
Tiziano Dalmonte, Andrea Mazzullo
CoNP Complexity for Combinations of Non-normal Modal Logics. TABLEAUX (2023)
Paolo Giorgini, Andrea Mazzullo, Marco Robol, Marco Roveri
Towards Large Language Model Architectures for Knowledge Acquisition and Strategy Synthesis. OVERLAY@AI*IA (2023)
Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
Complexity of Safety and coSafety Fragments of Linear Temporal Logic. AAAI (2023)
Alessandro Artale, Andrea Mazzullo
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Abstract). Description Logics (2023)
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. ACM Trans. Comput. Log. 24 (4) (2023)
Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies. OVERLAY@AI*IA (2023)
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard
Non-Normal Modal Description Logics. JELIA (2023)
Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL. KR (2023)
Alessandro Artale, Andrea Mazzullo
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Version). CoRR (2023)
Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali
SMT Safety Verification of Ontology-Based Processes. AAAI (2023)
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
Reasoning in Non-normal Modal Description Logics. ARQNL@IJCAR (2022)
Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
Complexity of Safety and coSafety Fragments of Linear Temporal Logic. CoRR (2022)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications. CoRR (2022)
Massimo Carraturo, Andrea Mazzullo
An Ontology for Defect Detection in Metal Additive Manufacturing. CoRR (2022)
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
Reasoning in Non-normal Modal Description Logics. CoRR (2022)
Jean Christoph Jung, Andrea Mazzullo, Frank Wolter
More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions. Description Logics (2022)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter
On Free Description Logics with Definite Descriptions. CoRR (2021)
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. AAAI (2021)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter
On Free Description Logics with Definite Descriptions. KR (2021)
Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results). Description Logics (2021)
Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version). CoRR (2021)
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract). Description Logics (2020)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter
On Free Description Logics with Definite Descriptions. Description Logics (2020)
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals. CoRR (2020)
Ana Ozaki, Cosimo Persia, Andrea Mazzullo
Learning Query Inseparable ELH Ontologies (Extended Abstract). Description Logics (2020)
Ana Ozaki, Cosimo Persia, Andrea Mazzullo
Learning Query Inseparable εℒℋ Ontologies. AAAI (2020)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
Finite vs. Infinite Traces in Temporal Logics. OVERLAY (2020)
Ana Ozaki, Cosimo Persia, Andrea Mazzullo
Learning Query Inseparable ELH Ontologies. CoRR (2019)
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
On Non-normal Modal Description Logics. Description Logics (2019)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
Temporal DL-Lite over Finite Traces (Preliminary Results). Description Logics (2019)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
Do You Need Infinite Time?. IJCAI (2019)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
Temporal Description Logics over Finite Traces. Description Logics (2018)