Follow
Andrea Mazzullo
Title
Cited by
Cited by
Year
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
112020
Do You Need Infinite Time?.
A Artale, A Mazzullo, A Ozaki
IJCAI, 1516-1522, 2019
82019
On Free Description Logics with Definite Descriptions.
A Artale, A Mazzullo, A Ozaki, F Wolter
Description Logics, 2020
52020
Temporal Description Logics over Finite Traces.
A Artale, A Mazzullo, A Ozaki
Description Logics, 2018
52018
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
42019
Learning Query Inseparable εℒℋ Ontologies
A Ozaki, C Persia, A Mazzullo
Proceedings of the AAAI Conference on Artificial Intelligence 34 (03), 2959-2966, 2020
32020
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
22021
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
22021
On Non-normal Modal Description Logics.
T Dalmonte, A Mazzullo, A Ozaki
Description Logics, 2019
22019
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version)
D Calvanese, A Gianola, A Mazzullo, M Montali
arXiv preprint arXiv:2108.12330, 2021
12021
Finite vs. Infinite Traces in Temporal Logics.
A Artale, A Mazzullo, A Ozaki
OVERLAY, 23-27, 2020
12020
Learning Query Inseparable ELH Ontologies
A Ozaki, C Persia, A Mazzullo
arXiv preprint arXiv:1911.07229, 2019
12019
First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications
A Artale, A Mazzullo, A Ozaki
arXiv preprint arXiv:2202.00610, 2022
2022
More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions
JC Jung, A Mazzullo, F Wolter
2022
The system can't perform the operation now. Try again later.
Articles 1–14