Roman Kontchakov Vis

*	2009
25	EE	Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: Adding Weight to DL-Lite. Description Logics 2009
24	EE	Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev: Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. Description Logics 2009
23	EE	Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: DL-Lite without UNA. Description Logics 2009
22	EE	Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Extending DL-Lite Sometime in the Future. Description Logics 2009
21	EE	Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: DL-Lite with Temporalised Concepts, Rigid Axioms and Roles. FroCos 2009: 133-148
20	EE	Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev: Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. IJCAI 2009: 836-841
	2008
19	EE	Roman Kontchakov, Michael Zakharyaschev: DL-Lite and Role Inclusions. ASWC 2008: 16-30
18	EE	Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: Topology, connectedness, and modal logic. Advances in Modal Logic 2008: 151-176
17	EE	Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev: Checking DL-Lite Modularity with QBF Solvers. Description Logics 2008
16		Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Can You Tell the Difference Between DL-Lite Ontologies?. KR 2008: 285-295
15	EE	Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Spatial Logics with Connectedness Constraints. LPAR 2008: 574-589
	2007
14		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: DL-Lite in the Light of First-Order Logic. AAAI 2007: 361-366
13	EE	Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Complexity of Reasoning in Entity Relationship Models. Description Logics 2007
12	EE	Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Modularity in DL-Lite. Description Logics 2007
11	EE	Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Reasoning over Extended ER Models. ER 2007: 277-292
10		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: Query Answering in Expressive Variants of DL-Lite. SEBD 2007: 250-257
9	EE	Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporalising Tractable Description Logics. TIME 2007: 11-22
8	EE	Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Spatial Logic + Temporal Logic = ?. Handbook of Spatial Logics 2007: 497-564
	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

Coauthor Index

1	Alessandro Artale	[9] [10] [11] [13] [14] [21] [22] [23] [25]
2	Diego Calvanese	[10] [11] [13] [14] [23] [25]
3	David Gabelaia	[2] [4]
4	Ian M. Hodkinson	[1]
5	Boris Konev	[6] [7]
6	Ágnes Kurucz (Agi Kurucz)	[1] [2] [4] [5] [8]
7	Carsten Lutz	[3] [9] [24]
8	Ian Pratt-Hartmann (Ian E. Pratt)	[15] [18]
9	Luca Pulina	[20]
10	Vladislav Ryzhikov	[11] [13] [17] [21] [22]
11	Ulrike Sattler	[20]
12	Thomas Schneider	[20]
13	Petra Selmer	[20]
14	David Toman	[24]
15	Frank Wolter	[1] [2] [3] [4] [6] [7] [8] [9] [12] [15] [16] [17] [18] [20] [24]
16	Michael Zakharyaschev	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25]