Evonne: Interactive Proof Visualization for Description Logics (System Description). In Jasmin Blanchette, Laura Kovács, and Dirk Pattinson (Eds.), Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings, 271--280, Springer, Berlin u. a., Germany, 2022. [PUMA: FIS_scads imported topic_knowledge xack]
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]
ADF - BDD : An ADF Solver Based on Binary Decision Diagrams. In Francesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, and Hiroyuki Kido (Eds.), Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), (220146):355–356, IOS Press, Amsterdam u. a., Netherlands, Sep 1, 2022. [PUMA: FIS_scads topic_knowledge xack]
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]
Wikidata: The Making Of. In Ying Ding, Jie Tang, Juan F. Sequeda, Lora Aroyo, Carlos Castillo, and Geert-Jan Houben (Eds.), Companion Proceedings of the ACM Web Conference 2023 (WWW'23), 615–624, Association for Computing Machinery (ACM), New York, United States of America, Apr 30, 2023. [PUMA: FIS_scads topic_knowledge xack]
NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces. In Francesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, and Hiroyuki Kido (Eds.), Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), (220146):116–127, IOS Press, Amsterdam u. a., Netherlands, Sep 1, 2022. [PUMA: FIS_scads topic_knowledge zno]
Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis (Extended Abstract). In Laura Giordano, Jean Christoph Jung, and Ana Ozaki (Eds.), Proceedings of the 37th International Workshop on Description Logics (DL 2024), June 18--21, 2024, Bergen, Norway, RTWH Aachen, Jun 18, 2024. [PUMA: FIS_scads imported topic_knowledge zno]
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]