| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter |
Fusions of Description Logics and Abstract Description Systems  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler |
Conjunctive Query Answering for the Description Logic SHIQ |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Frank Wolter |
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Robert Piro, Frank Wolter |
Description Logic TBoxes: Model-theoretic Characterizations and Rewritability |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter |
Foundations of instance level updates in expressive description logics. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Robert Piro, Frank Wolter |
Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev |
The Combined Approach to Ontology-Based Data Access. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Frank Wolter |
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jean Christoph Jung, Víctor Gutiérrez-Basulto, Carsten Lutz, Lutz Schröder |
The Complexity of Probabilistic EL. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Frank Wolter |
Non-Uniform Data Complexity of Query Answering in Description Logics. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Birte Glimm, Yevgeny Kazakov, Carsten Lutz |
Status QIO: An Update. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder |
A Closer Look at the Probabilistic Description Logic Prob-EL. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Frank Wolter |
Deciding inseparability and conservative extensions in the description logic EL. |
J. Symb. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Carsten Lutz, Anni-Yasmin Turhan |
Small is Again Beautiful in Description Logics. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Robert Piro, Frank Wolter |
Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints. |
ECAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus |
Query Answering in the Description Logic S. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Robert Piro, Frank Wolter |
EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
Query and Predicate Emptiness in Description Logics. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Carsten Lutz, Denis Ponomaryov, Frank Wolter |
Decomposing Description Logic Ontologies. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Lutz Schröder |
Probabilistic Description Logics for Subjective Uncertainty. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Leonardo Mendonça de Moura, Carsten Lutz, Monica M. C. Schraefel, Bernhard Nebel |
Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev |
The Combined Approach to Query Answering in DL-Lite. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stefan Göller, Markus Lohrey, Carsten Lutz |
PDL with intersection and converse: satisfiability and infinite-state model checking. |
J. Symb. Log. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Balder ten Cate, Carsten Lutz |
The complexity of query containment in expressive fragments of XPath 2.0. |
J. ACM |
2009 |
DBLP DOI BibTeX RDF |
XML, complexity, satisfiability, XPath, containment |
| 1 | Piero A. Bonatti, Carsten Lutz, Frank Wolter |
The Complexity of Circumscription in DLs. |
J. Artif. Intell. Res. (JAIR) |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter |
Formal Properties of Modularisation. |
Modular Ontologies |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Frank Wolter |
Mathematical Logic for Life Science Ontologies. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus |
Query Answering in Description Logics: The Knots Approach. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Jean-François Raskin (eds.) |
TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings |
TIME |
2009 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, David Toman, Frank Wolter |
Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus |
Query Answering in Description Logics with Transitive Roles. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
Query Answering over DL ABoxes: How to Pick the Relevant Symbols. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev |
Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi |
The Complexity of Enriched Mu-Calculi. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi |
The Complexity of Enriched Mu-Calculi |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler |
Conjunctive Query Answering for the Description Logic SHIQ. |
J. Artif. Intell. Res. (JAIR) |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz |
The Complexity of Conjunctive Query Answering in Expressive Description Logics. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
Temporal Description Logics: A Survey. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Haase, Carsten Lutz |
Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter |
Semantic Modularity and Module Extraction in Description Logics. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Silvio Ghilardi, Carsten Lutz |
LTL over Description Logic Axioms. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Hongkai Liu, Carsten Lutz, Maja Milicic |
The Projection Problem for EL Actions. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz |
Two Upper Bounds for Conjunctive Query Answering in SHIQ. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Carsten Lutz, Boris Motik (eds.) |
Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008 |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter |
Logical Difference and Module Extraction with CEX and MEX. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Steffen Hölldobler, Carsten Lutz, Heinrich Wansing (eds.) |
Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings |
JELIA |
2008 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, David Toman, Frank Wolter |
Conjunctive Query Answering in EL using a Database System. |
OWLED |
2008 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Silvio Ghilardi, Carsten Lutz |
LTL over Description Logic Axioms. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Christof Löding, Carsten Lutz, Olivier Serre |
Propositional dynamic logic with recursive programs. |
J. Log. Algebr. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Dirk Walther 0002, Frank Wolter |
Quantitative temporal logics over the reals: PSpace and below. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Maja Milicic |
A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes. |
J. Autom. Reasoning |
2007 |
DBLP DOI BibTeX RDF |
concrete domains, tableau algorithm, description logic, decidability |
| 1 | Carsten Lutz, Frank Wolter |
Conservative Extensions in the Lightweight Description Logic EL. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
Temporalising Tractable Description Logics. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Dirk Walther 0002, Frank Wolter |
Conservative Extensions in Expressive Description Logics. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler |
Conjunctive Query Answering for the Description Logic SHIQ. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Artale, Carsten Lutz, David Toman |
A Description Logic of Change. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Adila Krisnadhi, Carsten Lutz |
Data Complexity in the EL Family of Description Logics. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz |
Inverse Roles Make Conjunctive Queries Hard. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Adila Krisnadhi, Carsten Lutz |
Data Complexity in the EL family of DLs. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stefan Göller, Markus Lohrey, Carsten Lutz |
PDL with Intersection and Converse is 2EXP-complete. |
Algorithmic-Logical Theory of Infinite Structures |
2007 |
DBLP BibTeX RDF |
|
| 1 | Balder ten Cate, Carsten Lutz |
The complexity of query containment in expressive fragments of XPath 2.0. |
PODS |
2007 |
DBLP DOI BibTeX RDF |
XML, complexity, satisfiability, XPath, containment |
| 1 | Stefan Göller, Markus Lohrey, Carsten Lutz |
PDL with Intersection and Converse Is 2 EXP-Complete. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Frank Wolter |
Modal Logics of Topological Relations. |
Logical Methods in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Walther 0002, Carsten Lutz, Frank Wolter, Michael Wooldridge |
ATL Satisfiability is Indeed EXPTIME-complete. |
J. Log. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Frank Wolter |
Modal Logics of Topological Relations |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
Conservative extensions in modal logic. |
Advances in Modal Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn |
CEL - A Polynomial-Time Reasoner for Life Science Ontologies. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi |
The Complexity of Enriched µ-Calculi. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn |
Efficient Reasoning in EL+. |
Description Logics |
2006 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Artale, Carsten Lutz, David Toman |
A Description Logic of Change. |
Description Logics |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter |
DL Actions with GCIs: a Pragmatic Approach. |
Description Logics |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter |
Reasoning About Actions Using Description Logics with General TBoxes. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten 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 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Carsten Lutz, Frank Wolter |
Description Logics with Circumscription. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter |
Updating Description Logic ABoxes. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Silvio Ghilardi, Carsten Lutz, Frank Wolter |
Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz |
Complexity and succinctness of public announcement logic. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
public announcement, computational complexity, dynamic epistemic logic, logics for agent systems |
| 1 | Carsten Lutz, Dirk Walther 0002 |
PDL with Negation of Atomic Programs. |
Journal of Applied Non-Classical Logics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Ulrike Sattler, Lidia Tendera |
The complexity of finite model reasoning in description logics. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Lange, Carsten Lutz |
2-ExpTime lower bounds for propositional dynamic logics with intersection. |
J. Symb. Log. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler |
Keys, Nominals, and Concrete Domains. |
J. Artif. Intell. Res. (JAIR) |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Dirk Walther 0002, Frank Wolter |
Quantitative Temporal Logics: PSPACE and Below. |
TIME |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Sebastian Brandt, Carsten Lutz |
Pushing the EL Envelope. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Maja Milicic |
A Tableau Algorithm for DLs with Concrete Domains and GCIs. |
Description Logics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen |
A new n-ary existential quantifier in description logics. |
Description Logics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter |
Integrating Description Logics and Action Formalisms: First Results. |
Description Logics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Maja Milicic |
A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz |
PDL with Intersection and Converse Is Decidable. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Eldar Karabaev, Carsten Lutz, Manfred Theißen |
A New n-Ary Existential Quantifier in Description Logics. |
KI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter |
Integrating Description Logics and Action Formalisms: First Results. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Artale, Carsten Lutz |
A Correspondence between Temporal Description Logics. |
Journal of Applied Non-Classical Logics |
2004 |
DBLP BibTeX RDF |
|
| 1 | Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
Temporalising Tableaux. |
Studia Logica |
2004 |
DBLP DOI BibTeX RDF |
monodic fragment, tableau algorithm, first-order temporal logic |
| 1 | Carsten Lutz |
Combining interval-based temporal reasoning with general TBoxes. |
Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
E-connections of abstract description systems. |
Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz |
NEXP TIME-complete description logics with concrete domains. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
NExpTime-completeness, concrete domains, domino problem, Computational complexity, description logic, post correspondence problem |
| 1 | Carsten Lutz, Dirk Walther 0002 |
PDL with Negation of Atomic Programs. |
IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Maja Milicic |
Description Logics with Concrete Domains and Functional Dependencies. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Eldar Karabaev, Carsten Lutz |
Mona as a DL Reasoner. |
Description Logics |
2004 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter |
From Tableaux to Automata for Description Logics. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Ulrike Sattler, Lidia Tendera |
The Complexity of Finite Model Reasoning in Description Logics. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")