Evonne: Interactive Proof Visualization for Description Logics (System Description). In Jasmin Blanchette, Laura Kovács, und Dirk Pattinson (Hrsg.), 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]
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]
Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis (Extended Abstract). In Laura Giordano, Jean Christoph Jung, und Ana Ozaki (Hrsg.), Proceedings of the 37th International Workshop on Description Logics (DL 2024), June 18--21, 2024, Bergen, Norway, RTWH Aachen, 18.06.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, 02.09.2023. [PUMA: FIS_scads imported topic_knowledge Xack Yaff]
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, 08.10.2024. [PUMA: imported topic_knowledge Xack Yaff] URL
Second-order Confidence in Supervaluationism. Journal for General Philosophy of Science, Springer, Juli 2023. [PUMA: imported topic_knowledge Xack]
Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem. In Clayton K. Baker, Luc\'ıa Gómez Álvarez, Jesse Heyninck, Thomas Meyer, Rafael Peñaloza, und Srdjan Vesic (Hrsg.), Joint Proceedings of the 2nd Workshop on Knowledge Diversity and the 2nd Workshop on Cognitive Aspects of Knowledge Representation co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023), Rhodes, Greece, September 3-4, 2023, (3548)CEUR-WS.org, 2023. [PUMA: imported topic_knowledge Xack] URL
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+. In Pierre Marquis, Tran Cao Son, und Gabriele Kern-Isberner (Hrsg.), Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 333--343, IJCAI Inc, 2023. [PUMA: imported topic_knowledge Yaff]
Automated Reasoning Support for Standpoint-OWL 2. In Sergio de Cesare, und Tiago Prince Sales (Hrsg.), Proceedings of th 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), Ontology Showcase and Demonstrations Track, 2023. [PUMA: imported topic_knowledge Zno]
Vagueness in Predicates and Objects. Proceedings of the 13th International Conference on Formal Ontology in Information Systems, FOIS 2023, 2023. [PUMA: imported topic_knowledge Zno]
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL. Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023, 3258--3267, ijcai.org, 2023. [PUMA: imported topic_knowledge Zno]
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic. In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, und Claudia d'Amato (Hrsg.), Proceedings of the 21st International Semantic Web Conference (ISWC 22), (13489)Springer, Oktober 2022. [PUMA: imported topic_knowledge Zno]
Standpoint Linear Temporal Logic. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 311--321, IJCAI Inc, 2023. [PUMA: imported topic_knowledge Zno]
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]
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures. In Aniello Murano, und Alexandra Silva (Hrsg.), 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), (288):33:1--33:19, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2024. [PUMA: imported topic_graph topic_knowledge Xack] URL
Compositional matrix-space models of language: Definitions, properties, and learning methods. Natural Language Engineering, (29)1:1--49, Cambridge University Press, Januar 2023. [PUMA: imported topic_knowledge Xack]