Publications of Carsten Lutz

Carsten Lutz

Journal Articles

Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
Exact Learning of Lightweight Description Logic Ontologies
Journal of Machine Learning Research, 18:1-63, 2018
Details Download

Franz Baader, Silvio Ghilardi, Carsten Lutz
LTL over Description Logic Axioms
ACM Trans. Comput. Log., 13(3), 2012
Details Download

Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
Foundations of instance level updates in expressive description logics
Artificial Intelligence, 175(18):2170-2197, 2011
Details Download

Franz Baader, Carsten Lutz, Anni-Yasmin Turhan
Small is again Beautiful in Description Logics
KI – Künstliche Intelligenz, 24(1):25-33, April 2010
Details Download

Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler
Answering conjunctive queries in the SHIQ description logic
Journal of Artificial Intelligence Research, 31:150-197, 2008
Details Download

Carsten Lutz, M. Milicic
A Tableau Algorithm for DLs with Concrete Domains and GCIs
Journal of Automated Reasoning, 38(1--3):227-259, 2007
Details Download

C. Löding, Carsten Lutz, O. Serre
Propositional Dynamic Logic with Recursive Programs
Journal of Logic and Algebraic Programming, 73:51-69, 2007
Details Download

Carsten Lutz, Frank Wolter
Modal Logics of Topological Relations
Logical Methods in Computer Science, 2(2), 2006
Details Download

Carsten Lutz, M. Milicic
A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes
Journal of Automated Reasoning. Special Issue on on Automated Reasoning with Analytic Tableaux and Related Methods, to appear
Details Download

Carsten Lutz, Dirk Walther, Frank Wolter
Quantitative Temporal Logics: PSpace and below
Information and Computation, 205(1):99-123, 2006
Details Download

D. Walther, Carsten Lutz, Frank Wolter, M. Wooldridge
ATL is Indeed ExpTime-complete
Journal of Logic and Computation, 16(6):765-787, 2006
Details Download

M. Lange, Carsten Lutz
2-ExpTime lower bounds for Propositional Dynamic Logics with intersection
Journal of Symbolic Logic, 70(5):1072-1086, 2005
Details Download

Carsten Lutz, Dirk Walther
PDL with Negation of Atomic Programs
Journal of Applied Non-Classical Logic, 15(2):189-214, 2005
Details Download

Carsten Lutz, Ulrike Sattler, L. Tendera
The Complexity of Finite Model Reasoning in Description Logics
Information and Computation, 199:132-171, 2005
Details Download

Carsten Lutz, C. Areces, Ian Horrocks, Ulrike Sattler
Keys, Nominals, and Concrete Domains
Journal of Artificial Intelligence Research, 23:667-726, 2005
Details Download

A. Artale, Carsten Lutz
A Correspondence between Temporal Description Logics
Journal of Applied Non-Classical Logic, 14(1--2):209-233, 2004
Details Download

R. Kontchakov, Carsten Lutz, Frank Wolter, M. Zakharyaschev
Temporal Tableaux
Studia Logica, 76(1):91-134, 2004
Details Download

O. Kutz, Carsten Lutz, Frank Wolter, M. Zakharyaschev
E-Connections of Abstract Description Systems
Artificial Intelligence, 156(1):1-73, 2004
Details Download

Carsten Lutz
Combining Interval-based Temporal Reasoning with General TBoxes
Artificial Intelligence, 152(2):235-274, 2004
Details Download

Carsten Lutz
NExpTime-complete Description Logics with Concrete Domains
ACM Transactions on Computational Logic, 5(4):669-705, 2004
Details

Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter
From Tableaux to Automata for Description Logics
Fundamenta Informaticae, 57:1-33, 2003
Details Download

Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
Fusions of Description Logics and Abstract Description Systems
Journal of Artificial Intelligence Research (JAIR), 16:1-58, 2002
Details Download

Carsten Lutz
PSpace Reasoning with the Description Logic ALCF(D)
Logic Journal of the IGPL, 10(5):535-568, 2002
Details Download

Carsten Lutz, Holger Sturm, Frank Wolter, M. Zakharyaschev
A Tableau Decision Algorithm for Modalized ALC with Constant Domains
Studia Logica, 72(2):199-232, 2002
Details Download

