Searching for authors named "Roman Kontchakov" – sorted by Relevance.
-
Can you tell the difference between DL-Lite ontologies
- Can you Tell the Difference between DL-Lite Ontologies? Roman Kontchakov School of Computer
- Cited by 3 (2 self) – Add To MetaCart
-
Undecidability of first-order intuitionistic and modal logics with two variables
- UNDECIDABILITY OF FIRST-ORDER INTUITIONISTIC AND MODAL LOGICS WITH TWO VARIABLES ROMAN KONTCHAKOV
- Cited by 3 (1 self) – Add To MetaCart
-
Modularity in DL-Lite
- Modularity in DL-Lite Roman Kontchakov 1 , Frank Wolter 2 , and Michael Zakharyaschev 1 1 School
- Cited by 2 (2 self) – Add To MetaCart
-
Temporalising Tableaux
- Temporalising tableaux Roman Kontchakov, 1 Carsten Lutz, 2 Frank Wolter, 3 and Michael
- Cited by 14 (4 self) – Add To MetaCart
-
Combining Spatial and Temporal Logics: Expressiveness Vs. Complexity
- @(email omitted); Roman Kontchakov romanvk@(email omitted); Agi Kurucz kuag@(email omitted); Department of Computer Science
- Cited by 12 (7 self) – Add To MetaCart
-
On the computational complexity of decidable fragments of first-order linear temporal logics
- Hodkinson,1 Roman Kontchakov,2 Agi Kurucz,2Frank Wolter, 3 and Michael Zakharyaschev2 1Department
- Cited by 8 (5 self) – Add To MetaCart

