Searching for authors named "Carsten Lutz" – sorted by Relevance.
80 documents found, showing 1 through 10.
Next 10 →
-
Interval-based Temporal Reasoning with General TBoxes
- …Interval-based Temporal Reasoning with General TBoxes Carsten Lutz LuFG Theoretical Computer…
- Cited by 16 (9 self) – Add To MetaCart
-
Reasoning with Concrete Domains
- … Domains Carsten Lutz RWTH Aachen, LuFg Theoretical Computer Science Ahornstr. 55, 52074 Aachen, Germany…
- Cited by 42 (8 self) – Add To MetaCart
-
Description Logics with Concrete Domains - A Survey
- …13 Description Logics with Concrete Domains|A Survey Carsten Lutz abstract. Description logics…
- Cited by 111 (25 self) – Add To MetaCart
-
Adding Numbers to the SHIQ Description Logic -- First Results
- … Numbers to the SHIQ Description Logic|First Results Carsten Lutz LTCS-Report 01-07 RWTH Aachen Lu…
- Cited by 10 (6 self) – Add To MetaCart
-
Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies
- … Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies Carsten Lutz Lu…
- Cited by 10 (7 self) – Add To MetaCart
-
Complexity of Terminological Reasoning Revisited
- …Complexity of Terminological Reasoning Revisited Carsten Lutz RWTH Aachen, LuFG Theoretical…
- Cited by 23 (5 self) – Add To MetaCart
-
Inverse roles make conjunctive queries hard
- …Inverse Roles Make Conjunctive Queries Hard Carsten Lutz Institute for Theoretical Computer…
- Cited by 7 (2 self) – Add To MetaCart
-
Two Upper Bounds for Conjunctive Query Answering in SHIQ
- …Two Upper Bounds for Conjunctive Query Answering in SHIQ Carsten Lutz Institut für Theoretische…
- Cited by 2 (0 self) – Add To MetaCart
-
Concrete Domains and Nominals United
- …@(email omitted);. nl Carsten Lutz Technical University Dresden Germany lutz@tcs. inf.tu-dresden.de Abstract While…
- Cited by 3 (1 self) – Add To MetaCart
-
PDL with Negation of Atomic Programs
- … Theory LTCS-Report PDL with Negation of Atomic Programs Carsten Lutz, Dirk Walther LTCS-Report 03…
- Cited by 7 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
