| 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 | 11 | 2020 |
| Do You Need Infinite Time?. A Artale, A Mazzullo, A Ozaki IJCAI, 1516-1522, 2019 | 8 | 2019 |
| On Free Description Logics with Definite Descriptions. A Artale, A Mazzullo, A Ozaki, F Wolter Description Logics, 2020 | 5 | 2020 |
| Temporal Description Logics over Finite Traces. A Artale, A Mazzullo, A Ozaki Description Logics, 2018 | 5 | 2018 |
| 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 | 4 | 2019 |
| Learning Query Inseparable εℒℋ Ontologies A Ozaki, C Persia, A Mazzullo Proceedings of the AAAI Conference on Artificial Intelligence 34 (03), 2959-2966, 2020 | 3 | 2020 |
| 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 | 2 | 2021 |
| 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 | 2 | 2021 |
| On Non-normal Modal Description Logics. T Dalmonte, A Mazzullo, A Ozaki Description Logics, 2019 | 2 | 2019 |
| 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 | 1 | 2021 |
| Finite vs. Infinite Traces in Temporal Logics. A Artale, A Mazzullo, A Ozaki OVERLAY, 23-27, 2020 | 1 | 2020 |
| Learning Query Inseparable ELH Ontologies A Ozaki, C Persia, A Mazzullo arXiv preprint arXiv:1911.07229, 2019 | 1 | 2019 |
| 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 |
Alessandro ArtaleAssociate Professor of Computer Science, Free University of Bozen-BolzanoVerified email at inf.unibz.it
