Publications

Ringo Baumann, Matti Berthold, Dov M. Gabbay, und Odinaldo Rodrigues. Forgetting in Abstract Argumentation: Limits and Possibilities. Journal of Artificial Intelligence Research, (82)2025. [PUMA: abstract_argumentation argumentation forgetting topic_knowledge xack yaff] URL

Matti Berthold. On Syntactic Forgetting with relativized Strong Persistence. In Nina Gierasimczuk, und Jesse Heyninck (Hrsg.), Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, November 2-4, 2024, (3835):173--182, CEUR-WS.org, 2024. [PUMA: answer_set_programming forgetting logic_programming topic_knowledge xack yaff] URL

Filippo De Bortoli, Stefan Borgwardt, und Patrick Koopmann. The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains. In Laura Giordano, Jean Christoph Jung, und Ana Ozaki (Hrsg.), Proceedings of the 37th International Workshop on Description Logics (DL 2024), (3739)CEUR-WS.org, Juni 2024. [PUMA: FIS_scads imported topic_knowledge xack yaff]

Franz Baader, und Filippo De Bortoli. The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains. Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 754--761, Association for Computing Machinery (ACM), New York, United States of America, 2024. [PUMA: FIS_scads imported topic_knowledge xack yaff]

Franz Baader, und Filippo De Bortoli. Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability. ACM SIGAPP Applied Computing Review, (24)3:5–17, Association for Computing Machinery (ACM), New York, 01.10.2024. [PUMA: FIS_scads topic_knowledge xack yaff]

Franz Baader, Francesco Kriegel, und Adrian Nuradiansyah. 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, CEUR-WS.org, 02.09.2023. [PUMA: FIS_scads imported topic_knowledge xack yaff]

Carsten Lutz, und Quentin Manière. Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster. Juli 2024. [PUMA: imported topic_knowledge xack yaff]

Franz Baader, und Renata Wassermann. 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 xack yaff] URL

Stefan Borgwardt, Filippo De Bortoli, und Patrick Koopmann. The Precise Complexity of Reasoning in $ALC$ with $ømega$-Admissible Concrete Domains (Extended Version). 2024. [PUMA: imported topic_knowledge xack yaff] URL

Franz Baader, und Filippo De Bortoli. 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, 08.10.2024. [PUMA: imported topic_knowledge xack yaff] URL

Larry González, Alex Ivliev, Markus Krötzsch, und Stephan Mennicke. Efficient Dependency Analysis for Existential Rules. 2023. [PUMA: imported topic_graph topic_knowledge xack yaff]