V. Haarslev, Carsten Lutz, R. Möller
A Description Logic with Concrete Domains and Role-forming Predicates
Journal of Logic and Computation, 9(3):351-384, 1999
Details Download

Proceedings Articles

Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
Exact Learning of Lightweight Description Logic Ontologies
Principles of Knowledge Representation and Reasoning, July 2014. AAAI Press
Details Download

Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter
Query and Predicate Emptiness in Description Logics
In Fangzhen Lin and Ulrike Sattler, eds., Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR2010), 2010. AAAI Press
Details Download

Franz Baader, Silvio Ghilardi, Carsten Lutz
LTL over Description Logic Axioms
Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR2008), 2008
Details Download

Franz Baader, Sebastian Brandt, Carsten Lutz
Pushing the EL Envelope Further
In Kendall Clark and Peter F. Patel-Schneider, eds., In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008
Details Download

Franz Baader, Silvio Ghilardi, Carsten Lutz
LTL over Description Logic Axioms
Proceedings of the 21st International Workshop on Description Lo gics (DL2008), volume 353 of CEUR-WS, 2008
Details Download

Christoph Haase, Carsten Lutz
Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes
In Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikos Avouris, eds., Proceedings of the 18th European Conference on Artificial Intelligence (ECAI08), volume 178 of Frontiers in Artificial Intelligence and Applications, 25-29, 2008. IOS Press
Details Download

Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL
In Kendall Clark and Peter F. Patel-Schneider, eds., In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008
Details Download

Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
Formal Properties of Modularisation
In Alessandro Armando and Peter Baumgartner and Gilles Dowek, eds., Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR2008), LNCS, 179-193, 2008. Springer
Details Download

Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
Semantic Modularity and Module Extraction in Description Logics
In Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikos Avouris, eds., Proceedings of the 18th European Conference on Artificial Intelligence (ECAI08), volume 178 of Frontiers in Artificial Intelligence and Applications, 55-59, 2008. IOS Press
Details Download

Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolte r
Logical Difference and Module Extraction with CEX and MEX
Proceedings of the 21st International Workshop on Description Lo gics (DL2008), volume 353 of CEUR-WS, 2008
Details Download

Hongkai Liu, Carsten Lutz, Maja Milicic
The Projection Problem for EL Actions
Proceedings of the 2008 International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008
Details Download

Carsten Lutz
The Complexity of Conjunctive Query Answering in Expressive Description Logics
In Alessandro Armando and Peter Baumgartner and Gilles Dowek, eds., Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR2008), LNAI, 179-193, 2008. Springer
Details Download

Carsten Lutz
Two Upper Bounds for Conjunctive Query Answering in SHIQ
Proceedings of the 21st International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008
Details Download

Carsten Lutz, Frank Wolter, Michael Zakharyaschev
Temporal Description Logics: A Survey
Proceedings of the Fifteenth International Symposium on Temporal Representation and Reasoning, 2008. IEEE Computer Society Press
Details Download

A. Artale, R. Kontchakov, Carsten Lutz, Frank Wolter, M. Zakharyaschev
Temporalising Tractable Description Logics
Proceedings of the Fourteenth International Symposium on Temporal Representation and Reasoning, 2007. IEEE Computer Society Press
Details Download

Alessandro Artale, Carsten Lutz, David Toman
A Description Logic of Change
In Manuela Veloso, eds., Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), 218-223, 2007. AAAI Press
Details Download

Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn
Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice?
Journal of Logic, Language and Information, Special Issue on Method for Modality (M4M), to appear
Details Download

Balder ten Cate, Carsten Lutz
Query Containment in Very Expressive XPath dialects
In Leonid Libkin, eds., 26th ACM Symposium on Principles of Database Systems (PODS'07), 73-82, 2007. ACM Press
Details Download

Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler
Answering conjunctive queries in the SHIQ description logic
In Manuela Veloso, eds., Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), 299-404, 2007. AAAI Press
Details Download

Stefan Göller, Markus Lohrey, Carsten Lutz
PDL with Intersection and Converse is 2EXP-complete
In Helmut Seidl, eds., Proceedings of the Tenth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'07), volume 4423 of Lecture Notes in Computer Science, 198-212, 2007. Springer
Details Download

