| 2026 | EDBT | Declarative Debugging for Datalog with Aggregation. | Raimund Dachselt, Lukas Gerlach, Philipp Hanisch, Alex Ivliev, Markus Krtzsch, Maximilian Marx, Julin Mndez |
| 2026 | ICDT | Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP. | Philipp Hanisch, Markus Krtzsch |
| 2025 | ITP | Verifying Datalog Reasoning with Lean. | Johannes Tantow, Lukas Gerlach, Stephan Mennicke, Markus Krtzsch |
| 2024 | KR | Nemo: Your Friendly and Versatile Rule Reasoning Toolkit. | Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krtzsch |
| 2024 | LPNMR | Towards Mass Spectrum Analysis with ASP. | Nils Kchenmeister, Alex Ivliev, Markus Krtzsch |
| 2023 | WWW | Wikidata: The Making Of. | Denny Vrandecic, Lydia Pintscher, Markus Krtzsch |
| 2022 | AAAI | Expressivity of Planning with Horn Description Logic Ontologies. | Stefan Borgwardt, Jrg Hoffmann, Alisa Kovtunova, Markus Krtzsch, Bernhard Nebel, Marcel Steinmetz |
| 2022 | AAAI | Answering Queries with Negation over Existential Rules. | Stefan Ellmauthaler, Markus Krtzsch, Stephan Mennicke |
| 2022 | COMMA | NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces. | Raimund Dachselt, Sarah Alice Gaggl, Markus Krtzsch, Julin Mndez, Dominik Rusovac, Mei Yang |
| 2022 | ICDT | Tuple-Generating Dependencies Capture Complex Values. | Maximilian Marx, Markus Krtzsch |
| 2022 | IJCAI | Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract). | Camille Bourgaux, David Carral, Markus Krtzsch, Sebastian Rudolph, Michal Thomazo |
| 2022 | IJCAI | Simulating Sets in Answer Set Programming. | Sarah Alice Gaggl, Philipp Hanisch, Markus Krtzsch |
| 2022 | KR | Chasing Streams with Existential Rules. | Jacopo Urbani, Markus Krtzsch, Thomas Eiter |
| 2022 | LICS | Deciding Hyperproperties Combined with Functional Specifications. | Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krtzsch |
| 2022 | TACAS | A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. | Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry Gonzlez, Markus Krtzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach |
| 2021 | KR | Capturing Homomorphism-Closed Decidable Queries with Existential Rules. | Camille Bourgaux, David Carral, Markus Krtzsch, Sebastian Rudolph, Michal Thomazo |
| 2020 | IJCAI | Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules. | David Carral, Markus Krtzsch |
| 2020 | KR | Computing Cores for Existential Rules with the Standard Chase and ASP. | Markus Krtzsch |
| 2019 | ICDT | The Power of the Terminating Chase (Invited Talk). | Markus Krtzsch, Maximilian Marx, Sebastian Rudolph |
| 2019 | ICFCA | Too Much Information: Can AI Cope with Modern Knowledge Graphs? | Markus Krtzsch |
| 2019 | IJCAI | Chasing Sets: How to Use Existential Rules for Expressive Reasoning. | David Carral, Irina Dragoste, Markus Krtzsch, Christian Lewe |
| 2018 | CADE | Efficient Model Construction for Horn Logic with VLog - System Description. | Jacopo Urbani, Markus Krtzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral |
| 2018 | ICDT | Preserving Constraints with the Stable Chase. | David Carral, Markus Krtzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph |
| 2018 | IJCAI | Attributed Description Logics: Reasoning on Knowledge Graphs. | Markus Krtzsch, Maximilian Marx, Ana Ozaki, Veronika Thost |
| 2018 | KR | The Combined Approach to Query Answering in Horn-ALCHOIQ. | David Carral, Irina Dragoste, Markus Krtzsch |
| 2018 | WWW | Practical Linked Data Access via SPARQL: The Case of Wikidata. | Adrian Bielefeldt, Julius Gonsior, Markus Krtzsch |
| 2018 | SOFSEM | Deciding Universality of ptNFAs is PSpace-Complete. | Toms Masopust, Markus Krtzsch |
| 2017 | IJCAI | Logic on MARS: Ontologies for Generalised Property Graphs. | Maximilian Marx, Markus Krtzsch, Veronika Thost |
| 2017 | IJCAI | Restricted Chase (Non)Termination for Existential Rules with Disjunctions. | David Carral, Irina Dragoste, Markus Krtzsch |
| 2016 | AAAI | Column-Oriented Datalog Materialization for Large Knowledge Graphs. | Jacopo Urbani, Ceriel J. H. Jacobs, Markus Krtzsch |
| 2016 | MFCS | On the Complexity of Universality for Partially Ordered NFAs. | Markus Krtzsch, Toms Masopust, Michal Thomazo |
| 2015 | IJCAI | Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention). | Pierre Bourhis, Markus Krtzsch, Sebastian Rudolph |
| 2014 | KR | Nominal Schemas in Description Logics: Complexities Clarified. | Markus Krtzsch, Sebastian Rudolph |
| 2013 | IJCAI | Computing Stable Models for Nonmonotonic Existential Rules. | Despoina Magka, Markus Krtzsch, Ian Horrocks |
| 2013 | LPNMR | Concrete Results on Abstract Rules. | Markus Krtzsch, Despoina Magka, Ian Horrocks |
| 2013 | PODS | Flag & check: data access with monadically defined queries. | Sebastian Rudolph, Markus Krtzsch |
| 2012 | KR | Acyclicity Conditions and their Application to Query Answering in Description Logics. | Bernardo Cuenca Grau, Ian Horrocks, Markus Krtzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang |
| 2012 | WWW | OWL: Yet to arrive on the Web of Data? | Birte Glimm, Aidan Hogan, Markus Krtzsch, Axel Polleres |
| 2011 | IJCAI | Efficient Rule-Based Inferencing for OWL EL. | Markus Krtzsch |
| 2011 | IJCAI | Extending Decidable Existential Rules by Joining Acyclicity and Guardedness. | Markus Krtzsch, Sebastian Rudolph |
| 2011 | WWW | A better uncle for OWL: nominal schemas for integrating rules and ontologies. | Markus Krtzsch, Frederick Maier, Adila Krisnadhi, Pascal Hitzler |
| 2010 | JELIA | Efficient Inferencing for OWL EL. | Markus Krtzsch |
| 2008 | AAAI | Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. | Sebastian Rudolph, Markus Krtzsch, Pascal Hitzler |
| 2008 | ECAI | Description Logic Rules. | Markus Krtzsch, Sebastian Rudolph, Pascal Hitzler |
| 2008 | JELIA | Cheap Boolean Role Constructors for Description Logics. | Sebastian Rudolph, Markus Krtzsch, Pascal Hitzler |
| 2008 | WWW | Workshop on social web and knowledge management (SWKM2008). | Peter Dolog, Markus Krtzsch, Sebastian Schaffert, Denny Vrandecic |
| 2008 | WWW | Social Web and Knowledge Management. | Peter Dolog, Markus Krtzsch, Sebastian Schaffert, Denny Vrandecic |
| 2007 | AAAI | Complexity Boundaries for Horn Description Logics. | Markus Krtzsch, Sebastian Rudolph, Pascal Hitzler |
| 2007 | ICCS | Quo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the Semantic Web. | Sebastian Rudolph, Markus Krtzsch, Pascal Hitzler |
| 2007 | WWW | The two cultures: mashing up web 2.0 and the semantic web. | Anupriya Ankolekar, Markus Krtzsch, Thanh Tran, Denny Vrandecic |
| 2006 | FOIS | Formalizing Ontology Alignment and its Operations with Category Theory. | Antoine Zimmermann, Markus Krtzsch, Jrme Euzenat, Pascal Hitzler |
| 2006 | ICCS | Querying Formal Contexts with Answer Set Programs. | Pascal Hitzler, Markus Krtzsch |
| 2006 | ICFCA | The Tensor Product as a Lattice of Regular Galois Connections. | Markus Krtzsch, Grit Malik |
| 2006 | WWW | Semantic Wikipedia. | Max Vlkel, Markus Krtzsch, Denny Vrandecic, Heiko Haller, Rudi Studer |
| 2005 | ICCS | Morphisms in Context. | Markus Krtzsch, Pascal Hitzler, Guo-Qiang Zhang |