| 2026 | LICS | The Size of Interpolants in Modal Logics. | Balder ten Cate, Louwe B. Kuijer, Frank Wolter |
| 2026 | LICS | Computation and Size of Interpolants for Hybrid Modal Logics. | Jean Christoph Jung, Jedrzej Kolodziejski, Frank Wolter |
| 2025 | LICS | Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting. | Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev |
| 2024 | AiML | The Interpolant Existence Problem for Weak K4 and Difference Logic. | Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2024 | IJCAI | Extremal Separation Problems for Temporal Instance Queries. | Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2024 | KR | Non-Rigid Designators in Modal and Temporal Free Description Logics. | Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter |
| 2024 | KR | Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology. | Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2023 | IJCAI | Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. | Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev |
| 2023 | KR | Definitions and (Uniform) Interpolants in First-Order Modal Logic. | Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2022 | IJCAI | On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract). | Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2022 | KR | Unique Characterisability and Learnability of Temporal Instance Queries. | Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev |
| 2022 | KR | Interpolants and Explicit Definitions in Extensions of the Description Logic EL. | Marie Fortin, Boris Konev, Frank Wolter |
| 2021 | AAAI | Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. | Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter |
| 2021 | KR | On Free Description Logics with Definite Descriptions. | Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter |
| 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 |
| 2021 | KR | Living Without Beth and Craig: Explicit Definitions and Interpolants without Beth Definability and Craig Interpolation (Abstract of Invited Talk). | Frank Wolter |
| 2021 | LICS | Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments. | Jean Christoph Jung, 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 | Boolean Role Inclusions in DL-Lite With and Without Time. | Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 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 | Model Comparison Games for Horn Description Logics. | Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev |
| 2018 | AiML | On Strictly Positive Modal Logics with S4.3 Frames. | Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 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 |
| 2017 | AAAI | Query Answering in DL-Lite with Datatypes: A Non-Uniform Approach. | Andr Hernich, Julio Lemos, Frank Wolter |
| 2017 | ICALP | Conservative Extensions in Guarded and Two-Variable Fragments. | Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter |
| 2017 | PODS | Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. | Andr Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter |
| 2017 | TIME | Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). | Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2016 | AAAI | A Model for Learning Description Logic Ontologies Based on Exact Learning. | Boris Konev, Ana Ozaki, 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 | LATA | Automata for Ontologies. | Frank Wolter |
| 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 | First-Order Rewritability of Temporal Ontology-Mediated Queries. | Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2015 | IJCAI | When Are Description Logic Knowledge Bases Indistinguishable? | Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 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 | ECAI | Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. | William Gatens, Boris Konev, Frank Wolter |
| 2014 | KR | Query Inseparability for Description Logic Knowledge Bases. | Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2014 | KR | Exact Learning of Lightweight Description Logic Ontologies. | Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter |
| 2013 | IJCAI | Temporal Description Logic for Ontology-Based Data Access. | Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
| 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 | CADE | Logical Difference Computation with CEX2.5. | Boris Konev, Michel Ludwig, Frank Wolter |
| 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 | Conjunctive Query Inseparability of OWL 2 QL TBoxes. | Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev |
| 2011 | CSL | Ontology-Based Data Access and Constraint Satisfaction. | Frank Wolter |
| 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 | AiML | Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL. | Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 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 |
| 2009 | IJCAI | Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. | Boris Konev, Dirk Walther, Frank Wolter |
| 2009 | IJCAI | Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. | Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev |
| 2009 | IJCAI | Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. | Carsten Lutz, David Toman, Frank Wolter |
| 2009 | WoLLIC | Mathematical Logic for Life Science Ontologies. | Carsten Lutz, Frank Wolter |
| 2008 | AiML | Topology, connectedness, and modal logic. | Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev |
| 2008 | CADE | The Logical Difference Problem for Description Logic Terminologies. | Boris Konev, Dirk Walther, Frank Wolter |
| 2008 | ECAI | Semantic Modularity and Module Extraction in Description Logics. | Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter |
| 2008 | KR | Can You Tell the Difference Between DL-Lite Ontologies?. | Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
| 2008 | LPAR | On the Computational Complexity of Spatial Logics with Connectedness Constraints. | Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev |
| 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 | IJCAI | Conservative Extensions in Expressive Description Logics. | Carsten Lutz, Dirk Walther, Frank Wolter |
| 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 | AiML | Dynamic topological logics over spaces with continuous functions. | Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
| 2006 | AiML | From topology to metric: modal logic and quantification in metric spaces. | Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev |
| 2006 | JELIA | Automated Reasoning About Metric and Topology. | Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev |
| 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 | CADE | Temporal Logics over Transitive States. | Boris Konev, Frank Wolter, Michael Zakharyaschev |
| 2005 | LPAR | Comparative Similarity, Tree Automata, and Diophantine Equations. | Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev |
| 2005 | TIME | Quantitative Temporal Logics: PSPACE and Below. | Carsten Lutz, Dirk Walther, Frank Wolter |
| 2003 | FlAIRS | On the Computational Complexity of Spatio-Temporal Logics. | David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2003 | IJCAI | Reasoning about distances. | Frank Wolter, Michael Zakharyaschev |
| 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 |
| 2003 | TIME | On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. | Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2002 | AiML | Editorial Preface. | Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev |
| 2002 | JELIA | A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. | Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev |
| 2002 | KR | Connecting Abstract Description Systems. | Oliver Kutz, Frank Wolter, Michael Zakharyaschev |
| 2002 | LICS | Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. | Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
| 2002 | TIME | On Non-Local Propositional and Local One-Variable Quantified CTL*. | Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
| 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 | LPAR | Monodic fragments of first-order temporal logics: 2000-2001 A.D. | Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
| 2000 | ECAI | Spatial Reasoning in RCC-8 with Boolean Region Terms. | Frank Wolter, Michael Zakharyaschev |
| 2000 | JELIA | Semi-qualitative Reasoning about Distances: A Preliminary Report. | Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev |
| 2000 | JELIA | Monodic Epistemic Predicate Logic. | Holger Sturm, Frank Wolter, Michael Zakharyaschev |
| 2000 | KR | Spatio-temporal representation and reasoning based on RCC-8. | Frank Wolter, Michael Zakharyaschev |
| 1999 | IJCAI | Multi-Dimensional Description Logics. | Frank Wolter, Michael Zakharyaschev |
| 1998 | AiML | Dynamic Description Logics. | Frank Wolter, Michael Zakharyaschev |
| 1998 | KR | On the Decidability of Description Logics with Modal Operators. | Frank Wolter, Michael Zakharyaschev |
| 1996 | AiML | Fusions of Modal Logics Revisited. | Frank Wolter |