Searching for authors named "Roman Kontchakov" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
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
Showing 1 through 6.
