dblp.uni-trier.dewww.uni-trier.de

Carsten Lutz Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
101EERoman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev: Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. Description Logics 2009
100EEFranz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter: Query Answering over DL ABoxes: How to Pick the Relevant Symbols. Description Logics 2009
99EECarsten Lutz, David Toman, Frank Wolter: Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. IJCAI 2009: 2070-2075
98EEThomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus: Query Answering in Description Logics with Transitive Roles. IJCAI 2009: 759-764
97EEThomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus: Query Answering in Description Logics: The Knots Approach. WoLLIC 2009: 26-36
96EECarsten Lutz, Frank Wolter: Mathematical Logic for Life Science Ontologies. WoLLIC 2009: 37-47
95EEBoris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Formal Properties of Modularisation. Modular Ontologies 2009: 25-66
94EEBalder ten Cate, Carsten Lutz: The complexity of query containment in expressive fragments of XPath 2.0. J. ACM 56(6): (2009)
2008
93 Franz Baader, Carsten Lutz, Boris Motik: Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008 CEUR-WS.org 2008
92 Steffen Hölldobler, Carsten Lutz, Heinrich Wansing: Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings Springer 2008
91EEFranz Baader, Silvio Ghilardi, Carsten Lutz: LTL over Description Logic Axioms. Description Logics 2008
90EEBoris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Logical Difference and Module Extraction with CEX and MEX. Description Logics 2008
89EEHongkai Liu, Carsten Lutz, Maja Milicic: The Projection Problem for EL Actions. Description Logics 2008
88EECarsten Lutz: Two Upper Bounds for Conjunctive Query Answering in SHIQ. Description Logics 2008
87EEChristoph Haase, Carsten Lutz: Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes. ECAI 2008: 25-29
86EEBoris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Semantic Modularity and Module Extraction in Description Logics. ECAI 2008: 55-59
85EECarsten Lutz: The Complexity of Conjunctive Query Answering in Expressive Description Logics. IJCAR 2008: 179-193
84 Franz Baader, Silvio Ghilardi, Carsten Lutz: LTL over Description Logic Axioms. KR 2008: 684-694
83EECarsten Lutz, David Toman, Frank Wolter: Conjunctive Query Answering in EL using a Database System. OWLED 2008
82EECarsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporal Description Logics: A Survey. TIME 2008: 3-14
81EEPiero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched Mu-Calculi CoRR abs/0809.0360: (2008)
80EEBirte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler: Conjunctive Query Answering for the Description Logic SHIQ. J. Artif. Intell. Res. (JAIR) 31: 157-204 (2008)
79EEPiero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched Mu-Calculi. Logical Methods in Computer Science 4(3): (2008)
2007
78EEStefan Göller, Markus Lohrey, Carsten Lutz: PDL with Intersection and Converse is 2EXP-complete. Algorithmic-Logical Theory of Infinite Structures 2007
77EECarsten Lutz, Frank Wolter: Conservative Extensions in the Lightweight Description Logic EL. CADE 2007: 84-99
76EEAdila Krisnadhi, Carsten Lutz: Data Complexity in the EL family of DLs. Description Logics 2007
75EECarsten Lutz: Inverse Roles Make Conjunctive Queries Hard. Description Logics 2007
74EEStefan Göller, Markus Lohrey, Carsten Lutz: PDL with Intersection and Converse Is 2 EXP-Complete. FoSSaCS 2007: 198-212
73EEAlessandro Artale, Carsten Lutz, David Toman: A Description Logic of Change. IJCAI 2007: 218-223
72EEBirte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler: Conjunctive Query Answering for the Description Logic SHIQ. IJCAI 2007: 399-404
71EECarsten Lutz, Dirk Walther, Frank Wolter: Conservative Extensions in Expressive Description Logics. IJCAI 2007: 453-458
70EEAdila Krisnadhi, Carsten Lutz: Data Complexity in the EL Family of Description Logics. LPAR 2007: 333-347
69EEBalder ten Cate, Carsten Lutz: The complexity of query containment in expressive fragments of XPath 2.0. PODS 2007: 73-82
68EEAlessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporalising Tractable Description Logics. TIME 2007: 11-22
67EECarsten Lutz, Dirk Walther, Frank Wolter: Quantitative temporal logics over the reals: PSpace and below. Inf. Comput. 205(1): 99-123 (2007)
66EECarsten Lutz, Maja Milicic: A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes. J. Autom. Reasoning 38(1-3): 227-259 (2007)
65EEChristof Löding, Carsten Lutz, Olivier Serre: Propositional dynamic logic with recursive programs. J. Log. Algebr. Program. 73(1-2): 51-69 (2007)
2006
64EECarsten Lutz: Complexity and succinctness of public announcement logic. AAMAS 2006: 137-143
63EESilvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Conservative extensions in modal logic. Advances in Modal Logic 2006: 187-207
62EEAlessandro Artale, Carsten Lutz, David Toman: A Description Logic of Change. Description Logics 2006
61EEHongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: DL Actions with GCIs: a Pragmatic Approach. Description Logics 2006
60EEFranz Baader, Carsten Lutz, Boontawee Suntisrivaraporn: Efficient Reasoning in EL+. Description Logics 2006
59EEPiero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched µ-Calculi. ICALP (2) 2006: 540-551
58EEFranz Baader, Carsten Lutz, Boontawee Suntisrivaraporn: CEL - A Polynomial-Time Reasoner for Life Science Ontologies. IJCAR 2006: 287-291
57EEHongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: Reasoning About Actions Using Description Logics with General TBoxes. JELIA 2006: 266-279
56 Silvio Ghilardi, Carsten Lutz, Frank Wolter: Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. KR 2006: 187-197
55 Piero A. Bonatti, Carsten Lutz, Frank Wolter: Description Logics with Circumscription. KR 2006: 400-410
54 Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: Updating Description Logic ABoxes. KR 2006: 46-56
53EECarsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris: Reasoning Support for Ontology Design. OWLED 2006
52EECarsten Lutz, Frank Wolter: Modal Logics of Topological Relations CoRR abs/cs/0605064: (2006)
51EEDirk Walther, Carsten Lutz, Frank Wolter, Michael Wooldridge: ATL Satisfiability is Indeed EXPTIME-complete. J. Log. Comput. 16(6): 765-787 (2006)
50EECarsten Lutz, Frank Wolter: Modal Logics of Topological Relations. Logical Methods in Computer Science 2(2): (2006)
2005
49 Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. AAAI 2005: 572-577
48EECarsten Lutz: PDL with Intersection and Converse Is Decidable. CSL 2005: 413-427
47EECarsten Lutz, Maja Milicic: A Tableau Algorithm for DLs with Concrete Domains and GCIs. Description Logics 2005
46EEFranz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen: A new n-ary existential quantifier in description logics. Description Logics 2005
45EEFranz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. Description Logics 2005
44EEFranz Baader, Sebastian Brandt, Carsten Lutz: Pushing the EL Envelope. IJCAI 2005: 364-369
43EEFranz Baader, Eldar Karabaev, Carsten Lutz, Manfred Theißen: A New n-Ary Existential Quantifier in Description Logics. KI 2005: 18-33
42EECarsten Lutz, Maja Milicic: A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. TABLEAUX 2005: 201-216
41EECarsten Lutz, Dirk Walther, Frank Wolter: Quantitative Temporal Logics: PSPACE and Below. TIME 2005: 138-146
40EECarsten Lutz, Ulrike Sattler, Lidia Tendera: The complexity of finite model reasoning in description logics. Inf. Comput. 199(1-2): 132-171 (2005)
39EECarsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler: Keys, Nominals, and Concrete Domains. J. Artif. Intell. Res. (JAIR) 23: 667-726 (2005)
38 Carsten Lutz, Dirk Walther: PDL with Negation of Atomic Programs. Journal of Applied Non-Classical Logics 15(2): 189-213 (2005)
2004
37EEEldar Karabaev, Carsten Lutz: Mona as a DL Reasoner. Description Logics 2004
36 Carsten Lutz, Maja Milicic: Description Logics with Concrete Domains and Functional Dependencies. ECAI 2004: 378-382
35EECarsten Lutz, Dirk Walther: PDL with Negation of Atomic Programs. IJCAR 2004: 259-273
34EECarsten Lutz: NEXP TIME-complete description logics with concrete domains. ACM Trans. Comput. Log. 5(4): 669-705 (2004)
33EECarsten Lutz: Combining interval-based temporal reasoning with general TBoxes. Artif. Intell. 152(2): 235-274 (2004)
32EEOliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: E-connections of abstract description systems. Artif. Intell. 156(1): 1-73 (2004)
31 Alessandro Artale, Carsten Lutz: A Correspondence between Temporal Description Logics. Journal of Applied Non-Classical Logics 14(1-2): 209-233 (2004)
30EERoman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporalising Tableaux. Studia Logica 76(1): 91-134 (2004)
2003
29 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
28EECarsten Lutz, Ulrike Sattler, Lidia Tendera: The Complexity of Finite Model Reasoning in Description Logics. CADE 2003: 60-74
27EEOliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: E-connections of Description Logics. Description Logics 2003
26EECarsten Lutz, Ulrike Sattler, Lidia Tendera: Finite Model Reasoning in ALCQI is EXPTIME Logics. Description Logics 2003
25EECarsten Lutz, Frank Wolter, Michael Zakharyaschev: Resasoning about Concepts and Similarity. Description Logics 2003
24 Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler: Keys, Nominals, and Concrete Domains. IJCAI 2003: 349-354
23EEFranz Baader, Jan Hladik, Carsten Lutz, Frank Wolter: From Tableaux to Automata for Description Logics. LPAR 2003: 1-32
22EECarsten Lutz, Frank Wolter, Michael Zakharyaschev: A Tableau Algorithm for Reasoning about Concepts and Similarity. TABLEAUX 2003: 134-149
21EEFranz Baader, Jan Hladik, Carsten Lutz, Frank Wolter: From Tableaux to Automata for Description Logics. Fundam. Inform. 57(2-4): 247-279 (2003)
2002
20 Carsten Lutz: Description Logics with Concrete Domains-A Survey. Advances in Modal Logic 2002: 265-296
19 Carsten Lutz: Adding Numbers to the SHIQ Description Logic: First Results. KR 2002: 191-202
18EEFranz Baader, Carsten Lutz, Holger Sturm, Frank Wolter: Fusions of Description Logics and Abstract Description Systems. J. Artif. Intell. Res. (JAIR) 16: 1-58 (2002)
17EECarsten Lutz: PSpace Reasoning with the Description Logic ALCF(D). Logic Journal of the IGPL 10(5): 535-568 (2002)
16 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)
2001
15EECarsten Lutz, Ulrike Sattler, Frank Wolter: Modal Logic and the Two-Variable Fragment. CSL 2001: 247-261
14EECarsten Lutz, Ulrike Sattler, Frank Wolter: Description Logics and the Two-Variable Fragment. Description Logics 2001
13 Carsten Lutz: Interval-based Temporal Reasoning with General TBoxes. IJCAI 2001: 89-96
12EECarsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev: Tableaux for Temporal Description Logic with Constant Domains. IJCAR 2001: 121-136
11EECarsten Lutz: NEXPTIME-Complete Description Logics with Concrete Domains. IJCAR 2001: 45-60
2000
10 Carsten Lutz, Ulrike Sattler: The Complexity of Reasoning with Boolean Modal Logics. Advances in Modal Logic 2000: 329-348
9EEFranz Baader, Carsten Lutz, Holger Sturm, Frank Wolter: Fusions of Description Logics. Description Logics 2000: 21-30
8EECarsten Lutz, Ulrike Sattler: Mary Likes all Cats. Description Logics 2000: 213-226
1999
7EEAlessandro Artale, Carsten Lutz: A Correspondence between Temporal Description Logics. Description Logics 1999
6EECarsten Lutz, Ulrike Sattler, Stephan Tobies: A Suggestion for an n-ary Description Logic. Description Logics 1999
5 Carsten Lutz: Reasoning with Concrete Domains. IJCAI 1999: 90-95
4EECarsten Lutz: Complexity of Terminological Reasoning Revisited. LPAR 1999: 181-200
3EEVolker 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)
1998
2 Volker Haarslev, Carsten Lutz, Ralf Möller: Foundations of Spatioterminological Reasoning with Description Logics. KR 1998: 112-123
1997
1EECarsten Lutz, Ralf Möller: Defined Topological Relations in Description Logics. Description Logics 1997

