Carsten Lutz Home Page Coauthor index DBLP Vis pubzone.org

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

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