Has author Frank Wolter
From Tetherless World Wiki
A list of all pages that have property "Has author" with value "Frank Wolter"Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
- CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL +
- Integrating Description Logics and Action Formalisms: First Results +
- Reasoning about distances +
- Multi-Dimensional Description Logics +
- Conservative Extensions in Expressive Description Logics +
- The product of converse PDL and polymodal K +
- Solution to a Problem of Goranko and Passy +
- On the Decidability of Description Logics with Modal Operators +
- A Counterexample in Tense Logic +
- Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics +
- Modal Logic and the Two-Variable Fragment +
- Description Logics and the Two-Variable Fragment +
- Logical Difference and Module Extraction with CEX and MEX +
- Temporal Description Logics: A Survey +
- Conservative Extensions in the Lightweight Description Logic EL +
- Temporalising Tractable Description Logics +
- Quantitative temporal logics over the reals: PSpace and below +
- Conservative extensions in modal logic +
- DL Actions with GCIs: a Pragmatic Approach +
- Reasoning About Actions Using Description Logics with General TBoxes +
- Description Logics with Circumscription +
