Carsten Lutz - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Status QIO: An UpdateBirte Glimm, Yevgeny Kazakov, Carsten Lutz. dlog 2011: [doi]

A Closer Look at the Probabilistic Description Logic Prob-ELVíctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder. AAAI 2011: [doi]

The Complexity of Probabilistic ELJean Christoph Jung, Víctor Gutiérrez-Basulto, Carsten Lutz, Lutz Schröder. dlog 2011: [doi]

The Combined Approach to Ontology-Based Data AccessRoman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev. IJCAI 2011: 2656-2661 [doi]

Foundations for Uniform Interpolation and Forgetting in Expressive Description LogicsCarsten Lutz, Frank Wolter. IJCAI 2011: 989-995 [doi]

Non-Uniform Data Complexity of Query Answering in Description LogicsCarsten Lutz, Frank Wolter. dlog 2011: [doi]

Description Logic TBoxes: Model-Theoretic Characterizations and RewritabilityCarsten Lutz, Robert Piro, Frank Wolter. IJCAI 2011: 983-988 [doi]

2010

Small is Again Beautiful in Description LogicsFranz Baader, Carsten Lutz, Anni-Yasmin Turhan. ki, 24(1):25-33, 2010. [doi]

Query and Predicate Emptiness in Description LogicsFranz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter. kr 2010: [doi]

Query Answering in the Description Logic SMeghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus. dlog 2010: [doi]

Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and ReasoningLeonardo Mendonça de Moura, Carsten Lutz, Monica M. C. Schraefel, Bernhard Nebel. kr 2010: [doi]

Decomposing Description Logic OntologiesBoris Konev, Carsten Lutz, Denis Ponomaryov, Frank Wolter. kr 2010: [doi]

The Combined Approach to Query Answering in DL-LiteRoman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev. kr 2010: [doi]

Enriching [Escr ][Lscr ]-Concepts with Greatest FixpointsCarsten Lutz, Robert Piro, Frank Wolter. ecai 2010: 41-46 [doi]

EL-Concepts go Second-Order: Greatest Fixpoints and Simulation QuantifiersCarsten Lutz, Robert Piro, Frank Wolter. dlog 2010: [doi]

Deciding inseparability and conservative extensions in the description logic ELCarsten Lutz, Frank Wolter. JSC, 45(2):194-228, 2010. [doi]

Probabilistic Description Logics for Subjective UncertaintyCarsten Lutz, Lutz Schröder. kr 2010: [doi]

2009

Query Answering over DL ABoxes: How to Pick the Relevant SymbolsFranz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter. dlog 2009: [doi]

The Complexity of Circumscription in DLsPiero A. Bonatti, Carsten Lutz, Frank Wolter. jair, 35:717-773, 2009. [doi]

Query Answering in Description Logics with Transitive RolesThomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus. IJCAI 2009: 759-764 [doi]

Query Answering in Description Logics: The Knots ApproachThomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus. wollic 2009: 26-36 [doi]

PDL with intersection and converse: satisfiability and infinite-state model checkingStefan Göller, Markus Lohrey, Carsten Lutz. JSYML, 74(1):279-314, 2009. [doi]

Formal Properties of ModularisationBoris Konev, Carsten Lutz, Dirk Walther, Frank Wolter. In Heiner Stuckenschmidt, Christine Parent, Stefano Spaccapietra, editors, Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization. Volume 5445 of Lecture Notes in Computer Science, pages 25-66, Springer, 2009. [doi]

Combined FO Rewritability for Conjunctive Query Answering in DL-LiteRoman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev. dlog 2009: [doi]

TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, ProceedingsCarsten Lutz, Jean-FranÃ§ois Raskin, editors, IEEE Computer Society, 2009.

Conjunctive Query Answering in the Description Logic EL Using a Relational Database SystemCarsten Lutz, David Toman, Frank Wolter. IJCAI 2009: 2070-2075 [doi]

Mathematical Logic for Life Science OntologiesCarsten Lutz, Frank Wolter. wollic 2009: 37-47 [doi]

The complexity of query containment in expressive fragments of XPath 2.0Balder ten Cate, Carsten Lutz. JACM, 56(6), 2009. [doi]

2008

Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008Franz Baader, Carsten Lutz, Boris Motik, editors, Volume 353 of CEUR Workshop Proceedings, CEUR-WS.org, 2008.

LTL over Description Logic AxiomsFranz Baader, Silvio Ghilardi, Carsten Lutz. kr 2008: 684-694

LTL over Description Logic AxiomsFranz Baader, Silvio Ghilardi, Carsten Lutz. dlog 2008: [doi]

