Optimal ABox Repair w.r.t.\ Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Version). 22-01Dresden, Germany, 2022. [PUMA: nopdf topic_knowledge]
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: nopdf topic_knowledge]
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: nopdf topic_knowledge]
Semantic Characterizations of AGM Revision for Tarskian Logics. In Guido Governatori, und Anni-Yasmin Turhan (Hrsg.), Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), (13752):95--110, Springer, September 2022. [PUMA: imported nopdf topic_knowledge]
Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI⊥. 2022. [PUMA: imported nopdf topic_knowledge]