| 2007 |
|---|
| 11 | | Alessandro Artale,
Diego Calvanese,
Roman Kontchakov,
Michael Zakharyaschev:
DL-Lite in the Light of First-Order Logic.
AAAI 2007: 361-366 |
| 10 | EE | Alessandro Artale,
Diego Calvanese,
Roman Kontchakov,
V. Ryzhikov,
Michael Zakharyaschev:
Reasoning over Extended ER Models.
ER 2007: 277-292 |
| 9 | | Alessandro Artale,
Diego Calvanese,
Roman Kontchakov,
Michael Zakharyaschev:
Query Answering in Expressive Variants of DL-Lite.
SEBD 2007: 250-257 |
| 8 | EE | Alessandro Artale,
Roman Kontchakov,
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev:
Temporalising Tractable Description Logics.
TIME 2007: 11-22 |
| 2006 |
|---|
| 7 | EE | Boris Konev,
Roman Kontchakov,
Frank Wolter,
Michael Zakharyaschev:
Dynamic topological logics over spaces with continuous functions.
Advances in Modal Logic 2006: 299-318 |
| 6 | EE | Boris Konev,
Roman Kontchakov,
Frank Wolter,
Michael Zakharyaschev:
On Dynamic Topological and Metric Logics.
Studia Logica 84(1): 129-160 (2006) |
| 2005 |
|---|
| 5 | EE | Roman Kontchakov,
Agi Kurucz,
Michael Zakharyaschev:
Undecidability of first-order intuitionistic and modal logics with two variables.
Bulletin of Symbolic Logic 11(3): 428- (2005) |
| 4 | EE | David Gabelaia,
Roman Kontchakov,
Ágnes Kurucz,
Frank Wolter,
Michael Zakharyaschev:
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity.
J. Artif. Intell. Res. (JAIR) 23: 167-243 (2005) |
| 2004 |
|---|
| 3 | EE | Roman Kontchakov,
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev:
Temporalising Tableaux.
Studia Logica 76(1): 91-134 (2004) |
| 2003 |
|---|
| 2 | | David Gabelaia,
Roman Kontchakov,
Agi Kurucz,
Frank Wolter,
Michael Zakharyaschev:
On the Computational Complexity of Spatio-Temporal Logics.
FLAIRS Conference 2003: 460-464 |
| 1 | EE | Ian M. Hodkinson,
Roman Kontchakov,
Agi Kurucz,
Frank Wolter,
Michael Zakharyaschev:
On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics.
TIME 2003: 91-98 |
