| 2011 |
|---|
| 117 | A Closer Look at the Probabilistic Description Logic Prob-EL. Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder. AAAI 2011. Web SearchBibTeXDownload |
| 116 | Foundations of instance level updates in expressive description logics. Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter. Artif. Intell. (175): 2170-2197 (2011). Web SearchBibTeXDownload |
| 115 | Conjunctive Query Answering for the Description Logic SHIQ. Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler. CoRR (abs/1111.0049) (2011). Web SearchBibTeXDownload |
| 114 | Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. Carsten Lutz, Frank Wolter. CoRR (abs/1104.2825) (2011). Web SearchBibTeXDownload |
| 113 | Fusions of Description Logics and Abstract Description Systems. Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter. CoRR (abs/1106.1802) (2011). Web SearchBibTeXDownload |
| 112 | Description Logic TBoxes: Model-theoretic Characterizations and Rewritability. Carsten Lutz, Robert Piro, Frank Wolter. CoRR (abs/1104.2844) (2011). Web SearchBibTeXDownload |
| 111 | Non-Uniform Data Complexity of Query Answering in Description Logics. Carsten Lutz, Frank Wolter. Description Logics 2011. Web SearchBibTeXDownload |
| 110 | The Complexity of Probabilistic EL. Jean Christoph Jung, Víctor Gutiérrez-Basulto, Carsten Lutz, Lutz Schröder. Description Logics 2011. Web SearchBibTeXDownload |
| 109 | Status QIO: An Update. Birte Glimm, Yevgeny Kazakov, Carsten Lutz. Description Logics 2011. Web SearchBibTeXDownload |
| 108 | The Combined Approach to Ontology-Based Data Access. Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev. IJCAI 2011, 2656-2661. Web SearchBibTeXDownload |
| 107 | Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability. Carsten Lutz, Robert Piro, Frank Wolter. IJCAI 2011, 983-988. Web SearchBibTeXDownload |
| 2010 |
|---|
| 106 | EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers. Carsten Lutz, Robert Piro, Frank Wolter. Description Logics 2010. Web SearchBibTeXDownload |
| 105 | Query Answering in the Description Logic S. Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus. Description Logics 2010. Web SearchBibTeXDownload |
| 104 | Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints. Carsten Lutz, Robert Piro, Frank Wolter. ECAI 2010, 41-46. Web SearchBibTeXDownload |
| 103 | Deciding inseparability and conservative extensions in the description logic EL. Carsten Lutz, Frank Wolter. J. Symb. Comput. (45): 194-228 (2010). Web SearchBibTeXDownload |
| 102 | Small is Again Beautiful in Description Logics. Franz Baader, Carsten Lutz, Anni-Yasmin Turhan. KI (24): 25-33 (2010). Web SearchBibTeXDownload |
| 101 | Probabilistic Description Logics for Subjective Uncertainty. Carsten Lutz, Lutz Schröder. KR 2010. Web SearchBibTeXDownload |
| 100 | The Combined Approach to Query Answering in DL-Lite. Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev. KR 2010. Web SearchBibTeXDownload |
| 99 | Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. Leonardo Mendonça de Moura, Carsten Lutz, Monica M. C. Schraefel, Bernhard Nebel. KR 2010. Web SearchBibTeXDownload |
| 98 | Decomposing Description Logic Ontologies. Boris Konev, Carsten Lutz, Denis Ponomaryov, Frank Wolter. KR 2010. Web SearchBibTeXDownload |
| 97 | Query and Predicate Emptiness in Description Logics. Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter. KR 2010. Web SearchBibTeXDownload |
| 2009 |
|---|
| 96 | Query Answering over DL ABoxes: How to Pick the Relevant Symbols. Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter. Description Logics 2009. Web SearchBibTeXDownload |
| 95 | Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev. Description Logics 2009. Cited by 1Web SearchBibTeXDownload |
| 94 | Query Answering in Description Logics with Transitive Roles. Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus. IJCAI 2009, 759-764. Web SearchBibTeXDownload |
| 93 | Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. Carsten Lutz, David Toman, Frank Wolter. IJCAI 2009, 2070-2075. Cited by 5Web SearchBibTeXDownload |
| 92 | The complexity of query containment in expressive fragments of XPath 2.0. Balder ten Cate, Carsten Lutz. J. ACM (56) (2009). Web SearchBibTeXDownload |
| 91 | The Complexity of Circumscription in DLs. Piero A. Bonatti, Carsten Lutz, Frank Wolter. J. Artif. Intell. Res. (JAIR) (35): 717-773 (2009). Web SearchBibTeXDownload |
| 90 | PDL with intersection and converse: satisfiability and infinite-state model checking. Stefan Göller, Markus Lohrey, Carsten Lutz. J. Symb. Log. (74): 279-314 (2009). Web SearchBibTeXDownload |
| 89 | Formal Properties of Modularisation. Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter. Modular Ontologies 2009, 25-66. Web SearchBibTeXDownload |
| 88 | Query Answering in Description Logics: The Knots Approach. Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus. WoLLIC 2009, 26-36. Web SearchBibTeXDownload |
| 87 | Mathematical Logic for Life Science Ontologies. Carsten Lutz, Frank Wolter. WoLLIC 2009, 37-47. Web SearchBibTeXDownload |
| 2008 |
|---|
| 86 | Two Upper Bounds for Conjunctive Query Answering in SHIQ. Carsten Lutz. Description Logics 2008. Web SearchBibTeXDownload |
| 85 | LTL over Description Logic Axioms. Franz Baader, Silvio Ghilardi, Carsten Lutz. Description Logics 2008. Web SearchBibTeXDownload |
| 84 | The Projection Problem for EL Actions. Hongkai Liu, Carsten Lutz, Maja Milicic. Description Logics 2008. Web SearchBibTeXDownload |
| 83 | Logical Difference and Module Extraction with CEX and MEX. Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter. Description Logics 2008. Web SearchBibTeXDownload |
| 82 | Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes. Christoph Haase, Carsten Lutz. ECAI 2008, 25-29. Web SearchBibTeXDownload |
| 81 | Semantic Modularity and Module Extraction in Description Logics. Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter. ECAI 2008, 55-59. Web SearchBibTeXDownload |
| 80 | The Complexity of Conjunctive Query Answering in Expressive Description Logics. Carsten Lutz. IJCAR 2008, 179-193. Web SearchBibTeXDownload |
| 79 | Conjunctive Query Answering for the Description Logic SHIQ. Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler. J. Artif. Intell. Res. (JAIR) (31): 157-204 (2008). Web SearchBibTeXDownload |
| 78 | The Complexity of Enriched Mu-Calculi. Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi. Logical Methods in Computer Science (4) (2008). Cited by 21Web SearchBibTeXDownload |
| 77 | Conjunctive Query Answering in EL using a Database System. Carsten Lutz, David Toman, Frank Wolter. OWLED 2008. Cited by 8Web SearchBibTeXDownload |
| 76 | Temporal Description Logics: A Survey. Carsten Lutz, Frank Wolter, Michael Zakharyaschev. TIME 2008, 3-14. Web SearchBibTeXDownload |
| 2007 |
|---|
| 75 | PDL with Intersection and Converse is 2EXP-complete. Stefan Göller, Markus Lohrey, Carsten Lutz. Algorithmic-Logical Theory of Infinite Structures 2007. Web SearchBibTeXDownload |
| 74 | Conservative Extensions in the Lightweight Description Logic EL. Carsten Lutz, Frank Wolter. CADE 2007, 84-99. Web SearchBibTeXDownload |
| 73 | Inverse Roles Make Conjunctive Queries Hard. Carsten Lutz. Description Logics 2007. Web SearchBibTeXDownload |
| 72 | Data Complexity in the EL family of DLs. Adila Krisnadhi, Carsten Lutz. Description Logics 2007. Web SearchBibTeXDownload |
| 71 | PDL with Intersection and Converse Is 2 EXP-Complete. Stefan Göller, Markus Lohrey, Carsten Lutz. FoSSaCS 2007, 198-212. Web SearchBibTeXDownload |
| 70 | Conservative Extensions in Expressive Description Logics. Carsten Lutz, Dirk Walther, Frank Wolter. IJCAI 2007, 453-458. Web SearchBibTeXDownload |
| 69 | A Description Logic of Change. Alessandro Artale, Carsten Lutz, David Toman. IJCAI 2007, 218-223. Cited by 16Web SearchBibTeXDownload |
| 68 | Conjunctive Query Answering for the Description Logic SHIQ. Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler. IJCAI 2007, 399-404. Web SearchBibTeXDownload |
| 67 | Quantitative temporal logics over the reals: PSpace and below. Carsten Lutz, Dirk Walther, Frank Wolter. Inf. Comput. (205): 99-123 (2007). Web SearchBibTeXDownload |
| 66 | A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes. Carsten Lutz, Maja Milicic. J. Autom. Reasoning (38): 227-259 (2007). Web SearchBibTeXDownload |
| 65 | Propositional dynamic logic with recursive programs. Christof Löding, Carsten Lutz, Olivier Serre. J. Log. Algebr. Program. (73): 51-69 (2007). Web SearchBibTeXDownload |
| 64 | Data Complexity in the EL Family of Description Logics. Adila Krisnadhi, Carsten Lutz. LPAR 2007, 333-347. Web SearchBibTeXDownload |
| 63 | The complexity of query containment in expressive fragments of XPath 2.0. Balder ten Cate, Carsten Lutz. PODS 2007, 73-82. Web SearchBibTeXDownload |
| 62 | Temporalising Tractable Description Logics. Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. TIME 2007, 11-22. Web SearchBibTeXDownload |
| 2006 |
|---|
| 61 | Complexity and succinctness of public announcement logic. Carsten Lutz. AAMAS 2006, 137-143. Web SearchBibTeXDownload |
| 60 | Conservative extensions in modal logic. Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. Advances in Modal Logic 2006, 187-207. Web SearchBibTeXDownload |
| 59 | DL Actions with GCIs: a Pragmatic Approach. Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter. Description Logics 2006. Web SearchBibTeXDownload |
| 58 | Efficient Reasoning in EL+. Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn. Description Logics 2006. Web SearchBibTeXDownload |
| 57 | A Description Logic of Change. Alessandro Artale, Carsten Lutz, David Toman. Description Logics 2006. Cited by 16Web SearchBibTeXDownload |
| 56 | The Complexity of Enriched µ-Calculi. Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi. ICALP (2) 2006, 540-551. Web SearchBibTeXDownload |
| 55 | CEL - A Polynomial-Time Reasoner for Life Science Ontologies. Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn. IJCAR 2006, 287-291. Web SearchBibTeXDownload |
| 54 | Reasoning About Actions Using Description Logics with General TBoxes. Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter. JELIA 2006, 266-279. Web SearchBibTeXDownload |
| 53 | ATL Satisfiability is Indeed EXPTIME-complete. Dirk Walther, Carsten Lutz, Frank Wolter, Michael Wooldridge. J. Log. Comput. (16): 765-787 (2006). Web SearchBibTeXDownload |
| 52 | Description Logics with Circumscription. Piero A. Bonatti, Carsten Lutz, Frank Wolter. KR 2006, 400-410. Web SearchBibTeX |
| 51 | Updating Description Logic ABoxes. Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter. KR 2006, 46-56. Web SearchBibTeX |
| 50 | Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. Silvio Ghilardi, Carsten Lutz, Frank Wolter. KR 2006, 187-197. Web SearchBibTeX |
| 49 | Modal Logics of Topological Relations. Carsten Lutz, Frank Wolter. Logical Methods in Computer Science (2) (2006). Web SearchBibTeXDownload |
| 48 | Reasoning Support for Ontology Design. Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris. OWLED 2006. Web SearchBibTeXDownload |
| 2005 |
|---|
| 47 | PDL with Intersection and Converse Is Decidable. Carsten Lutz. CSL 2005, 413-427. Web SearchBibTeXDownload |
| 46 | Integrating Description Logics and Action Formalisms: First Results. Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter. Description Logics 2005. Web SearchBibTeXDownload |
| 45 | A Tableau Algorithm for DLs with Concrete Domains and GCIs. Carsten Lutz, Maja Milicic. Description Logics 2005. Web SearchBibTeXDownload |
| 44 | A new n-ary existential quantifier in description logics. Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen. Description Logics 2005. Web SearchBibTeXDownload |
| 43 | Pushing the EL Envelope. Franz Baader, Sebastian Brandt, Carsten Lutz. IJCAI 2005, 364-369. Web SearchBibTeXDownload |
| 42 | The complexity of finite model reasoning in description logics. Carsten Lutz, Ulrike Sattler, Lidia Tendera. Inf. Comput. (199): 132-171 (2005). Web SearchBibTeXDownload |
| 41 | Keys, Nominals, and Concrete Domains. Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler. J. Artif. Intell. Res. (JAIR) (23): 667-726 (2005). Web SearchBibTeXDownload |
| 40 | PDL with Negation of Atomic Programs. Carsten Lutz, Dirk Walther. Journal of Applied Non-Classical Logics (15): 189-213 (2005). Web SearchBibTeX |
| 39 | 2-ExpTime lower bounds for propositional dynamic logics with intersection. Martin Lange, Carsten Lutz. J. Symb. Log. (70): 1072-1086 (2005). Web SearchBibTeXDownload |
| 38 | A New n-Ary Existential Quantifier in Description Logics. Franz Baader, Eldar Karabaev, Carsten Lutz, Manfred Theißen. KI 2005, 18-33. Web SearchBibTeXDownload |
| 37 | A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. Carsten Lutz, Maja Milicic. TABLEAUX 2005, 201-216. Web SearchBibTeXDownload |
| 36 | Quantitative Temporal Logics: PSPACE and Below. Carsten Lutz, Dirk Walther, Frank Wolter. TIME 2005, 138-146. Web SearchBibTeXDownload |
| 2004 |
|---|
| 35 | NEXP TIME-complete description logics with concrete domains. Carsten Lutz. ACM Trans. Comput. Log. (5): 669-705 (2004). Web SearchBibTeXDownload |
| 34 | Combining interval-based temporal reasoning with general TBoxes. Carsten Lutz. Artif. Intell. (152): 235-274 (2004). Web SearchBibTeXDownload |
| 33 | E-connections of abstract description systems. Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. Artif. Intell. (156): 1-73 (2004). Web SearchBibTeXDownload |
| 32 | Mona as a DL Reasoner. Eldar Karabaev, Carsten Lutz. Description Logics 2004. Web SearchBibTeXDownload |
| 31 | Description Logics with Concrete Domains and Functional Dependencies. Carsten Lutz, Maja Milicic. ECAI 2004, 378-382. Web SearchBibTeX |
| 30 | PDL with Negation of Atomic Programs. Carsten Lutz, Dirk Walther. IJCAR 2004, 259-273. Web SearchBibTeXDownload |
| 29 | A Correspondence between Temporal Description Logics. Alessandro Artale, Carsten Lutz. Journal of Applied Non-Classical Logics (14): 209-233 (2004). Web SearchBibTeX |
| 28 | Temporalising Tableaux. Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. Studia Logica (76): 91-134 (2004). Web SearchBibTeXDownload |
| 2003 |
|---|
| 27 | The Complexity of Finite Model Reasoning in Description Logics. Carsten Lutz, Ulrike Sattler, Lidia Tendera. CADE 2003, 60-74. Web SearchBibTeXDownload |
| 26 | E-connections of Description Logics. Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. Description Logics 2003. Web SearchBibTeXDownload |
| 25 | Finite Model Reasoning in ALCQI is EXPTIME Logics. Carsten Lutz, Ulrike Sattler, Lidia Tendera. Description Logics 2003. Web SearchBibTeXDownload |
| 24 | Resasoning about Concepts and Similarity. Carsten Lutz, Frank Wolter, Michael Zakharyaschev. Description Logics 2003. Web SearchBibTeXDownload |
| 23 | Keys, Nominals, and Concrete Domains. Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler. IJCAI 2003, 349-354. Web SearchBibTeX |
| 22 | From Tableaux to Automata for Description Logics. Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter. LPAR (57): 247-279 (2003). Web SearchBibTeXDownload |
| 21 | A Tableau Algorithm for Reasoning about Concepts and Similarity. Carsten Lutz, Frank Wolter, Michael Zakharyaschev. TABLEAUX 2003, 134-149. Web SearchBibTeXDownload |
| 2002 |
|---|
| 20 | Description Logics with Concrete Domains-A Survey. Carsten Lutz. Advances in Modal Logic 2002, 265-296. Web SearchBibTeX |
| 19 | Fusions of Description Logics and Abstract Description Systems. Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter. J. Artif. Intell. Res. (JAIR) (16): 1-58 (2002). Web SearchBibTeXDownload |
| 18 | Adding Numbers to the SHIQ Description Logic: First Results. Carsten Lutz. KR 2002, 191-202. Web SearchBibTeX |
| 17 | PSpace Reasoning with the Description Logic ALCF(D). Carsten Lutz. Logic Journal of the IGPL (10): 535-568 (2002). Web SearchBibTeXDownload |
| 16 | A Tableau Decision Algorithm for Modalized ALC with Constant Domains. Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev. Studia Logica (72): 199-232 (2002). Web SearchBibTeXDownload |
| 2001 |
|---|
| 15 | Modal Logic and the Two-Variable Fragment. Carsten Lutz, Ulrike Sattler, Frank Wolter. CSL 2001, 247-261. Web SearchBibTeXDownload |
| 14 | Description Logics and the Two-Variable Fragment. Carsten Lutz, Ulrike Sattler, Frank Wolter. Description Logics 2001. Web SearchBibTeXDownload |
| 13 | Interval-based Temporal Reasoning with General TBoxes. Carsten Lutz. IJCAI 2001, 89-96. Web SearchBibTeX |
| 12 | NEXPTIME-Complete Description Logics with Concrete Domains. Carsten Lutz. IJCAR 2001, 45-60. Web SearchBibTeXDownload |
| 11 | Tableaux for Temporal Description Logic with Constant Domains. Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev. IJCAR 2001, 121-136. Web SearchBibTeXDownload |
| 2000 |
|---|
| 10 | The Complexity of Reasoning with Boolean Modal Logics. Carsten Lutz, Ulrike Sattler. Advances in Modal Logic 2000, 329-348. Web SearchBibTeX |
| 9 | Fusions of Description Logics. Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter. Description Logics 2000, 21-30. Web SearchBibTeXDownload |
| 8 | Mary Likes all Cats. Carsten Lutz, Ulrike Sattler. Description Logics 2000, 213-226. Web SearchBibTeXDownload |
| 1999 |
|---|
| 7 | A Correspondence between Temporal Description Logics. Alessandro Artale, Carsten Lutz. Description Logics 1999. Web SearchBibTeXDownload |
| 6 | A Suggestion for an n-ary Description Logic. Carsten Lutz, Ulrike Sattler, Stephan Tobies. Description Logics 1999. Web SearchBibTeXDownload |
| 5 | Reasoning with Concrete Domains. Carsten Lutz. IJCAI 1999, 90-95. Web SearchBibTeX |
| 4 | A Description Logic with Concrete Domains and a Role-forming Predicate Operator. Volker Haarslev, Carsten Lutz, Ralf Möller. J. Log. Comput. (9): 351-384 (1999). Web SearchBibTeXDownload |
| 3 | Complexity of Terminological Reasoning Revisited. Carsten Lutz. LPAR 1999, 181-200. Web SearchBibTeXDownload |
| 1998 |
|---|
| 2 | Foundations of Spatioterminological Reasoning with Description Logics. Volker Haarslev, Carsten Lutz, Ralf Möller. KR 1998, 112-123. Web SearchBibTeX |
| 1997 |
|---|
| 1 | Defined Topological Relations in Description Logics. Carsten Lutz, Ralf Möller. Description Logics 1997. Web SearchBibTeXDownload |