Adila Krisnadhi, Carsten Lutz
Data Complexity in the EL family of Description Logics
In Nachum Dershowitz and Andrei Voronkov, eds., Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR2007), volume 4790 of Lecture Notes in Artificial Intelligence, 333-347, 2007. Springer
Details Download

A. Krisnadhi, Carsten Lutz
Data Complexity in the EL family of DLs
Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, to appear
Details Download

Carsten Lutz, Frank Wolter
Conservative Extensions in the Lightweight Description Logic EL
In Frank Pfenning, eds., Proceedings of the 21th Conference on Automated Deduction (CADE-21), volume 4603 of Lecture Notes in Artificial Intelligence, 84-99, 2007. Springer
Details Download

Carsten Lutz
Inverse Roles Make Conjunctive Queries Hard
Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, to appear
Details Download

Carsten Lutz, Dirk Walther, Frank Wolter
Conservative Extensions in Expressive Description Logics
In Manuela Veloso, eds., Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), 453-458, 2007. AAAI Press
Details Download

Franz Baader, Carsten Lutz, B. Suntisrivaraporn
Efficient Reasoning in EL^+
Proceedings of the 2006 International Workshop on Description Logics (DL2006), CEUR-WS, 2006
Details Download

Franz Baader, Carsten Lutz, B. Suntisrivaraporn
CEL—A Polynomial-time Reasoner for Life Science Ontologies
In U. Furbach and N. Shankar, eds., Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06), volume 4130 of Lecture Notes in Artificial Intelligence, 287-291, 2006. Springer
Details Download

P. Bonatti, Carsten Lutz, Frank Wolter
Expressive Non-Monotonic Description Logics Based on Circumscription
In Patrick Doherty and John Mylopoulos and Christopher Welty, eds., Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06), 400-410, 2006. AAAI Press
Details Download

P. Bonatti, Carsten Lutz, A. Murano, M. Vardi
The Complexity of Enriched µ-Calculi
In Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener, eds., Proccedings of the 33rd International Colloquium on Automata, Languages and Programming, Part II (ICALP'06), volume 4052 of Lecture Notes in Computer Science, 540-551, 2006. Springer
Details Download

S. Ghilardi, Carsten Lutz, Frank Wolter
Did I Damage my Ontology? A Case for Conservative Extensions in Description Logics
In Patrick Doherty and John Mylopoulos and Christopher Welty, eds., Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06), 187-197, 2006. AAAI Press
Details Download

S. Ghilardi, Carsten Lutz, Frank Wolter, M. Zakharyaschev
Conservative Extensions in Modal Logics
In Guido Governatori and Ian Hodkinson and Yde Venema, eds., Advances in Modal Logics Volume 6, 187-207, 2006. College Publications
Details Download

H. Liu, Carsten Lutz, M. Milicic, Frank Wolter
Updating Description Logic ABoxes
In Patrick Doherty and John Mylopoulos and Christopher Welty, eds., Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06), 46-56, 2006. AAAI Press
Details Download

H. Liu, Carsten Lutz, M. Milicic, Frank Wolter
Reasoning about Actions using Description Logics with general TBoxes
In Michael Fisher and Wiebe van der Hoek and Boris Konev and Alexei Lisitsa, eds., Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006), volume 4160 of Lecture Notes in Artificial Intelligence, 266-279, 2006. Springer
Details Download

H. Liu, Carsten Lutz, M. Milicic, Frank Wolter
Description Logic Actions with general TBoxes: a Pragmatic Approach
Proceedings of the 2006 International Workshop on Description Logics (DL2006), 2006
Details Download

Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris
Reasoning Support for Ontology Design
In Bernardo Cuenca Grau and Pascal Hitzler and Connor Shankey and Evan Wallace, eds., In Proceedings of the second international workshop OWL: Experiences and Directions, to appear
Details Download

Carsten Lutz
Complexity and Succinctness of Public Announcement Logic
In Peter Stone and Gerhard Weiss, eds., Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06), 137-144, 2006. Association for Computing Machinery (ACM)
Details Download

Franz Baader, Carsten Lutz, M. Milicic, Ulrike Sattler, Frank Wolter
Integrating Description Logics and Action Formalisms: First Results
Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), 2005
Details Download

