Follow
Andrea Mazzullo
Title
Cited by
Cited by
Year
On Free Description Logics with Definite Descriptions
A Artale, A Mazzullo, A Ozaki, F Wolter
Proceedings of the 18th International Conference on Principles of Knowledge …, 2021
232021
Do You Need Infinite Time?.
A Artale, A Mazzullo, A Ozaki
IJCAI, 1516-1522, 2019
192019
Living without beth and craig: Explicit definitions and interpolants in description logics with nominals
A Artale, JC Jung, A Mazzullo, A Ozaki, F Wolter
Description Logics, 2020
152020
Complexity of safety and cosafety fragments of linear temporal logic
A Artale, L Geatti, N Gigante, A Mazzullo, A Montanari
Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 6236-6244, 2023
142023
Learning Query Inseparable εℒℋ Ontologies
A Ozaki, C Persia, A Mazzullo
Proceedings of the AAAI Conference on Artificial Intelligence 34 (03), 2959-2966, 2020
132020
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions
A Artale, JC Jung, A Mazzullo, A Ozaki, F Wolter
Proceedings of the AAAI Conference on Artificial Intelligence 35 (7), 6193-6201, 2021
112021
Non-normal modal description logics
T Dalmonte, A Mazzullo, A Ozaki, N Troquard
European Conference on Logics in Artificial Intelligence, 306-321, 2023
102023
Temporal Description Logics over Finite Traces.
A Artale, A Mazzullo, A Ozaki
Description Logics, 2018
102018
Living without Beth and Craig: Definitions and interpolants in description and modal logics with nominals and role inclusions
A Artale, JC Jung, A Mazzullo, A Ozaki, F Wolter
ACM Transactions on Computational Logic 24 (4), 1-51, 2023
82023
SMT Safety Verification of Ontology-Based Processes
D Calvanese, A Gianola, A Mazzullo, M Montali
Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 6271-6279, 2023
72023
Temporal DL-Lite over finite traces (preliminary results)
A Artale, A Mazzullo, A Ozaki
DL 2019 International Workshop on Description Logics: Proceedings of the …, 2019
72019
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results)
D Calvanese, A Gianola, A Mazzullo, M Montali
34th International Workshop on Description Logics, DL 2021, Bratislava …, 2021
52021
First-order temporal logic on finite traces: Semantic properties, decidable fragments, and applications
A Artale, A Mazzullo, A Ozaki
ACM Transactions on Computational Logic 25 (2), 1-43, 2024
42024
A Singly Exponential Transformation of LTL [X, F] into Pure Past LTL
A Artale, L Geatti, N Gigante, A Mazzullo, A Montanari
Proceedings of the International Conference on Principles of Knowledge …, 2023
42023
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa
A Artale, L Geatti, N Gigante, A Mazzullo, A Montanari
30th International Symposium on Temporal Representation and Reasoning (TIME …, 2023
42023
Reasoning in Non-normal Modal Description Logics
T Dalmonte, A Mazzullo, A Ozaki
arXiv preprint arXiv:2207.00119, 2022
42022
More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions.
JC Jung, A Mazzullo, F Wolter
Description Logics, 2022
42022
Finite vs. Infinite Traces in Temporal Logics.
A Artale, A Mazzullo, A Ozaki
OVERLAY, 23-27, 2020
42020
An Ontology for Defect Detection in Metal Additive Manufacturing
M Carraturo, A Mazzullo
arXiv preprint arXiv:2210.04772, 2022
32022
Non-Rigid Designators in Epistemic and Temporal Free Description Logics
A Artale, A Mazzullo
Proceedings of the 2023 International Workshop on Description Logics (DL-23 …, 2023
22023
The system can't perform the operation now. Try again later.
Articles 1–20