Andrea Mazzullo
Orcid: 0000-0001-8512-1933Affiliations:
- Free University of Bozen-Bolzano, Italy
According to our database1,
Andrea Mazzullo
authored at least 30 papers
between 2018 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions.
ACM Trans. Comput. Log., October, 2023
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Version).
CoRR, 2023
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa.
Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023
Towards Large Language Model Architectures for Knowledge Acquisition and Strategy Synthesis.
Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies.
Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Abstract).
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications.
CoRR, 2022
More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions.
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022
Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), 2022
2021
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version).
CoRR, 2021
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results).
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals.
CoRR, 2020
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract).
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the 32nd International Workshop on Description Logics, 2019
Proceedings of the 32nd International Workshop on Description Logics, 2019
2018
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018