Publications

Faiq Miftakhul Falakh, und Sebastian Rudolph. AGM Revision in Description Logics Under Fixed-Domain Semantics. 2022. [PUMA: topic_knowledge]

Raimund Dachselt, Sarah Gaggl, Markus Krötzsch, Julián Méndez, Dominik Rusovac, und Mei Yang. NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces. Computational Models of Argument: Proceedings of COMMA 2022, (353):116, IOS Press, 2022. [PUMA: topic_knowledge]

Stefan Ellmauthaler, Markus Krötzsch, und Stephan Mennicke. Answering queries with negation over existential rules. Proc. Conf. AAAI Artif. Intell., (36)5:5626--5633, Association for the Advancement of Artificial Intelligence (AAAI), Juni 2022. [PUMA: topic_knowledge topic_graph]

Jacopo Urbani, Markus Krötzsch, und Thomas Eiter. Chasing Streams with Existential Rules. Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 415--419, August 2022. [PUMA: topic_knowledge topic_lifescience] URL

Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K Murali, und Christoph Weidenbach. A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. In Dana Fisman, und Grigore Rosu (Hrsg.), Proc. of the 28th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), (13243):480-501, Springer, 2022. [PUMA: topic_knowledge topic_graph]

Ali Elhalawati, Markus Krötzsch, und Stephan Mennicke. An Existential Rule Framework for~Computing Why-Provenance On-Demand for~Datalog. Rules and Reasoning, 146--163, Springer International Publishing, 2022. [PUMA: topic_knowledge topic_graph] URL

Sarah Alice Gaggl, Philipp Hanisch, und Markus Krötzsch. Simulating sets in answer set programming. Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, California, Juli 2022. [PUMA: topic_knowledge]

Franz Baader, und Deepak Kapur. Deciding the word problem for ground and strongly shallow identities w.R.T. Extensional symbols. J. Automat. Reason., (66)3:301--329, Springer Science and Business Media LLC, August 2022. [PUMA: topic_knowledge]

Franz Baader, und Oliver Fernández Gil. Restricted Unification in the Description Logic $FL_\bot$. In David M. Cerna, und Barbara Morawska (Hrsg.), Proceedings of the 36th International Workshop on Unification (UNIF 2022), Haifa, Israel, 2022. [PUMA: topic_knowledge]

Franz Baader, und Jakub Rydval. Using model theory to find decidable and tractable description logics with concrete domains. J. Automat. Reason., (66)3:357--407, Springer Science and Business Media LLC, August 2022. [PUMA: topic_knowledge]