Lutz, Carsten, 1971-....
Carsten Lutz
Lutz, Carsten
VIAF ID: 7220427 ( Personal )
Permalink: http://viaf.org/viaf/7220427
Preferred Forms
- 100 0 _ ‡a Carsten Lutz
-
-
- 100 1 _ ‡a Lutz, Carsten ‡d 1971-
- 100 1 _ ‡a Lutz, Carsten ‡d 1971-
- 100 1 _ ‡a Lutz, Carsten, ‡d 1971-
-
-
-
- 100 1 _ ‡a Lutz, Carsten, ‡d 1971-....
4xx's: Alternate Name Forms (3)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Adding Numbers to the SHIQ Description Logic - First Results | |
Complexity and Succinctness of Public Announcement Logic | |
complexity of description logics with concrete domains | |
Complexity of Reasoning with Boolean Modal Logics Extended Version | |
A concept language with role forming predicate restrictions | |
Conjunctive query answering under existential rules : decidability, complexity and algorithms | |
Counting queries in ontology-based data access | |
Description Logic Actions with general TBoxes a Pragmatic Approach | |
Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday | |
Expressive Non-Monotonic Description Logics Based on Circumscription | |
Integrating Description Logics and Action Formalisms for Reasoning about Web Services | |
Interrogation de bases de connaissances avec des règles expressives : décidabilité, complexité et algorithmes. | |
Interval-based Temporal Reasoning with General TBoxes | |
An introduction to description logic, 2017: | |
Keys, Nominals, and Concrete Domains | |
Logics in artificial intelligence, 2008: | |
Modal Logic and the two-variable fragment Revised Version | |
Modal Logics of Topological Relations | |
A New n-ary Existential Quantifier in Description Logics | |
PDL with Intersection and Converse is Decidable | |
PDL with Negation of Atomic Programs | |
Pushing the EL Envelope | |
Quantitative Temporal Logics PSpace and below | |
Raisonnement sur mots et arbres avec données. | |
Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies | |
Reasoning on words and trees with data | |
Requêtes de comptage pour l’accès aux données en présence d’ontologies. | |
Spatioterminological reasoning based on geometric inferences the ALCRP(D) approach | |
A Tableau Calculus for Temporal Description Logic The Constant Domain Case. | |
Temporal representation and reasoning | |
TIME 2009 | |
Untersuchungen zu Teil-Ganzes-Relationen Modellierungsanforderungen und Realisierung in Beschreibungslogiken |