The Complexity of Enriched Mu-CalculiPiero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi. lmcs, 4(3), 2008. [doi]

Conjunctive Query Answering for the Description Logic SHIQBirte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler. jair, 31:157-204, 2008. [doi]

Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxesChristoph Haase, Carsten Lutz. ecai 2008: 25-29 [doi]

Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. ProceedingsSteffen Hölldobler, Carsten Lutz, Heinrich Wansing, editors, Volume 5293 of Lecture Notes in Computer Science, Springer, 2008.

Logical Difference and Module Extraction with CEX and MEXBoris Konev, Carsten Lutz, Dirk Walther, Frank Wolter. dlog 2008: [doi]

Semantic Modularity and Module Extraction in Description LogicsBoris Konev, Carsten Lutz, Dirk Walther, Frank Wolter. ecai 2008: 55-59 [doi]

The Projection Problem for EL ActionsHongkai Liu, Carsten Lutz, Maja Milicic. dlog 2008: [doi]

Two Upper Bounds for Conjunctive Query Answering in SHIQCarsten Lutz. dlog 2008: [doi]

The Complexity of Conjunctive Query Answering in Expressive Description LogicsCarsten Lutz. cade 2008: 179-193 [doi]

Conjunctive Query Answering in EL using a Database SystemCarsten Lutz, David Toman, Frank Wolter. owled 2009: [doi]

Temporal Description Logics: A SurveyCarsten Lutz, Frank Wolter, Michael Zakharyaschev. time 2008: 3-14 [doi]

2007

A Description Logic of ChangeAlessandro Artale, Carsten Lutz, David Toman. IJCAI 2007: 218-223 [doi]

Temporalising Tractable Description LogicsAlessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. time 2007: 11-22 [doi]

Conjunctive Query Answering for the Description Logic SHIQBirte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler. IJCAI 2007: 399-404 [doi]

PDL with Intersection and Converse is 2EXP-completeStefan Göller, Markus Lohrey, Carsten Lutz. dagstuhl 2008: [doi]

PDL with Intersection and Converse Is 2 EXP-CompleteStefan Göller, Markus Lohrey, Carsten Lutz. fossacs 2007: 198-212 [doi]

Data Complexity in the EL family of DLsAdila Krisnadhi, Carsten Lutz. dlog 2007: [doi]

Data Complexity in the ::::EL:::: Family of Description LogicsAdila Krisnadhi, Carsten Lutz. lpar 2007: 333-347 [doi]

Inverse Roles Make Conjunctive Queries HardCarsten Lutz. dlog 2007: [doi]

Quantitative temporal logics over the reals: PSpace and belowCarsten Lutz, Dirk Walther, Frank Wolter. iandc, 205(1):99-123, 2007. [doi]

A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxesCarsten Lutz, Maja Milicic. JAR, 38(1-3):227-259, 2007. [doi]

Conservative Extensions in the Lightweight Description Logic ELCarsten Lutz, Frank Wolter. cade 2007: 84-99 [doi]

Conservative Extensions in Expressive Description LogicsCarsten Lutz, Dirk Walther, Frank Wolter. IJCAI 2007: 453-458 [doi]

Propositional dynamic logic with recursive programsChristof Löding, Carsten Lutz, Olivier Serre. jlp, 73(1-2):51-69, 2007. [doi]

The complexity of query containment in expressive fragments of XPath 2.0Balder ten Cate, Carsten Lutz. pods 2007: 73-82 [doi]

2006

A Description Logic of ChangeAlessandro Artale, Carsten Lutz, David Toman. dlog 2006: [doi]

Efficient Reasoning in ::::EL+::::Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn. dlog 2006: [doi]

CEL - A Polynomial-Time Reasoner for Life Science OntologiesFranz Baader, Carsten Lutz, Boontawee Suntisrivaraporn. cade 2006: 287-291 [doi]

The Complexity of Enriched ::::µ::::-CalculiPiero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi. icalp 2006: 540-551 [doi]

Description Logics with CircumscriptionPiero A. Bonatti, Carsten Lutz, Frank Wolter. kr 2006: 400-410

Conservative extensions in modal logicSilvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. aiml 2006: 187-207 [doi]

Did I Damage My Ontology? A Case for Conservative Extensions in Description LogicsSilvio Ghilardi, Carsten Lutz, Frank Wolter. kr 2006: 187-197

Updating Description Logic ABoxesHongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter. kr 2006: 46-56

Reasoning About Actions Using Description Logics with General TBoxesHongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter. jelia 2006: 266-279 [doi]

DL Actions with GCIs: a Pragmatic ApproachHongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter. dlog 2006: [doi]

Complexity and succinctness of public announcement logicCarsten Lutz. atal 2006: 137-143 [doi]

