| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Carsten Lutz Silvio Ghilardi , Carsten Lutz, Frank Wolter : Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. KR 2006 : 187-197 Piero A. Bonatti , Carsten Lutz, Frank Wolter : Description Logics with Circumscription. KR 2006 : 400-410 Hongkai Liu , Carsten Lutz, Maja Milicic , Frank Wolter : Updating Description Logic ABoxes. KR 2006 : 46-56 Franz Baader , Carsten Lutz, Maja Milicic , Ulrike Sattler , Frank Wolter : Integrating Description Logics and Action Formalisms: First Results. AAAI 2005 : 572-577 Carsten Lutz: PDL with Intersection and Converse Is Decidable. CSL 2005 : 413-427 Carsten Lutz, Maja Milicic : A Tableau Algorithm for DLs with Concrete Domains and GCIs. Description Logics 2005 Franz Baader , Carsten Lutz, Eldar Karabaev , Manfred Theißen : A new n -ary existential quantifier in description logics. Description Logics 2005 Franz Baader , Maja Milicic , Carsten Lutz, Ulrike Sattler , Frank Wolter : Integrating Description Logics and Action Formalisms: First Results. Description Logics 2005 Franz Baader , Sebastian Brandt , Carsten Lutz: Pushing the EL Envelope. IJCAI 2005 : 364-369 Franz Baader , Eldar Karabaev , Carsten Lutz, Manfred Theißen : A New n -Ary Existential Quantifier in Description Logics. KI 2005 : 18-33 Carsten Lutz, Maja Milicic : A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. TABLEAUX 2005 : 201-216 Carsten Lutz, Dirk Walther , Frank Wolter : Quantitative Temporal Logics: PSPACE and Below. TIME 2005 : 138-146 Carsten Lutz, Ulrike Sattler , Lidia Tendera : The complexity of finite model reasoning in description logics. Inf. Comput. 199 (1-2): 132-171 (2005) Carsten Lutz, Dirk Walther : PDL with Negation of Atomic Programs. Journal of Applied Non-Classical Logics 15 (2): 189-213 (2005) Eldar Karabaev , Carsten Lutz: Mona as a DL Reasoner. Description Logics 2004 Carsten Lutz, Maja Milicic : Description Logics with Concrete Domains and Functional Dependencies. ECAI 2004 : 378-382 Carsten Lutz, Dirk Walther : PDL with Negation of Atomic Programs. IJCAR 2004 : 259-273 Carsten Lutz: NEXP TIME-complete description logics with concrete domains. ACM Trans. Comput. Log. 5 (4): 669-705 (2004) Carsten Lutz: Combining interval-based temporal reasoning with general TBoxes. Artif. Intell. 152 (2): 235-274 (2004) Oliver Kutz , Carsten Lutz, Frank Wolter , Michael Zakharyaschev : E-connections of abstract description systems. Artif. Intell. 156 (1): 1-73 (2004) Alessandro Artale , Carsten Lutz: A Correspondence between Temporal Description Logics. Journal of Applied Non-Classical Logics 14 (1-2): 209-233 (2004) Roman Kontchakov , Carsten Lutz, Frank Wolter , Michael Zakharyaschev : Temporalising Tableaux. Studia Logica 76 (1): 91-134 (2004) François Bry , Carsten Lutz, Ulrike Sattler , Mareike Schoop : Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), Hamburg, Germany, September 15-16, 2003 CEUR-WS.org 2003 Carsten Lutz, Ulrike Sattler , Lidia Tendera : The Complexity of Finite Model Reasoning in Description Logics. CADE 2003 : 60-74 Oliver Kutz , Carsten Lutz, Frank Wolter , Michael Zakharyaschev : E-connections of Description Logics. Description Logics 2003 Carsten Lutz, Ulrike Sattler , Lidia Tendera : Finite Model Reasoning in ALCQI is EXPTIME Logics. Description Logics 2003 Carsten Lutz, Frank Wolter , Michael Zakharyaschev : Resasoning about Concepts and Similarity. Description Logics 2003 Carsten Lutz, Carlos Areces , Ian Horrocks , Ulrike Sattler : Keys, Nominals, and Concrete Domains. IJCAI 2003 : 349-354 Franz Baader , Jan Hladik , Carsten Lutz, Frank Wolter : From Tableaux to Automata for Description Logics. LPAR 2003 : 1-32 Carsten Lutz, Frank Wolter , Michael Zakharyaschev : A Tableau Algorithm for Reasoning about Concepts and Similarity. TABLEAUX 2003 : 134-149 Franz Baader , Jan Hladik , Carsten Lutz, Frank Wolter : From Tableaux to Automata for Description Logics. Fundam. Inform. 57 (2-4): 247-279 (2003) Carsten Lutz: Description Logics with Concrete Domains-A Survey. Advances in Modal Logic 2002 : 265-296 Carsten Lutz: Adding Numbers to the SHIQ Description Logic: First Results. KR 2002 : 191-202 Franz Baader , Carsten Lutz, Holger Sturm , Frank Wolter : Fusions of Description Logics and Abstract Description Systems. J. Artif. Intell. Res. (JAIR) 16 : 1-58 (2002) Carsten Lutz: PSpace Reasoning with the Description Logic ALCF(D). Logic Journal of the IGPL 10 (5): 535-568 (2002) Carsten Lutz, Holger Sturm , Frank Wolter , Michael Zakharyaschev : A Tableau Decision Algorithm for Modalized ALC with Constant Domains. Studia Logica 72 (2): 199-232 (2002) Carsten Lutz, Ulrike Sattler , Frank Wolter : Modal Logic and the Two-Variable Fragment. CSL 2001 : 247-261 Carsten Lutz, Ulrike Sattler , Frank Wolter : Description Logics and the Two-Variable Fragment. Description Logics 2001 Carsten Lutz: Interval-based Temporal Reasoning with General TBoxes. IJCAI 2001 : 89-96 Carsten Lutz, Holger Sturm , Frank Wolter , Michael Zakharyaschev : Tableaux for Temporal Description Logic with Constant Domains. IJCAR 2001 : 121-136 Carsten Lutz: NEXPTIME-Complete Description Logics with Concrete Domains. IJCAR 2001 : 45-60 Carsten Lutz, Ulrike Sattler : The Complexity of Reasoning with Boolean Modal Logics. Advances in Modal Logic 2000 : 329-348 Franz Baader , Carsten Lutz, Holger Sturm , Frank Wolter : Fusions of Description Logics. Description Logics 2000 : 21-30 Carsten Lutz, Ulrike Sattler : Mary Likes all Cats. Description Logics 2000 : 213-226 Alessandro Artale , Carsten Lutz: A Correspondence between Temporal Description Logics. Description Logics 1999 Carsten Lutz, Ulrike Sattler , Stephan Tobies : A Suggestion for an n-ary Description Logic. Description Logics 1999 Carsten Lutz: Reasoning with Concrete Domains. IJCAI 1999 : 90-95 Carsten Lutz: Complexity of Terminological Reasoning Revisited. LPAR 1999 : 181-200 Volker Haarslev , Carsten Lutz, Ralf Möller : A Description Logic with Concrete Domains and a Role-forming Predicate Operator. J. Log. Comput. 9 (3): 351-384 (1999) Volker Haarslev , Carsten Lutz, Ralf Möller : Foundations of Spatioterminological Reasoning with Description Logics. KR 1998 : 112-123 Carsten Lutz, Ralf Möller : Defined Topological Relations in Description Logics. Description Logics 1997 1 [ 24 ] 2 [ 7 ] [ 31 ] 3 [ 9 ] [ 18 ] [ 21 ] [ 23 ] [ 42 ] [ 43 ] [ 44 ] [ 45 ] [ 48 ] 4 [ 50 ] 5 [ 43 ] 6 [ 29 ] 7 [ 51 ] 8 [ 2 ] [ 3 ] 9 [ 21 ] [ 23 ] 10 [ 24 ] 11 [ 37 ] [ 42 ] [ 45 ] 12 [ 30 ] 13 [ 27 ] [ 32 ] 14 [ 49 ] 15 [ 36 ] [ 41 ] [ 44 ] [ 46 ] [ 48 ] [ 49 ] 16 [ 1 ] [ 2 ] [ 3 ] 17 [ 6 ] [ 8 ] [ 10 ] [ 14 ] [ 15 ] [ 24 ] [ 26 ] [ 28 ] [ 29 ] [ 39 ] [ 44 ] [ 48 ] 18 [ 29 ] 19 [ 9 ] [ 12 ] [ 16 ] [ 18 ] 20 [ 26 ] [ 28 ] [ 39 ] 21 [ 42 ] [ 45 ] 22 [ 6 ] 23 [ 35 ] [ 38 ] [ 40 ] 24 [ 9 ] [ 12 ] [ 14 ] [ 15 ] [ 16 ] [ 18 ] [ 21 ] [ 22 ] [ 23 ] [ 25 ] [ 27 ] [ 30 ] [ 32 ] [ 40 ] [ 44 ] [ 48 ] [ 49 ] [ 50 ] [ 51 ] 25 [ 12 ] [ 16 ] [ 22 ] [ 25 ] [ 27 ] [ 30 ] [ 32 ]  ©2006 Association for Computing Machinery |