Franz Baader, Carsten Lutz, M. Milicic, Ulrike Sattler, Frank Wolter
Integrating Description Logics and Action Formalisms: First Results
Proceedings of the 2005 International Workshop on Description Logics (DL2005), CEUR-WS, 2005
Details Download

Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen
A New n-ary Existential Quantifier in Description Logics
Proceedings of the 2005 International Workshop on Description Logics (DL2005), CEUR-WS, 2005
Details Download

Franz Baader, S. Brandt, Carsten Lutz
Pushing the EL Envelope
Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence IJCAI-05, 2005. Morgan-Kaufmann Publishers
Details Download

Franz Baader, Carsten Lutz, B. Suntisrivaraporn
Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice?
Proceedings of the Methods for Modalities Workshop (M4M-05), 2005
Details Download

Franz Baader, Carsten Lutz, M. Milicic, Ulrike Sattler, Frank Wolter
A Description Logic Based Approach to Reasoning about Web Services
Proceedings of the WWW 2005 Workshop on Web Service Semantics (WSS2005), 2005
Details Download

Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen
A New n-ary Existential Quantifier in Description Logics
Proceedings of the 28th Annual German Conference on Artificial Intelligence, KI 2005, volume 3698 of Lecture Notes in Artificial Intelligence, 18-33, 2005. Springer
Details Download

Carsten Lutz, Dirk Walther, Frank Wolter
Quantitative Temporal Logics: PSpace and below
Proceedings of the Twelfth International Symposium on Temporal Representation and Reasoning, 2005. IEEE Computer Society Press
Details Download

Carsten Lutz, M. Milicic
A Tableau Algorithm for Description Logics with Concrete Domains and GCIs
Proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2005, LNAI, 2005. Springer
Details Download

Carsten Lutz, M. Milicic
A Tableau Algorithm for DLs with Concrete Domains and GCIs
Proceedings of the 2005 International Workshop on Description Logics (DL2005), CEUR-WS, 2005
Details Download

Carsten Lutz
PDL with Intersection and Converse is Decidable
Annual Conference of the European Association for Computer Science Logic CSL'05, LNCS, 2005. Springer
Details Download

E. Karabaev, Carsten Lutz
Mona as a DL Reasoner
Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004
Details Download

Carsten Lutz, Frank Wolter
Modal Logics of Topological Relations
Proceedings of Advances in Modal Logics 2004, 2004
Details Download

Carsten Lutz, Dirk Walther
PDL with Negation of Atomic Programs
Proceedings of the 2nd International Joint Conference on Automated Reasoning IJCAR'04, Lecture Notes in Artificial Intelligence, to appear. Springer
Details Download

Carsten Lutz, M. Milicic
Description Logics with Concrete Domains and Functional Dependencies
Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-2004), to appear
Details Download

Franz Baader, J. Hladik, Carsten Lutz, Frank Wolter
From Tableaux to Automata for Description Logics
In Moshe Vardi and Andrei Voronkov, eds., Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2003), volume 2850 of Lecture Notes in Computer Science, 1-32, 2003. Springer
Details Download

O. Kutz, Carsten Lutz, Frank Wolter, M. Zakharyaschev
E-connections of Description Logics
Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003
Details Download

Carsten Lutz, U.Sattler, L. Tendera
Finite Model reasoning in ALCQI is ExpTime-complete
Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003
Details Download

Carsten Lutz, Frank Wolter, M. Zakharyaschev
A tableau algorithm for reasoning about concepts and similarity
Proceedings of the Twelfth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2003, LNAI, 2003. Springer
Details Download

Carsten Lutz, Frank Wolter, M. Zakharyaschev
Reasoning about concepts and similarity
Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003
Details Download

Carsten Lutz, Ulrike Sattler, L. Tendera
The Complexity of Finite Model Reasoning in Description Logics
Proc. of the 19th Conference on Automated Deduction (CADE-19), volume 2741 of Lecture Notes in Artificial Intelligence, 2003. Springer
Details Download

Carsten Lutz, C. Areces, Ian Horrocks, Ulrike Sattler
Keys, Nominals, and Concrete Domains
Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence IJCAI-03, 2003. Morgan-Kaufmann Publishers
Details Download

Carsten Lutz
Description Logics with Concrete Domains—A Survey
Advances in Modal Logics Volume 4, 2003. World Scientific Publishing Co. Pte. Ltd.
Details Download

