Temporal Description Logics over Finite Traces. - Alessandro Artale; Andrea Mazzullo; Ana Ozaki (Description Logics, 2018)

Temporal DL-Lite over Finite Traces (Preliminary Results). - Alessandro Artale; Andrea Mazzullo; Ana Ozaki (Description Logics, 2019)

On Non-normal Modal Description Logics. - Tiziano Dalmonte; Andrea Mazzullo; Ana Ozaki (Description Logics, 2019)

Do You Need Infinite Time?. - Alessandro Artale; Andrea Mazzullo; Ana Ozaki (IJCAI, 2019)

Learning Query Inseparable ELH Ontologies. - Ana Ozaki; Cosimo Persia; Andrea Mazzullo (CoRR, 2019)

Learning Query Inseparable εℒℋ Ontologies. - Ana Ozaki; Cosimo Persia; Andrea Mazzullo (AAAI, 2020)

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract). - Alessandro Artale; Jean Christoph Jung; Andrea Mazzullo; Ana Ozaki; Frank Wolter (Description Logics, 2020)

Learning Query Inseparable ELH Ontologies (Extended Abstract). - Ana Ozaki; Cosimo Persia; Andrea Mazzullo (Description Logics, 2020)

Finite vs. Infinite Traces in Temporal Logics. - Alessandro Artale; Andrea Mazzullo; Ana Ozaki (OVERLAY, 2020)

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals. - Alessandro Artale; Jean Christoph Jung; Andrea Mazzullo; Ana Ozaki; Frank Wolter (CoRR, 2020)

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, 2021)

SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results). - Diego Calvanese; Alessandro Gianola; Andrea Mazzullo; Marco Montali (Description Logics, 2021)

On Free Description Logics with Definite Descriptions. - Alessandro Artale; Andrea Mazzullo; Ana Ozaki; Frank Wolter (KR, 2021)

SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version). - Diego Calvanese; Alessandro Gianola; Andrea Mazzullo; Marco Montali (CoRR, 2021)

Reasoning in Non-normal Modal Description Logics. - Tiziano Dalmonte; Andrea Mazzullo; Ana Ozaki (ARQNL@IJCAR, 2022)

More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions. - Jean Christoph Jung; Andrea Mazzullo; Frank Wolter (Description Logics, 2022)

An Ontology for Defect Detection in Metal Additive Manufacturing. - Massimo Carraturo; Andrea Mazzullo (CoRR, 2022)

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, 2023)

Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Abstract). - Alessandro Artale; Andrea Mazzullo (Description Logics, 2023)

Non-Normal Modal Description Logics. - Tiziano Dalmonte; Andrea Mazzullo; Ana Ozaki; Nicolas Troquard (JELIA, 2023)

A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL. - Alessandro Artale; Luca Geatti; Nicola Gigante; Andrea Mazzullo; Angelo Montanari (KR, 2023)

A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies. - Alessandro Artale; Luca Geatti; Nicola Gigante; Andrea Mazzullo (OVERLAY@AI*IA, 2023)

Towards Large Language Model Architectures for Knowledge Acquisition and Strategy Synthesis. - Paolo Giorgini; Andrea Mazzullo; Marco Robol; Marco Roveri (OVERLAY@AI*IA, 2023)

CoNP Complexity for Combinations of Non-normal Modal Logics. - Tiziano Dalmonte; Andrea Mazzullo (TABLEAUX, 2023)

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 (TIME, 2023)

Non-Normal Modal Description Logics (Extended Version). - Tiziano Dalmonte; Andrea Mazzullo; Ana Ozaki; Nicolas Troquard (CoRR, 2023)

Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Version). - Alessandro Artale; Andrea Mazzullo (CoRR, 2023)

Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. - Alessandro Artale; Jean Christoph Jung; Andrea Mazzullo; Ana Ozaki; Frank Wolter (ACM Trans. Comput. Log., 2023)

An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract). - Alessandro Artale; Roman Kontchakov; Andrea Mazzullo; Frank Wolter (Description Logics, 2024)

LLM-Driven Knowledge Extraction in Temporal and Description Logics. - Damiano Duranti; Paolo Giorgini; Andrea Mazzullo; Marco Robol; Marco Roveri (EKAW, 2024)

Non-Rigid Designators in Modal and Temporal Free Description Logics. - Alessandro Artale; Roman Kontchakov; Andrea Mazzullo; Frank Wolter (KR, 2024)

Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version). - Alessandro Artale; Roman Kontchakov; Andrea Mazzullo; Frank Wolter (CoRR, 2024)

First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications. - Alessandro Artale; Andrea Mazzullo; Ana Ozaki (ACM Trans. Comput. Log., 2024)

Succinctness issues for LTL and safety and cosafety fragments of LTL. - Alessandro Artale; Luca Geatti; Nicola Gigante; Andrea Mazzullo; Angelo Montanari (Inf. Comput., 2025)