Modal Logics of Topological RelationsCarsten Lutz, Frank Wolter. lmcs, 2(2), 2006. [doi]

Reasoning Support for Ontology DesignCarsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris. owled 2006: [doi]

ATL Satisfiability is Indeed EXPTIME-completeDirk Walther, Carsten Lutz, Frank Wolter, Michael Wooldridge. logcom, 16(6):765-787, 2006. [doi]

2005

Pushing the EL EnvelopeFranz Baader, Sebastian Brandt, Carsten Lutz. IJCAI 2005: 364-369 [doi]

A New ::::n::::-Ary Existential Quantifier in Description LogicsFranz Baader, Eldar Karabaev, Carsten Lutz, Manfred Theißen. ki 2005: 18-33 [doi]

Integrating Description Logics and Action Formalisms: First ResultsFranz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter. dlog 2005: [doi]

Integrating Description Logics and Action Formalisms: First ResultsFranz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter. AAAI 2005: 572-577

A new ::::n::::-ary existential quantifier in description logicsFranz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen. dlog 2005: [doi]

2-ExpTime lower bounds for propositional dynamic logics with intersectionMartin Lange, Carsten Lutz. JSYML, 70(4):1072-1086, 2005. [doi]

PDL with Intersection and Converse Is DecidableCarsten Lutz. csl 2005: 413-427 [doi]

A Tableau Algorithm for DLs with Concrete Domains and GCIsCarsten Lutz, Maja Milicic. dlog 2005: [doi]

Keys, Nominals, and Concrete DomainsCarsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler. jair, 23:667-726, 2005. [doi]

PDL with Negation of Atomic ProgramsCarsten Lutz, Dirk Walther. jancl, 15(2):189-213, 2005.

The complexity of finite model reasoning in description logicsCarsten Lutz, Ulrike Sattler, Lidia Tendera. iandc, 199(1-2):132-171, 2005. [doi]

Quantitative Temporal Logics: PSPACE and BelowCarsten Lutz, Dirk Walther, Frank Wolter. time 2005: 138-146 [doi]

A Tableau Algorithm for Description Logics with Concrete Domains and GCIsCarsten Lutz, Maja Milicic. tableaux 2005: 201-216 [doi]

2004

A Correspondence between Temporal Description LogicsAlessandro Artale, Carsten Lutz. jancl, 14(1-2):209-233, 2004.

Mona as a DL ReasonerEldar Karabaev, Carsten Lutz. dlog 2004: [doi]

Temporalising TableauxRoman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. sLogica, 76(1):91-134, 2004. [doi]

E-connections of abstract description systemsOliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. ai, 156(1):1-73, 2004. [doi]

PDL with Negation of Atomic ProgramsCarsten Lutz, Dirk Walther. cade 2004: 259-273 [doi]

Description Logics with Concrete Domains and Functional DependenciesCarsten Lutz, Maja Milicic. ecai 2004: 378-382

NEXP TIME-complete description logics with concrete domainsCarsten Lutz. tocl, 5(4):669-705, 2004. [doi]

Combining interval-based temporal reasoning with general TBoxesCarsten Lutz. ai, 152(2):235-274, 2004. [doi]

2003

From Tableaux to Automata for Description LogicsFranz Baader, Jan Hladik, Carsten Lutz, Frank Wolter. FUIN, 57(2-4):247-279, 2003. [doi]

From Tableaux to Automata for Description LogicsFranz Baader, Jan Hladik, Carsten Lutz, Frank Wolter. lpar 2003: 1-32 [doi]

Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), Hamburg, Germany, September 15-16, 2003François Bry, Carsten Lutz, Ulrike Sattler, Mareike Schoop, editors, Volume 79 of CEUR Workshop Proceedings, CEUR-WS.org, 2003.

E-connections of Description LogicsOliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. dlog 2003: [doi]

Keys, Nominals, and Concrete DomainsCarsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler. IJCAI 2003: 349-354

Resasoning about Concepts and SimilarityCarsten Lutz, Frank Wolter, Michael Zakharyaschev. dlog 2003: [doi]

A Tableau Algorithm for Reasoning about Concepts and SimilarityCarsten Lutz, Frank Wolter, Michael Zakharyaschev. tableaux 2003: 134-149 [doi]

The Complexity of Finite Model Reasoning in Description LogicsCarsten Lutz, Ulrike Sattler, Lidia Tendera. cade 2003: 60-74 [doi]

Finite Model Reasoning in ALCQI is EXPTIME LogicsCarsten Lutz, Ulrike Sattler, Lidia Tendera. dlog 2003: [doi]

PreviousNext