Search the dblp DataBase
Carsten Lutz :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Franz Baader , Carsten Lutz , Maja Milicic , Ulrike Sattler , Frank Wolter Integrating Description Logics and Action Formalisms: First Results. [Citation Graph (0, 0)][DBLP ] AAAI, 2005, pp:572-577 [Conf ] Carsten Lutz , Ulrike Sattler The Complexity of Reasoning with Boolean Modal Logics. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2000, pp:329-348 [Conf ] Silvio Ghilardi , Carsten Lutz , Frank Wolter , Michael Zakharyaschev Conservative extensions in modal logic. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2006, pp:187-207 [Conf ] Carsten Lutz Description Logics with Concrete Domains-A Survey. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2002, pp:265-296 [Conf ] Carsten Lutz Complexity and succinctness of public announcement logic. [Citation Graph (0, 0)][DBLP ] AAMAS, 2006, pp:137-143 [Conf ] Franz Baader , Carsten Lutz , Boontawee Suntisrivaraporn CEL - A Polynomial-Time Reasoner for Life Science Ontologies. [Citation Graph (0, 0)][DBLP ] IJCAR, 2006, pp:287-291 [Conf ] Carsten Lutz NEXPTIME-Complete Description Logics with Concrete Domains. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:45-60 [Conf ] Carsten Lutz , Ulrike Sattler , Lidia Tendera The Complexity of Finite Model Reasoning in Description Logics. [Citation Graph (0, 0)][DBLP ] CADE, 2003, pp:60-74 [Conf ] Carsten Lutz , Holger Sturm , Frank Wolter , Michael Zakharyaschev Tableaux for Temporal Description Logic with Constant Domains. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:121-136 [Conf ] Carsten Lutz , Dirk Walther PDL with Negation of Atomic Programs. [Citation Graph (0, 0)][DBLP ] IJCAR, 2004, pp:259-273 [Conf ] Carsten Lutz PDL with Intersection and Converse Is Decidable. [Citation Graph (0, 0)][DBLP ] CSL, 2005, pp:413-427 [Conf ] Carsten Lutz , Ulrike Sattler , Frank Wolter Modal Logic and the Two-Variable Fragment. [Citation Graph (0, 0)][DBLP ] CSL, 2001, pp:247-261 [Conf ] Alessandro Artale , Carsten Lutz A Correspondence between Temporal Description Logics. [Citation Graph (0, 0)][DBLP ] Description Logics, 1999, pp:- [Conf ] Franz Baader , Carsten Lutz , Eldar Karabaev , Manfred Theißen A new n -ary existential quantifier in description logics. [Citation Graph (0, 0)][DBLP ] Description Logics, 2005, pp:- [Conf ] Franz Baader , Carsten Lutz , Holger Sturm , Frank Wolter Fusions of Description Logics. [Citation Graph (0, 0)][DBLP ] Description Logics, 2000, pp:21-30 [Conf ] Franz Baader , Maja Milicic , Carsten Lutz , Ulrike Sattler , Frank Wolter Integrating Description Logics and Action Formalisms: First Results. [Citation Graph (0, 0)][DBLP ] Description Logics, 2005, pp:- [Conf ] Eldar Karabaev , Carsten Lutz Mona as a DL Reasoner. [Citation Graph (0, 0)][DBLP ] Description Logics, 2004, pp:- [Conf ] Oliver Kutz , Carsten Lutz , Frank Wolter , Michael Zakharyaschev E-connections of Description Logics. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Carsten Lutz , Maja Milicic A Tableau Algorithm for DLs with Concrete Domains and GCIs. [Citation Graph (0, 0)][DBLP ] Description Logics, 2005, pp:- [Conf ] Carsten Lutz , Ralf Möller Defined Topological Relations in Description Logics. [Citation Graph (0, 0)][DBLP ] Description Logics, 1997, pp:- [Conf ] Carsten Lutz , Ulrike Sattler Mary Likes all Cats. [Citation Graph (0, 0)][DBLP ] Description Logics, 2000, pp:213-226 [Conf ] Carsten Lutz , Ulrike Sattler , Lidia Tendera Finite Model Reasoning in ALCQI is EXPTIME Logics. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Carsten Lutz , Ulrike Sattler , Stephan Tobies A Suggestion for an n-ary Description Logic. [Citation Graph (0, 0)][DBLP ] Description Logics, 1999, pp:- [Conf ] Carsten Lutz , Ulrike Sattler , Frank Wolter Description Logics and the Two-Variable Fragment. [Citation Graph (0, 0)][DBLP ] Description Logics, 2001, pp:- [Conf ] Carsten Lutz , Frank Wolter , Michael Zakharyaschev Resasoning about Concepts and Similarity. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Carsten Lutz , Maja Milicic Description Logics with Concrete Domains and Functional Dependencies. [Citation Graph (0, 0)][DBLP ] ECAI, 2004, pp:378-382 [Conf ] Piero A. Bonatti , Carsten Lutz , Aniello Murano , Moshe Y. Vardi The Complexity of Enriched µ -Calculi. [Citation Graph (0, 0)][DBLP ] ICALP (2), 2006, pp:540-551 [Conf ] Franz Baader , Sebastian Brandt , Carsten Lutz Pushing the EL Envelope. [Citation Graph (0, 0)][DBLP ] IJCAI, 2005, pp:364-369 [Conf ] Carsten Lutz Interval-based Temporal Reasoning with General TBoxes. [Citation Graph (0, 0)][DBLP ] IJCAI, 2001, pp:89-96 [Conf ] Carsten Lutz Reasoning with Concrete Domains. [Citation Graph (0, 0)][DBLP ] IJCAI, 1999, pp:90-95 [Conf ] Carsten Lutz , Carlos Areces , Ian Horrocks , Ulrike Sattler Keys, Nominals, and Concrete Domains. [Citation Graph (0, 0)][DBLP ] IJCAI, 2003, pp:349-354 [Conf ] Carsten Lutz , Dirk Walther , Frank Wolter Conservative Extensions in Expressive Description Logics. [Citation Graph (0, 0)][DBLP ] IJCAI, 2007, pp:453-458 [Conf ] Birte Glimm , Ian Horrocks , Carsten Lutz , Ulrike Sattler Conjunctive Query Answering for the Description Logic SHIQ. [Citation Graph (0, 0)][DBLP ] IJCAI, 2007, pp:399-404 [Conf ] Alessandro Artale , Carsten Lutz , David Toman A Description Logic of Change. [Citation Graph (0, 0)][DBLP ] IJCAI, 2007, pp:218-223 [Conf ] Hongkai Liu , Carsten Lutz , Maja Milicic , Frank Wolter Reasoning About Actions Using Description Logics with General TBoxes. [Citation Graph (0, 0)][DBLP ] JELIA, 2006, pp:266-279 [Conf ] Franz Baader , Eldar Karabaev , Carsten Lutz , Manfred Theißen A New n -Ary Existential Quantifier in Description Logics. [Citation Graph (0, 0)][DBLP ] KI, 2005, pp:18-33 [Conf ] Piero A. Bonatti , Carsten Lutz , Frank Wolter Description Logics with Circumscription. [Citation Graph (0, 0)][DBLP ] KR, 2006, pp:400-410 [Conf ] Volker Haarslev , Carsten Lutz , Ralf Möller Foundations of Spatioterminological Reasoning with Description Logics. [Citation Graph (0, 0)][DBLP ] KR, 1998, pp:112-123 [Conf ] Silvio Ghilardi , Carsten Lutz , Frank Wolter Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. [Citation Graph (0, 0)][DBLP ] KR, 2006, pp:187-197 [Conf ] Hongkai Liu , Carsten Lutz , Maja Milicic , Frank Wolter Updating Description Logic ABoxes. [Citation Graph (0, 0)][DBLP ] KR, 2006, pp:46-56 [Conf ] Carsten Lutz Adding Numbers to the SHIQ Description Logic: First Results. [Citation Graph (0, 0)][DBLP ] KR, 2002, pp:191-202 [Conf ] Franz Baader , Jan Hladik , Carsten Lutz , Frank Wolter From Tableaux to Automata for Description Logics. [Citation Graph (0, 0)][DBLP ] LPAR, 2003, pp:1-32 [Conf ] Carsten Lutz Complexity of Terminological Reasoning Revisited. [Citation Graph (0, 0)][DBLP ] LPAR, 1999, pp:181-200 [Conf ] Carsten Lutz , Maja Milicic A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2005, pp:201-216 [Conf ] Carsten Lutz , Frank Wolter , Michael Zakharyaschev A Tableau Algorithm for Reasoning about Concepts and Similarity. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2003, pp:134-149 [Conf ] Carsten Lutz , Dirk Walther , Frank Wolter Quantitative Temporal Logics: PSPACE and Below. [Citation Graph (0, 0)][DBLP ] TIME, 2005, pp:138-146 [Conf ] Oliver Kutz , Carsten Lutz , Frank Wolter , Michael Zakharyaschev E-connections of abstract description systems. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2004, v:156, n:1, pp:1-73 [Journal ] Carsten Lutz Combining interval-based temporal reasoning with general TBoxes. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2004, v:152, n:2, pp:235-274 [Journal ] Franz Baader , Jan Hladik , Carsten Lutz , Frank Wolter From Tableaux to Automata for Description Logics. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2003, v:57, n:2-4, pp:247-279 [Journal ] Carsten Lutz , Ulrike Sattler , Lidia Tendera The complexity of finite model reasoning in description logics. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2005, v:199, n:1-2, pp:132-171 [Journal ] Carsten Lutz , Dirk Walther , Frank Wolter Quantitative temporal logics over the reals: PSpace and below. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2007, v:205, n:1, pp:99-123 [Journal ] Carsten Lutz PSpace Reasoning with the Description Logic ALCF(D). [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 2002, v:10, n:5, pp:535-568 [Journal ] Franz Baader , Carsten Lutz , Holger Sturm , Frank Wolter Fusions of Description Logics and Abstract Description Systems. [Citation Graph (0, 0)][DBLP ] J. Artif. Intell. Res. (JAIR), 2002, v:16, n:, pp:1-58 [Journal ] Alessandro Artale , Carsten Lutz A Correspondence between Temporal Description Logics. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 2004, v:14, n:1-2, pp:209-233 [Journal ] Carsten Lutz , Dirk Walther PDL with Negation of Atomic Programs. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 2005, v:15, n:2, pp:189-213 [Journal ] Carsten Lutz , Frank Wolter Modal Logics of Topological Relations. [Citation Graph (0, 0)][DBLP ] Logical Methods in Computer Science, 2006, v:2, n:2, pp:- [Journal ] Volker Haarslev , Carsten Lutz , Ralf Möller A Description Logic with Concrete Domains and a Role-forming Predicate Operator. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1999, v:9, n:3, pp:351-384 [Journal ] Dirk Walther , Carsten Lutz , Frank Wolter , Michael Wooldridge ATL Satisfiability is Indeed EXPTIME-complete. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2006, v:16, n:6, pp:765-787 [Journal ] Roman Kontchakov , Carsten Lutz , Frank Wolter , Michael Zakharyaschev Temporalising Tableaux. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2004, v:76, n:1, pp:91-134 [Journal ] Carsten Lutz , Holger Sturm , Frank Wolter , Michael Zakharyaschev A Tableau Decision Algorithm for Modalized ALC with Constant Domains. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2002, v:72, n:2, pp:199-232 [Journal ] Carsten Lutz NEXP TIME-complete description logics with concrete domains. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2004, v:5, n:4, pp:669-705 [Journal ] Carsten Lutz , Frank Wolter Conservative Extensions in the Lightweight Description Logic EL. [Citation Graph (0, 0)][DBLP ] CADE, 2007, pp:84-99 [Conf ] Alessandro Artale , Carsten Lutz , David Toman A Description Logic of Change. [Citation Graph (0, 0)][DBLP ] Description Logics, 2006, pp:- [Conf ] Franz Baader , Carsten Lutz , Boontawee Suntisrivaraporn Efficient Reasoning in EL+ . [Citation Graph (0, 0)][DBLP ] Description Logics, 2006, pp:- [Conf ] Hongkai Liu , Carsten Lutz , Maja Milicic , Frank Wolter DL Actions with GCIs: a Pragmatic Approach. [Citation Graph (0, 0)][DBLP ] Description Logics, 2006, pp:- [Conf ] Stefan Göller , Markus Lohrey , Carsten Lutz PDL with Intersection and Converse Is 2 EXP-Complete. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2007, pp:198-212 [Conf ] Adila Krisnadhi , Carsten Lutz Data Complexity in the EL Family of Description Logics. [Citation Graph (0, 0)][DBLP ] LPAR, 2007, pp:333-347 [Conf ] Balder ten Cate , Carsten Lutz The complexity of query containment in expressive fragments of XPath 2.0. [Citation Graph (0, 0)][DBLP ] PODS, 2007, pp:73-82 [Conf ] Alessandro Artale , Roman Kontchakov , Carsten Lutz , Frank Wolter , Michael Zakharyaschev Temporalising Tractable Description Logics. [Citation Graph (0, 0)][DBLP ] TIME, 2007, pp:11-22 [Conf ] Carsten Lutz , Frank Wolter Modal Logics of Topological Relations [Citation Graph (0, 0)][DBLP ] CoRR, 2006, v:0, n:, pp:- [Journal ] Carsten Lutz , Carlos Areces , Ian Horrocks , Ulrike Sattler Keys, Nominals, and Concrete Domains. [Citation Graph (0, 0)][DBLP ] J. Artif. Intell. Res. (JAIR), 2005, v:23, n:, pp:667-726 [Journal ] Carsten Lutz , Maja Milicic A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2007, v:38, n:1-3, pp:227-259 [Journal ] Christof Löding , Carsten Lutz , Olivier Serre Propositional dynamic logic with recursive programs. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2007, v:73, n:1-2, pp:51-69 [Journal ] The Complexity of Conjunctive Query Answering in Expressive Description Logics. [Citation Graph (, )][DBLP ] PDL with Intersection and Converse is 2EXP-complete. [Citation Graph (, )][DBLP ] Data Complexity in the EL family of DLs. [Citation Graph (, )][DBLP ] Inverse Roles Make Conjunctive Queries Hard. [Citation Graph (, )][DBLP ] Two Upper Bounds for Conjunctive Query Answering in SHIQ. [Citation Graph (, )][DBLP ] LTL over Description Logic Axioms. [Citation Graph (, )][DBLP ] The Projection Problem for EL Actions. [Citation Graph (, )][DBLP ] Logical Difference and Module Extraction with CEX and MEX. [Citation Graph (, )][DBLP ] Query Answering over DL ABoxes: How to Pick the Relevant Symbols. [Citation Graph (, )][DBLP ] Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. [Citation Graph (, )][DBLP ] Semantic Modularity and Module Extraction in Description Logics. [Citation Graph (, )][DBLP ] Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes. [Citation Graph (, )][DBLP ] Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints. [Citation Graph (, )][DBLP ] Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. [Citation Graph (, )][DBLP ] Query Answering in Description Logics with Transitive Roles. [Citation Graph (, )][DBLP ] LTL over Description Logic Axioms. [Citation Graph (, )][DBLP ] Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. [Citation Graph (, )][DBLP ] Decomposing Description Logic Ontologies. [Citation Graph (, )][DBLP ] Probabilistic Description Logics for Subjective Uncertainty. [Citation Graph (, )][DBLP ] The Combined Approach to Query Answering in DL-Lite. [Citation Graph (, )][DBLP ] Query and Predicate Emptiness in Description Logics. [Citation Graph (, )][DBLP ] Temporal Description Logics: A Survey. [Citation Graph (, )][DBLP ] Mathematical Logic for Life Science Ontologies. [Citation Graph (, )][DBLP ] Query Answering in Description Logics: The Knots Approach. [Citation Graph (, )][DBLP ] Conjunctive Query Answering in EL using a Database System. [Citation Graph (, )][DBLP ] Reasoning Support for Ontology Design. [Citation Graph (, )][DBLP ] The Complexity of Enriched Mu-Calculi [Citation Graph (, )][DBLP ] Search in 0.025secs, Finished in 0.032secs