Publications

Larry González, Alex Ivliev, Markus Krötzsch, und Stephan Mennicke. Efficient Dependency Analysis for Rule-Based Ontologies. 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.), The Semantic Web – ISWC 2022, 267 -- 283, Springer, Berlin u. a., Germany, 16.10.2022. [PUMA: topic_graph topic_knowledge xack]

Maximilian Marx, und Markus Krötzsch. Tuple-Generating Dependencies Capture Complex Values. In Dan Olteanu, und Nils Vortmeier (Hrsg.), Proceedings of the 25th International Conference on Database Theory (ICDT 2022), (220):13:1–13:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 01.03.2022. [PUMA: topic_graph topic_knowledge xack]

Luisa Herrmann, Vincent Peth, und Sebastian Rudolph. 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

Larry González, Alex Ivliev, Markus Krötzsch, und Stephan Mennicke. Efficient Dependency Analysis for Existential Rules. 2023. [PUMA: imported topic_graph topic_knowledge xack yaff]

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_graph topic_knowledge xack]

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_graph topic_knowledge xack] 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_graph topic_knowledge xack]

Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, und Markus Krötzsch. Nemo: First glimpse of a new rule engine. arXiv, 2023. [PUMA: topic_graph topic_knowledge yaff]