Has author Dirk Walther
From Tetherless World Wiki
A list of all pages that have property "Has author" with value "Dirk Walther"- CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL +
- Conservative Extensions in Expressive Description Logics +
- Logical Difference and Module Extraction with CEX and MEX +
- Quantitative temporal logics over the reals: PSpace and below +
- ATL Satisfiability is Indeed EXPTIME-complete +
- Quantitative Temporal Logics: PSPACE and Below +
- PDL with Negation of Atomic Programs +
- The Logical Difference Problem for Description Logic Terminologies +
