Has author Michael Zakharyaschev
From Tetherless World Wiki
A list of all pages that have property "Has author" with value "Michael Zakharyaschev"Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
- DL-Lite in the Light of First-Order Logic +
- Reasoning about distances +
- Multi-Dimensional Description Logics +
- On the Decidability of Description Logics with Modal Operators +
- A Note on Relativised Products of Modal Logics +
- Canonical Formulas for K4, Part I: Basic Results +
- Temporal Description Logics: A Survey +
- Temporalising Tractable Description Logics +
- Conservative extensions in modal logic +
- E-connections of abstract description systems +
- Temporalising Tableaux +
- E-connections of Description Logics +
- Resasoning about Concepts and Similarity +
- A Tableau Algorithm for Reasoning about Concepts and Similarity +
- A Tableau Decision Algorithm for Modalized ALC with Constant Domains +
- Tableaux for Temporal Description Logic with Constant Domains +
- Checking DL-Lite Modularity with QBF Solvers +
- Can You Tell the Difference Between DL-Lite Ontologies? +
- On the Computational Complexity of Spatial Logics with Connectedness Constraints +
- Undecidability of the unification and admissibility problems for modal and description logics +
- Modularity in DL-Lite +
