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, and Jesse Heyninck (Eds.), 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, and Ana Ozaki (Eds.), Proceedings of the 37th International Workshop on Description Logics (DL 2024), (3739)CEUR-WS.org, June 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, and Oliver Kutz (Eds.), 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, Mar 27, 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, Oct 1, 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, Sep 2, 2023. [PUMA: FIS_scads imported topic_knowledge xack yaff]
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 yaff]
Optimal Repairs in the Description Logic ℰℒ Revisited (Extended Version). 23-03Dresden, Germany, 2023. [PUMA: topic_knowledge yaff]
Inconsistency- and Error-Tolerant Reasoning w.r.t.\ Optimal Repairs of ℰℒ⊥ Ontologies (Extended Version). 24-02Dresden, Germany, 2024. [PUMA: topic_knowledge yaff]
Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster. July 2024. [PUMA: imported topic_knowledge xack yaff]
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
The Precise Complexity of Reasoning in $ALC$ with $ømega$-Admissible Concrete Domains (Extended Version). 2024. [PUMA: imported topic_knowledge xack yaff] 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: imported topic_knowledge xack yaff] URL
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+. In Pierre Marquis, Tran Cao Son, and Gabriele Kern-Isberner (Eds.), Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 333--343, IJCAI Inc, 2023. [PUMA: imported topic_knowledge yaff]
Towards Ontology Construction with Language Models. 2023. [PUMA: imported topic_knowledge yaff] URL
Querying Circumscribed Description Logic Knowledge Bases (Extended Abstract). In Oliver Kutz, Carsten Lutz, and Ana Ozaki (Eds.), 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)., Rhodes, Greece, September 2-4, 2023, (3515)CEUR-WS.org, 2023. [PUMA: imported topic_knowledge yaff] URL
Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automatas.. Description Logics, 2023. [PUMA: imported topic_knowledge yaff]