| 2026 | AAAI | Expressive Power of Graph Transformers via Logic. | Veeti Ahvonen, Maurice Funk, Damian Heiman, Antti Kuusisto, Carsten Lutz |
| 2026 | AAAI | Logical Characterizations of GNNs with Mean Aggregation. | Moritz Schnherr, Carsten Lutz |
| 2026 | KR | Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models. | Marvin Grosser, Carsten Lutz |
| 2025 | ICDT | Query Repairs. | Balder ten Cate, Phokion G. Kolaitis, Carsten Lutz |
| 2025 | KR | Fitting Description Logic Ontologies to ABox and Query Examples. | Maurice Funk, Marvin Grosser, Carsten Lutz |
| 2025 | KR | Fitting Ontologies and Constraints to Relational Structures. | Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph |
| 2024 | KR | Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster. | Carsten Lutz, Quentin Manire |
| 2024 | KR | Description Logics with Abstraction and Refinement: From ALC to EL. | Carsten Lutz, Lukas Schulze |
| 2024 | LICS | The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems. | Manuel Bodirsky, Zaneta Semanisinov, Carsten Lutz |
| 2023 | AAAI | Efficient Answer Enumeration in Description Logics with Functional Roles. | Carsten Lutz, Marcin Przybylko |
| 2023 | IJCAI | SAT-Based PAC Learning of Description Logic Concepts. | Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz |
| 2023 | KR | Querying Circumscribed Description Logic Knowledge Bases. | Carsten Lutz, Quentin Manire, Robin Nolte |
| 2023 | KR | Description Logics with Abstraction and Refinement. | Carsten Lutz, Lukas Schulze |
| 2023 | PODS | Extremal Fitting Problems for Conjunctive Queries. | Balder ten Cate, Victor Dalmau, Maurice Funk, Carsten Lutz |
| 2022 | IJCAI | Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies. | Maurice Funk, Jean Christoph Jung, Carsten Lutz |
| 2022 | KR | Conservative Extensions for Existential Rules. | Jean Christoph Jung, Carsten Lutz, Jerzy Marcinkowski |
| 2022 | KR | Ontology-Mediated Querying on Databases of Bounded Cliquewidth. | Carsten Lutz, Leif Sabellek, Lukas Schulze |
| 2022 | PODS | Efficiently Enumerating Answers to Ontology-Mediated Queries. | Carsten Lutz, Marcin Przybylko |
| 2021 | ICDT | Answer Counting Under Guarded TGDs. | Cristina Feier, Carsten Lutz, Marcin Przybylko |
| 2021 | IJCAI | Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies. | Maurice Funk, Jean Christoph Jung, Carsten Lutz |
| 2021 | KR | How to Approximate Ontology-Mediated Queries. | Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter |
| 2021 | KR | Separating Data Examples by Description Logic Concepts with Restricted Signatures. | Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter |
| 2020 | AAAI | Least General Generalizations in Description Logic: Verification and Existence. | Jean Christoph Jung, Carsten Lutz, Frank Wolter |
| 2020 | IJCAI | A Journey into Ontology Approximation: From Non-Horn to Horn. | Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter |
| 2020 | KR | Logical Separability of Incomplete Data under Ontologies. | Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter |
| 2020 | KR | On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions. | Jean Christoph Jung, Carsten Lutz, Thomas Zeume |
| 2020 | PODS | The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs. | Pablo Barcel, Victor Dalmau, Cristina Feier, Carsten Lutz, Andreas Pieris |
| 2019 | IJCAI | Ontology Approximation in Horn Description Logics. | Anneke Btcher, Carsten Lutz, Frank Wolter |
| 2019 | IJCAI | Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?. | Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter |
| 2019 | LICS | When is Ontology-Mediated Querying Efficient? | Pablo Barcel, Cristina Feier, Carsten Lutz, Andreas Pieris |
| 2018 | ICDT | Querying the Unary Negation Fragment with Regular Path Expressions. | Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider |
| 2018 | IJCAI | First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries. | Pablo Barcel, Gerald Berger, Carsten Lutz, Andreas Pieris |
| 2018 | IJCAI | From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying. | Cristina Feier, Carsten Lutz, Frank Wolter |
| 2018 | IJCAI | Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying. | Andr Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter |
| 2018 | KR | Query Expressibility and Verification in Ontology-Based Data Access. | Carsten Lutz, Johannes Marti, Leif Sabellek |
| 2018 | LICS | Weighted model counting beyond two-variable logic. | Antti Kuusisto, Carsten Lutz |
| 2017 | ICALP | Conservative Extensions in Guarded and Two-Variable Fragments. | Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter |
| 2017 | ICDT | Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk). | Cristina Feier, Antti Kuusisto, Carsten Lutz |
| 2017 | IJCAI | Query Conservative Extensions in Horn Description Logics with Inverse Roles. | Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider |
| 2017 | IJCAI | Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability. | Carsten Lutz, Leif Sabellek |
| 2017 | PODS | Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. | Andr Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter |
| 2016 | IJCAI | First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. | Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter |
| 2016 | IJCAI | Query-Based Entailment and Inseparability for ALC Ontologies. | Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2016 | IJCAI | Conservative Rewritability of Description Logic TBoxes. | Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
| 2016 | KR | Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. | Pierre Bourhis, Carsten Lutz |
| 2016 | STACS | Complexity and Expressive Power of Ontology-Mediated Queries (Invited Talk). | Carsten Lutz |
| 2015 | ICDT | On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems. | Carsten Lutz, Frank Wolter |
| 2015 | IJCAI | Efficient Query Rewriting in the Description Logic EL and Beyond. | Peter Hansen, Carsten Lutz, Inan Seylan, Frank Wolter |
| 2015 | IJCAI | Schema.org as a Description Logic. | Andr Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter |
| 2015 | IJCAI | Ontology-Mediated Queries with Closed Predicates. | Carsten Lutz, Inan Seylan, Frank Wolter |
| 2014 | ICALP | Monodic Fragments of Probabilistic First-Order Logic. | Jean Christoph Jung, Carsten Lutz, Sergey Goncharov, Lutz Schrder |
| 2014 | KR | Finite Model Reasoning in Horn Description Logics. | Yazmn Anglica Ibez-Garca, Carsten Lutz, Thomas Schneider |
| 2014 | KR | Exact Learning of Lightweight Description Logic Ontologies. | Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter |
| 2013 | IJCAI | First-Order Rewritability of Atomic Queries in Horn Description Logics. | Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
| 2013 | IJCAI | Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes). | Carsten Lutz, Inan Seylan, Frank Wolter |
| 2013 | PODS | Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP. | Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter |
| 2012 | ECAI | Complexity of Branching Temporal Description Logics. | Vctor Gutirrez-Basulto, Jean Christoph Jung, Carsten Lutz |
| 2012 | KR | Query Containment in Description Logics Reconsidered. | Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
| 2012 | KR | An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL. | Carsten Lutz, Inan Seylan, Frank Wolter |
| 2012 | KR | Non-Uniform Data Complexity of Query Answering in Description Logics. | Carsten Lutz, Frank Wolter |
| 2011 | AAAI | A Closer Look at the Probabilistic Description Logic Prob-EL. | Vctor Gutirrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schrder |
| 2011 | IJCAI | The Combined Approach to Ontology-Based Data Access. | Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev |
| 2011 | IJCAI | Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability. | Carsten Lutz, Robert Piro, Frank Wolter |
| 2011 | IJCAI | Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. | Carsten Lutz, Frank Wolter |
| 2010 | ECAI | Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints. | Carsten Lutz, Robert Piro, Frank Wolter |
| 2010 | KR | Query and Predicate Emptiness in Description Logics. | Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
| 2010 | KR | Decomposing Description Logic Ontologies. | Boris Konev, Carsten Lutz, Denis K. Ponomaryov, Frank Wolter |
| 2010 | KR | The Combined Approach to Query Answering in DL-Lite. | Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev |
| 2010 | KR | Probabilistic Description Logics for Subjective Uncertainty. | Carsten Lutz, Lutz Schrder |
| 2010 | KR | Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. | Leonardo Mendona de Moura, Carsten Lutz, Monica M. C. Schraefel, Bernhard Nebel |
| 2009 | IJCAI | Query Answering in Description Logics with Transitive Roles. | Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus |
| 2009 | IJCAI | Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. | Carsten Lutz, David Toman, Frank Wolter |
| 2009 | WoLLIC | Query Answering in Description Logics: The Knots Approach. | Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus |
| 2009 | WoLLIC | Mathematical Logic for Life Science Ontologies. | Carsten Lutz, Frank Wolter |
| 2008 | CADE | The Complexity of Conjunctive Query Answering in Expressive Description Logics. | Carsten Lutz |
| 2008 | ECAI | Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes. | Christoph Haase, Carsten Lutz |
| 2008 | ECAI | Semantic Modularity and Module Extraction in Description Logics. | Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter |
| 2008 | KR | LTL over Description Logic Axioms. | Franz Baader, Silvio Ghilardi, Carsten Lutz |
| 2008 | TIME | Temporal Description Logics: A Survey. | Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
| 2007 | CADE | Conservative Extensions in the Lightweight Description Logic EL. | Carsten Lutz, Frank Wolter |
| 2007 | FOSSACS | PDL with Intersection and Converse Is 2 EXP-Complete. | Stefan Gller, Markus Lohrey, Carsten Lutz |
| 2007 | IJCAI | A Description Logic of Change. | Alessandro Artale, Carsten Lutz, David Toman |
| 2007 | IJCAI | Conjunctive Query Answering for the Description Logic SHIQ. | Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler |
| 2007 | IJCAI | Conservative Extensions in Expressive Description Logics. | Carsten Lutz, Dirk Walther, Frank Wolter |
| 2007 | LPAR | Data Complexity in the | Adila Krisnadhi, Carsten Lutz |
| 2007 | PODS | The complexity of query containment in expressive fragments of XPath 2.0. | Balder ten Cate, Carsten Lutz |
| 2007 | TIME | Temporalising Tractable Description Logics. | Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
| 2006 | AiML | Conservative extensions in modal logic. | Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
| 2006 | CADE | CEL - A Polynomial-Time Reasoner for Life Science Ontologies. | Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn |
| 2006 | ICALP | The Complexity of Enriched | Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi |
| 2006 | JELIA | Reasoning About Actions Using Description Logics with General TBoxes. | Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter |
| 2006 | KR | Description Logics with Circumscription. | Piero A. Bonatti, Carsten Lutz, Frank Wolter |
| 2006 | KR | Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. | Silvio Ghilardi, Carsten Lutz, Frank Wolter |
| 2006 | KR | Updating Description Logic ABoxes. | Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter |
| 2005 | AAAI | Integrating Description Logics and Action Formalisms: First Results. | Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter |
| 2005 | CSL | PDL with Intersection and Converse Is Decidable. | Carsten Lutz |
| 2005 | IJCAI | Pushing the EL Envelope. | Franz Baader, Sebastian Brandt, Carsten Lutz |
| 2005 | KI | A New | Franz Baader, Eldar Karabaev, Carsten Lutz, Manfred Theien |
| 2005 | TABLEAUX | A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. | Carsten Lutz, Maja Milicic |
| 2005 | TIME | Quantitative Temporal Logics: PSPACE and Below. | Carsten Lutz, Dirk Walther, Frank Wolter |
| 2004 | CADE | PDL with Negation of Atomic Programs. | Carsten Lutz, Dirk Walther |
| 2004 | ECAI | Description Logics with Concrete Domains and Functional Dependencies. | Carsten Lutz, Maja Milicic |
| 2003 | CADE | The Complexity of Finite Model Reasoning in Description Logics. | Carsten Lutz, Ulrike Sattler, Lidia Tendera |
| 2003 | IJCAI | Keys, Nominals, and Concrete Domains. | Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler |
| 2003 | LPAR | From Tableaux to Automata for Description Logics. | Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter |
| 2003 | TABLEAUX | A Tableau Algorithm for Reasoning about Concepts and Similarity. | Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
| 2002 | AiML | Description Logics with Concrete Domains-A Survey. | Carsten Lutz |
| 2002 | KR | Adding Numbers to the SHIQ Description Logic: First Results. | Carsten Lutz |
| 2001 | CADE | NEXPTIME-Complete Description Logics with Concrete Domains. | Carsten Lutz |
| 2001 | CADE | Tableaux for Temporal Description Logic with Constant Domains. | Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev |
| 2001 | CSL | Modal Logic and the Two-Variable Fragment. | Carsten Lutz, Ulrike Sattler, Frank Wolter |
| 2001 | IJCAI | Interval-based Temporal Reasoning with General TBoxes. | Carsten Lutz |
| 2000 | AiML | The Complexity of Reasoning with Boolean Modal Logics. | Carsten Lutz, Ulrike Sattler |
| 1999 | IJCAI | Reasoning with Concrete Domains. | Carsten Lutz |
| 1999 | LPAR | Complexity of Terminological Reasoning Revisited. | Carsten Lutz |
| 1998 | KR | Foundations of Spatioterminological Reasoning with Description Logics. | Volker Haarslev, Carsten Lutz, Ralf Mller |