Error-Tolerant Reasoning in the Description Logic ℰℒ Based On Optimal Repairs. Proceedings of the 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Virtual, September 26--28, 2022, (13752):227--243, Springer, 2022. [PUMA: topic_knowledge area_methods]
Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLs (Extended Version). 22-02Dresden, Germany, 2022. [PUMA: topic_knowledge area_methods topic_lifescience]
Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLs. Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 -- August 5, 2022, 22--32, 2022. [PUMA: topic_knowledge area_methods]
Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract). Proceedings of the 35th International Workshop on Description Logics (DL 2022), Haifa, Israel, August 7--10, 2022, (3263)CEUR-WS.org, 2022. [PUMA: topic_knowledge area_methods]
Optimal ABox Repair w.r.t.\ Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Version). 22-01Dresden, Germany, 2022. [PUMA: topic_knowledge area_methods]
Optimal ABox Repair w.r.t.\ Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes. Proceedings of the 19th Extended Semantic Web Conference, ESWC 2022, Hersonissos, Greece, May 29 -- June 2, 2022, (13261):130--146, Springer, 2022. [PUMA: topic_knowledge area_methods]
Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning. Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing (SAC '23), March 27--31, 2023, Tallinn, Estonia, 974--982, Association for Computing Machinery, 2023. [PUMA: topic_knowledge area_methods]
Error-Tolerant Reasoning in ℰℒ w.r.t.\ Optimal ABox Repairs (Extended Abstract). Proceedings of the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2--4, 2023, (3515)CEUR-WS.org, 2023. [PUMA: topic_knowledge area_methods]
Optimal Repairs in the Description Logic ℰℒ Revisited (Extended Version). 23-03Dresden, Germany, 2023. [PUMA: topic_knowledge area_methods]
Optimal Repairs in the Description Logic ℰℒ Revisited. Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), September 20--22, 2023, Dresden, Germany, (14281):11--34, Springer, 2023. [PUMA: topic_knowledge area_methods]
Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis (Extended Abstract). Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18--21, 2024, (3739)CEUR-WS.org, 2024. [PUMA: topic_knowledge area_methods]
Inconsistency- and Error-Tolerant Reasoning w.r.t.\ Optimal Repairs of ℰℒ⊥ Ontologies (Extended Version). 24-02Dresden, Germany, 2024. [PUMA: topic_knowledge area_methods]
Inconsistency- and Error-Tolerant Reasoning w.r.t.\ Optimal Repairs of ℰℒ⊥ Ontologies. Proceedings of the 13th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2024), April 8--11, 2024, Sheffield, United Kingdom, (14589):3--22, Springer, 2024. [PUMA: topic_knowledge area_methods]
Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster. July 2024. [PUMA: topic_knowledge imported]
Contractions Based on Optimal Repairs. Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 94–105, International Joint Conferences on Artificial Intelligence Organization, November 2024. [PUMA: topic_knowledge area_methods] URL
The Precise Complexity of Reasoning in $ALC$ with $ømega$-Admissible Concrete Domains (Extended Version). 2024. [PUMA: topic_knowledge imported] URL
Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability. SIGAPP Appl. Comput. Rev., (24)3:5–17, Association for Computing Machinery, New York, NY, USA, Oct 8, 2024. [PUMA: topic_knowledge imported] URL
Standpoint Linear Temporal Logic. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 311--321, IJCAI Inc, 2023. [PUMA: topic_knowledge imported]
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic. In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, and Claudia d'Amato (Eds.), Proceedings of the 21st International Semantic Web Conference (ISWC 22), (13489)Springer, October 2022. [PUMA: topic_knowledge imported]
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL. Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023, 3258--3267, ijcai.org, 2023. [PUMA: topic_knowledge imported]