| 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 | 20 | 2021 |
| Do You Need Infinite Time?. A Artale, A Mazzullo, A Ozaki IJCAI, 1516-1522, 2019 | 17 | 2019 |
| 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 | 14 | 2020 |
| 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 | 13 | 2023 |
| Learning Query Inseparable εℒℋ Ontologies A Ozaki, C Persia, A Mazzullo Proceedings of the AAAI Conference on Artificial Intelligence 34 (03), 2959-2966, 2020 | 12 | 2020 |
| Non-normal modal description logics T Dalmonte, A Mazzullo, A Ozaki, N Troquard European Conference on Logics in Artificial Intelligence, 306-321, 2023 | 10 | 2023 |
| 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 | 10 | 2021 |
| Temporal Description Logics over Finite Traces. A Artale, A Mazzullo, A Ozaki Description Logics, 2018 | 9 | 2018 |
| 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 | 8 | 2023 |
| 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 | 6 | 2019 |
| 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 | 5 | 2023 |
| 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 | 4 | 2023 |
| 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 | 4 | 2023 |
| Reasoning in Non-normal Modal Description Logics T Dalmonte, A Mazzullo, A Ozaki arXiv preprint arXiv:2207.00119, 2022 | 4 | 2022 |
| More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions. JC Jung, A Mazzullo, F Wolter Description Logics, 2022 | 4 | 2022 |
| 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 | 4 | 2021 |
| 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 | 3 | 2024 |
| Finite vs. Infinite Traces in Temporal Logics. A Artale, A Mazzullo, A Ozaki OVERLAY, 23-27, 2020 | 3 | 2020 |
| 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 | 2 | 2023 |
| A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies A Artale, L Geatti, N Gigante, A Mazzullo CEUR WORKSHOP PROCEEDINGS 3629, 85-92, 2023 | 2 | 2023 |
Alessandro ArtaleAssociate Professor of Computer Science, Free University of Bozen-Bolzano在 inf.unibz.it 的电子邮件经过验证
