Lutz, Carsten

43 publications

NeurIPS 2024 Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats Veeti Ahvonen, Damian Heiman, Antti Kuusisto, Carsten Lutz

AAAI 2023 Efficient Answer Enumeration in Description Logics with Functional Roles Carsten Lutz, Marcin Przybylko

IJCAI 2023 SAT-Based PAC Learning of Description Logic Concepts Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz

IJCAI 2022 Frontiers and Exact Learning of ELI Queries Under DL-Lite Ontologies Maurice Funk, Jean Christoph Jung, Carsten Lutz

IJCAI 2021 Actively Learning Concepts and Conjunctive Queries Under ELr-Ontologies Maurice Funk, Jean Christoph Jung, Carsten Lutz

IJCAI 2020 A Journey into Ontology Approximation: From Non-Horn to Horn Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter

JAIR 2020 Conservative Extensions in Horn Description Logics with Inverse Roles Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider

AAAI 2020 Least General Generalizations in Description Logic: Verification and Existence Jean Christoph Jung, Carsten Lutz, Frank Wolter

IJCAI 2019 Learning Description Logic Concepts: When Can Positive and Negative Examples Be Separated? Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter

IJCAI 2019 Ontology Approximation in Horn Description Logics Anneke Bötcher, Carsten Lutz, Frank Wolter

IJCAI 2018 First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris

IJCAI 2018 From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying Cristina Feier, Carsten Lutz, Frank Wolter

IJCAI 2018 Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter

IJCAI 2017 Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability Carsten Lutz, Leif Sabellek

JAIR 2017 Probabilistic Description Logics for Subjective Uncertainty Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder

IJCAI 2017 Query Conservative Extensions in Horn Description Logics with Inverse Roles Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider

IJCAI 2016 Conservative Rewritability of Description Logic TBoxes Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev

IJCAI 2016 First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter

JAIR 2016 Query and Predicate Emptiness in Ontology-Based Data Access Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter

IJCAI 2016 Query-Based Entailment and Inseparability for ALC Ontologies Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

IJCAI 2015 Efficient Query Rewriting in the Description Logic EL and Beyond Peter Hansen, Carsten Lutz, Inanç Seylan, Frank Wolter

IJCAI 2015 Ontology-Mediated Queries with Closed Predicates Carsten Lutz, Inanç Seylan, Frank Wolter

IJCAI 2015 Schema.org as a Description Logic André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter

IJCAI 2013 First-Order Rewritability of Atomic Queries in Horn Description Logics Meghyn Bienvenu, Carsten Lutz, Frank Wolter

IJCAI 2013 Ontology-Based Data Access with Closed Predicates Is Inherently Intractable(Sometimes) Carsten Lutz, Inanç Seylan, Frank Wolter

AAAI 2011 A Closer Look at the Probabilistic Description Logic Prob-EL Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder

IJCAI 2011 Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability Carsten Lutz, Robert Piro, Frank Wolter

IJCAI 2011 Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics Carsten Lutz, Frank Wolter

IJCAI 2011 The Combined Approach to Ontology-Based Data Access Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev

IJCAI 2009 Conjunctive Query Answering in the Description Logic EL Using a Relational Database System Carsten Lutz, David Toman, Frank Wolter

IJCAI 2009 Query Answering in Description Logics with Transitive Roles Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus

JAIR 2009 The Complexity of Circumscription in DLs Piero A. Bonatti, Carsten Lutz, Frank Wolter

JAIR 2008 Conjunctive Query Answering for the Description Logic SHIQ Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler

IJCAI 2007 A Description Logic of Change Alessandro Artale, Carsten Lutz, David Toman

IJCAI 2007 Conjunctive Query Answering for the Description Logic SHIQ Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler

IJCAI 2007 Conservative Extensions in Expressive Description Logics Carsten Lutz, Dirk Walther, Frank Wolter

AAAI 2005 Integrating Description Logics and Action Formalisms: First Results Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter

JAIR 2005 Keys, Nominals, and Concrete Domains Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler

IJCAI 2005 Pushing the EL Envelope Franz Baader, Sebastian Brandt, Carsten Lutz

IJCAI 2003 Keys, Nominals, and Concrete Domains Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler

JAIR 2002 Fusions of Description Logics and Abstract Description Systems Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter

IJCAI 2001 Interval-Based Temporal Reasoning with General TBoxes Carsten Lutz

IJCAI 1999 Reasoning with Concrete Domains Carsten Lutz