Forgetting in Abstract Argumentation: Limits and Possibilities. Journal of Artificial Intelligence Research, (82)2025. [PUMA: abstract_argumentation argumentation forgetting topic_knowledge xack yaff] URL
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
On the Abstract Expressive Power of Description Logics with Concrete Domains (Extended Version). LTCS-Report, Technische Universität Dresden, 2023. [PUMA: FIS_scads imported topic_knowledge yaff]
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]
On the Abstract Expressive Power of Description Logics with Concrete Domains. In Ana Ozaki, Carsten Lutz, und Oliver Kutz (Hrsg.), Proceedings of the 36th International Workshop on Description Logics, (3515)CEUR-WS.org, 2023. [PUMA: FIS_scads imported topic_knowledge yaff]
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]
Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change. Proceedings of the ACM Symposium on Applied Computing, 983--990, Association for Computing Machinery, 27.03.2023. [PUMA: FIS_scads topic_knowledge yaff]
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]
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]
Classification of Shared Tasks Used in Teaching. Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, ACM, New York, NY, USA, Juli 2024. [PUMA: topic_knowledge topic_language yaff]