Has author Carsten Lutz
From Tetherless World Wiki
A list of all pages that have property "Has author" with value "Carsten Lutz"Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
- Keys, Nominals, and Concrete Domains +
- Conjunctive Query Answering for the Description Logic SHIQ +
- Keys, Nominals, and Concrete Domains (Journal) +
- Pushing the EL Envelope Further +
- CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL +
- Integrating Description Logics and Action Formalisms: First Results +
- The Complexity of Enriched Mu-Calculi +
- Pushing the EL Envelope +
- Interval-based Temporal Reasoning with General TBoxes +
- Reasoning with Concrete Domains +
- Conservative Extensions in Expressive Description Logics +
- A Description Logic of Change +
- Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics +
- The complexity of finite model reasoning in description logics +
- The Complexity of Finite Model Reasoning in Description Logics +
- Finite Model Reasoning in ALCQI is EXPTIME Logics +
- Modal Logic and the Two-Variable Fragment +
- Description Logics and the Two-Variable Fragment +
- The Complexity of Reasoning with Boolean Modal Logics +
- Mary Likes all Cats +
- A Suggestion for an n-ary Description Logic +
