Andrea Mazzullo

41 papers A* 8B 3C 1Journal 15Unranked 14

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