C. Areces, Carsten Lutz
Concrete Domains and Nominals United.
In Carlos Areces and Patrick Blackburn and Maarten Marx and Ulrike Sattler, eds., Proceedings of the fourth Workshop on Hybrid Logics (HyLo'02), 2002
Details Download

Carsten Lutz, Ulrike Sattler
A Proposal for Describing Services with DLs
Proceedings of the 2002 International Workshop on Description Logics, to appear
Details Download

Carsten Lutz
Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies
Proceedings of the 2002 International Workshop on Description Logics, to appear
Details Download

Carsten Lutz
Description Logics with Concrete Domains—A Survey
Advances in Modal Logic 2002 (AiML 2002), 2002
Details Download

Carsten Lutz, Ulrike Sattler, Frank Wolter
Description Logics and the Two-Variable Fragment
In D.L. McGuiness and P.F. Pater-Schneider and C. Goble and R. Möller, eds., Proceedings of the 2001 International Workshop in Description Logics (DL-2001), 66-75, 2001
Details Download

Carsten Lutz, Ulrike Sattler, Frank Wolter
Modal Logics and the two-variable fragment
Annual Conference of the European Association for Computer Science Logic CSL'01, LNCS, 2001. Springer
Details Download

Carsten Lutz, Ulrike Sattler
The Complexity of Reasoning with Boolean Modal Logics
In Frank Wolter and Heinrich Wansing and Maarten de Rijke and Michael Zakharyaschev, eds., Advances in Modal Logics Volume 3, 2001. CSLI Publications, Stanford
Details Download

Carsten Lutz
NExpTime-complete Description Logics with Concrete Domains
In Rajeev Goré and Alexander Leitsch and Tobias Nipkow, eds., Proceedings of the International Joint Conference on Automated Reasoning, Lecture Notes in Artifical Intelligence, 45-60, 2001. Springer
Details Download

Carsten Lutz
Interval-based Temporal Reasoning with General TBoxes
In Bernhard Nebel, eds., Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence IJCAI-01, 89-94, 2001. Morgan-Kaufmann Publishers
Details Download

Carsten Lutz, Holger Sturm, Frank Wolter, M. Zakharyaschev
Tableaux for Temporal Description Logic with Constant Domain
In Rajeev Goré and Alexander Leitsch and Tobias Nipkow, eds., Proceedings of the International Joint Conference on Automated Reasoning, Lecture Notes in Artifical Intelligence, 121-136, 2001. Springer
Details Download

Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
Fusions of Description Logics
In F. Baader and U. Sattler, eds., Proceedings of the International Workshop in Description Logics 2000 (DL2000), CEUR-WS, 21-30, August 2000. RWTH Aachen
Details Download

Carsten Lutz, Ulrike Sattler
Mary likes all Cats
In F. Baader and U. Sattler, eds., Proceedings of the 2000 International Workshop in Description Logics (DL2000), CEUR-WS, 213-226, August 2000. RWTH Aachen
Details Download

Carsten Lutz, Ulrike Sattler
The Complexity of Reasoning with Boolean Modal Logic
Advances in Modal Logic 2000 (AiML 2000), 2000
Details

Carsten Lutz
NExpTime-Complete Description Logics with Concrete Domains
In C. Pilière, eds., Proceedings of the ESSLLI-2000 Student Session, August 2000
Details Download

A. Artale, Carsten Lutz
A Correspondance between Temporal Description Logics
In Patrick Lambrix and Alex Borgida and Maurizio Lenzerini and Ralf Möller and Peter Patel-Schneider, eds., Proceedings of the International Workshop on Description Logics (DL'99), CEUR-WS, 145-149, 1999. Linköping University
Details Download

Carsten Lutz, Ulrike Sattler, Stephan Tobies
A Suggestion for an n-ary Description Logic
In Patrick Lambrix and Alex Borgida and Maurizio Lenzerini and Ralf Möller and Peter Patel-Schneider, eds., Proceedings of the International Workshop on Description Logics, CEUR-WS, 81-85, 1999. Linköping University
Details Download

Carsten Lutz
Complexity of Terminological Reasoning Revisited
Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning LPAR'99, Lecture Notes in Artificial Intelligence, 181-200, 1999. Springer
Details Download

Carsten Lutz
Reasoning with Concrete Domains
In Thomas Dean, eds., Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence IJCAI-99, 90-95, 1999. Morgan-Kaufmann Publishers
Details Download

Books

S. Hölldobler, Carsten Lutz, H. Wansing
Logics in Artificial Intelligence
Volume 5293 of Lecture Notes in Artificial Intelligence. Springer, 2008
Details

Book Chapters

Franz Baader, Carsten Lutz
Description Logic
In Patrick Blackburn and Johan van Benthem and Frank Wolter, eds., The Handbook of Modal Logic, 757-820. Elsevier, 2006
Details Download

Technical Reports

Franz Baader, Silvio Ghilardi, Carsten Lutz
LTL over Description Logic Axioms
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 08-01, 2008. LTCS-Report
Details Download

H. Liu, Carsten Lutz, M. Milicic, Frank Wolter
Description Logic Actions with general TBoxes: a Pragmatic Approach
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-06-03, 2006. LTCS-Report
Details Download

Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen
A New n-ary Existential Quantifier in Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-08, 2005. LTCS-Report
Details Download

Franz Baader, Sebastian Brandt, Carsten Lutz
Pushing the EL Envelope
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-01, 2005. LTCS-Report
Details Download

Franz Baader, M. Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter
Integrating Description Logics and Action Formalisms for Reasoning about Web Services
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-02, 2005. LTCS-Report
Details Download

P. Bonatti, Carsten Lutz, Frank Wolter
Expressive Non-Monotonic Description Logics Based on Circumscription
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-06, 2005. LTCS-Report
Details Download

H. Liu, Carsten Lutz, M. Milicic, Frank Wolter
Updating Description Logic ABoxes
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-10, 2005. LTCS-Report
Details Download

Carsten Lutz, Dirk Walther, Frank Wolter
Quantitative Temporal Logics: PSpace and below
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-03, 2005. LTCS-Report
Details Download

Carsten Lutz, M. Milicic
A Tableau Algorithm for DLs with Concrete Domains and GCIs
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-07, 2005. LTCS-Report
Details Download

Carsten Lutz
Complexity and Succinctness of Public Announcement Logic
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-09, 2005. LTCS-Report
Details Download

Carsten Lutz
PDL with Intersection and Converse is Decidable
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-05, 2005. LTCS-Report
Details Download

Carsten Lutz, Frank Wolter
Modal Logics of Topological Relations
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-04-05, 2004. LTCS-Report
Details Download

Carsten Lutz, M. Milicic
Description Logics with Concrete Domains and Functional Dependencies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-04-06, 2004. LTCS-Report
Details Download

Carsten Lutz, Dirk Walther
PDL with Negation of Atomic Programs
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-03-04, 2003. LTCS-Report
Details Download

Carsten Lutz, Ulrike Sattler, L. Tendera
The Complexity of Finite Model Reasoning in Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-02-05, 2002. LTCS-Report
Details Download

Carsten Lutz
Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-02-01, 2002. LTCS-Report
Details Download

Carsten Lutz, C. Areces, Ian Horrocks, Ulrike Sattler
Keys, Nominals, and Concrete Domains
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-02-04, 2002. LTCS-Report
Details Download

Carsten Lutz, Ulrike Sattler, Frank Wolter
Modal Logic and the two-variable fragment
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-01-04, 2001. LTCS-Report
Details Download

Carsten Lutz
Adding Numbers to the SHIQ Description Logic—First Results
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-01-07, 2001. LTCS-Report
Details Download

Carsten Lutz, Holger Sturm, Frank Wolter, M. Zakharyaschev
A Tableau Calculus for Temporal Description Logic: The Constant Domain Case
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-01-01, 2001. LTCS-Report
Details Download

Carsten Lutz
Interval-based Temporal Reasoning with General TBoxes
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-00-06, 2000. LTCS-Report
Details Download

Carsten Lutz
NExpTime-complete Description Logics with Concrete Domains
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-00-01, 2000. LTCS-Report
Details Download

Carsten Lutz, Ulrike Sattler
The Complexity of Reasoning with Boolean Modal Logics (Extended Version)
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-00-02, 2000. LTCS-Report
Details Download

Carsten Lutz
On the Complexity of Terminological Reasoning
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-04, 1999. LTCS-Report
Details

Carsten Lutz
The Complexity of Reasoning with Concrete Domains (Revised Version)
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-01, 1999. LTCS-Report
Details Download