Has author Boris Konev
From Tetherless World Wiki
A list of all pages that have property "Has author" with value "Boris Konev"- CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL +
- Tractable Temporal Reasoning +
- Logical Difference and Module Extraction with CEX and MEX +
- The Logical Difference Problem for Description Logic Terminologies +
- Dynamic topological logics over spaces with continuous functions +
- On Dynamic Topological and Metric Logics +
- Temporal Logics over Transitive States +