Coauthor Index

1Carlos Areces [24] [39]
2Alessandro Artale [7] [31] [62] [68] [73]
3Franz Baader [9] [18] [21] [23] [43] [44] [45] [46] [49] [53] [58] [60] [84] [91] [93] [100]
4Meghyn Bienvenu [100]
5Piero A. Bonatti [55] [59] [79] [81]
6Sebastian Brandt [44]
7François Bry (François Bry-Haußer) [29]
8Balder ten Cate [69] [94]
9Thomas Eiter [97] [98]
10Enrico Franconi [53]
11Silvio Ghilardi [56] [63] [84] [91]
12Birte Glimm [72] [80]
13Stefan Göller [74] [78]
14Volker Haarslev [2] [3]
15Christoph Haase [87]
16Jan Hladik [21] [23]
17Steffen Hölldobler [92]
18Ian Horrocks [24] [39] [72] [80]
19Eldar Karabaev [37] [43] [46]
20Boris Konev [86] [90] [95]
21Roman Kontchakov [30] [68] [101]
22Adila Krisnadhi [70] [76]
23Oliver Kutz [27] [32]
24Domenico Lembo [53]
25Hongkai Liu [54] [57] [61] [89]
26Christof Löding [65]
27Markus Lohrey [74] [78]
28Maja Milicic [36] [42] [45] [47] [49] [54] [57] [61] [66] [89]
29Ralf Möller [1] [2] [3] [53]
30Boris Motik [93]
31Aniello Murano [59] [79] [81]
32Magdalena Ortiz (Maria Magdalena Ortiz de la Fuente) [97] [98]
33Riccardo Rosati [53]
34Ulrike Sattler [6] [8] [10] [14] [15] [24] [26] [28] [29] [39] [40] [45] [49] [53] [72] [80]
35Mareike Schoop [29]
36Olivier Serre [65]
37Mantas Simkus [97] [98]
38Holger Sturm [9] [12] [16] [18]
39Boontawee Suntisrivaraporn [53] [58] [60]
40Lidia Tendera [26] [28] [40]
41Sergio Tessaris [53]
42Manfred Theißen [43] [46]
43Stephan Tobies [6]
44David Toman [62] [73] [83] [99] [101]
45Moshe Y. Vardi [59] [79] [81]
46Dirk Walther [35] [38] [41] [51] [67] [71] [86] [90] [95]
47Heinrich Wansing [92]
48Frank Wolter [9] [12] [14] [15] [16] [18] [21] [22] [23] [25] [27] [30] [32] [41] [45] [49] [50] [51] [52] [54] [55] [56] [57] [61] [63] [67] [68] [71] [77] [82] [83] [86] [90] [95] [96] [99] [100] [101]
49Michael Wooldridge (Michael J. Wooldridge) [51]
50Michael Zakharyaschev [12] [16] [22] [25] [27] [30] [32] [63] [68] [82] [101]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)