Michael Zakharyaschev

	2009
91		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: Adding Weight to DL-Lite. Description Logics 2009
90		Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev: Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. Description Logics 2009
89		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: DL-Lite without UNA. Description Logics 2009
88		Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Extending DL-Lite Sometime in the Future. Description Logics 2009
87		Ulrike Sattler, Thomas Schneider, Michael Zakharyaschev: Which Kind of Module Should I Extract? Description Logics 2009
86		Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: DL-Lite with Temporalised Concepts, Rigid Axioms and Roles. FroCos 2009: 133-148
85		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
84		Roman Kontchakov, Michael Zakharyaschev: DL-Lite and Role Inclusions. ASWC 2008: 16-30
83		Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: Topology, connectedness, and modal logic. Advances in Modal Logic 2008: 151-176
82		Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev: Checking DL-Lite Modularity with QBF Solvers. Description Logics 2008
81		Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Can You Tell the Difference Between DL-Lite Ontologies?. KR 2008: 285-295
80		Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Spatial Logics with Connectedness Constraints. LPAR 2008: 574-589
79		Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporal Description Logics: A Survey. TIME 2008: 3-14
78		Frank Wolter, Michael Zakharyaschev: Undecidability of the unification and admissibility problems for modal and description logics. ACM Trans. Comput. Log. 9(4): (2008)
	2007
77		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: DL-Lite in the Light of First-Order Logic. AAAI 2007: 361-366
76		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Complexity of Reasoning in Entity Relationship Models. Description Logics 2007
75		Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Modularity in DL-Lite. Description Logics 2007
74		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Reasoning over Extended ER Models. ER 2007: 277-292
73		Michael Zakharyaschev: Temporalising Logics: Fifteen Years After. FroCos 2007: 72
72		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: Query Answering in Expressive Variants of DL-Lite. SEBD 2007: 250-257
71		Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporalising Tractable Description Logics. TIME 2007: 11-22
70		Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Spatial Logic + Temporal Logic = ?. Handbook of Spatial Logics 2007: 497-564
69		Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: A Logic for Concepts and Similarity. J. Log. Comput. 17(3): 415-452 (2007)
	2006
68		Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Conservative extensions in modal logic. Advances in Modal Logic 2006: 187-207
67		Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Dynamic topological logics over spaces with continuous functions. Advances in Modal Logic 2006: 299-318
66		Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: From topology to metric: modal logic and quantification in metric spaces. Advances in Modal Logic 2006: 429-448
65		Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: Automated Reasoning About Metric and Topology. JELIA 2006: 490-493
64		David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Non-primitive recursive decidability of products of modal logics with expanding domains. Ann. Pure Appl. Logic 142(1-3): 245-268 (2006)
63		Frank Wolter, Michael Zakharyaschev: Undecidability of the unification and admissibility problems for modal and description logics CoRR abs/cs/0609052: (2006)
62		Wolfgang Rautenberg, Michael Zakharyaschev, Frank Wolter: Willem Blok and Modal Logic. Studia Logica 83(1-3): 15-30 (2006)
61		Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: On Dynamic Topological and Metric Logics. Studia Logica 84(1): 129-160 (2006)
	2005
60		Boris Konev, Frank Wolter, Michael Zakharyaschev: Temporal Logics over Transitive States. CADE 2005: 182-203
59		Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: 'Closer' representation and reasoning. Description Logics 2005
58		Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: Comparative Similarity, Tree Automata, and Diophantine Equations. LPAR 2005: 651-665
57		Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Modal Logics for Metric Spaces: Open Problems. We Will Show Them! (2) 2005: 193-108
56		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)
55		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
54		Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: E-connections of abstract description systems. Artif. Intell. 156(1): 1-73 (2004)
53		Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: On Non-local Propositional and Weak Monodic Quantified CTL. J. Log. Comput. 14(1): 3-22 (2004)
52		Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporalising Tableaux. Studia Logica 76(1): 91-134 (2004)
	2003
51		Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse (France) in October 2002 King's College Publications 2003
50		Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: E-connections of Description Logics. Description Logics 2003
49		Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Resasoning about Concepts and Similarity. Description Logics 2003
48		David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Spatio-Temporal Logics. FLAIRS Conference 2003: 460-464
47		Frank Wolter, Michael Zakharyaschev: Reasoning about distances. IJCAI 2003: 1275-1282
46		Carsten Lutz, Frank Wolter, Michael Zakharyaschev: A Tableau Algorithm for Reasoning about Concepts and Similarity. TABLEAUX 2003: 134-149
45		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
44		Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev: Logics of metric spaces. ACM Trans. Comput. Log. 4(2): 260-294 (2003)
	2002
43		Frank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev: Advances in Modal Logic 3, papers from the third conference on "Advances in Modal logic," held in Leipzig (Germany) in October 2000 World Scientific 2002
42		Ágnes Kurucz, Michael Zakharyaschev: A Note on Relativised Products of Modal Logics. Advances in Modal Logic 2002: 221-242
41		Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: Editorial Preface. Advances in Modal Logic 2002
40		Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev: A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA 2002: 98-110
39		Oliver Kutz, Frank Wolter, Michael Zakharyaschev: Connecting Abstract Description Systems. KR 2002: 215-226
38		Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. LICS 2002: 393-402
37		Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: On Non-Local Propositional and Local One-Variable Quantified CTL*. TIME 2002: 2-9
36		Frank Wolter, Michael Zakharyaschev: Axiomatizing the monodic fragment of first-order temporal logic. Ann. Pure Appl. Logic 118(1-2): 133-145 (2002)
35		Brandon Bennett, Anthony G. Cohn, Frank Wolter, Michael Zakharyaschev: Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning. Appl. Intell. 17(3): 239-251 (2002)
34		Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: Axiomatizing Distance Logics. Journal of Applied Non-Classical Logics 12(3-4): 425-440 (2002)
33		Ágnes Kurucz, Michael Zakharyaschev, Frank Wolter: Preface. Studia Logica 72(2): 145-146 (2002)
32		Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev: A Tableau Decision Algorithm for Modalized ALC with Constant Domains. Studia Logica 72(2): 199-232 (2002)
	2001
31		Oliver Kutz, Frank Wolter, Michael Zakharyaschev: A Note on Concepts and Distances. Description Logics 2001
30		Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev: The DLRUS Temporal Description Logic. Description Logics 2001
29		Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev: Tableaux for Temporal Description Logic with Constant Domains. IJCAR 2001: 121-136
28		Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: Monodic fragments of first-order temporal logics: 2000-2001 A.D. LPAR 2001: 1-23
27		Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev: Reasoning over Conceptual Schemas and Queries in Temporal Databases. SEBD 2001: 201-214
26		Mark Reynolds, Michael Zakharyaschev: On the Products of Linear Modal Logics. J. Log. Comput. 11(6): 909-931 (2001)
25		Frank Wolter, Michael Zakharyaschev: Decidable Fragments of First-Order Modal Logics. J. Symb. Log. 66(3): 1415-1438 (2001)
	2000
24		Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing: Advances in Modal Logic 2, papers from the second workshop on "Advances in Modal logic," held in Uppsala, Sweden, 1998 CSLI Publications 2000
23		Frank Wolter, Michael Zakharyaschev: Spatial Reasoning in RCC-8 with Boolean Region Terms. ECAI 2000: 244-250
22		Holger Sturm, Frank Wolter, Michael Zakharyaschev: Monodic Epistemic Predicate Logic. JELIA 2000: 329-344
21		Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: Semi-qualitative Reasoning about Distances: A Preliminary Report. JELIA 2000: 37-56
20		Frank Wolter, Michael Zakharyaschev: Spatio-temporal representation and reasoning based on RCC-8. KR 2000: 3-14
19		Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: Decidable fragment of first-order temporal logics. Ann. Pure Appl. Logic 106(1-3): 85-134 (2000)
18		Michael Zakharyaschev: Multi-Dimensional Modal Logic, Maarten Marx and Yde Venema. Journal of Logic, Language and Information 9(1): 128-131 (2000)
	1999
17		Frank Wolter, Michael Zakharyaschev: Multi-Dimensional Description Logics. IJCAI 1999: 104-109
16		Frank Wolter, Michael Zakharyaschev: Modal Description Logics: Modalizing Roles. Fundam. Inform. 39(4): 411-438 (1999)
	1998
15		Frank Wolter, Michael Zakharyaschev: Dynamic Description Logics. Advances in Modal Logic 1998: 431-446
14		Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing: The Origins of Modern Modal Logic. Advances in Modal Logic 1998
13		Frank Wolter, Michael Zakharyaschev: On the Decidability of Description Logics with Modal Operators. KR 1998: 512-523
12		Yasuhito Suzuki, Frank Wolter, Michael Zakharyaschev: Speaking about Transitive Frames in Propositional Languages. Journal of Logic, Language and Information 7(3): 317-339 (1998)
	1997
11		Michael Zakharyaschev: Canonical Formulas for K4, Part III: The Finite Model Property. J. Symb. Log. 62(3): 950-975 (1997)
10		Michael Zakharyaschev: The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable. Studia Logica 59(3): 345-358 (1997)
	1996
9		Michael Zakharyaschev: Canonical Formulas for K4, Part II: Confinal Subframe Logics. J. Symb. Log. 61(2): 421-449 (1996)
	1995
8		Alexander V. Chagrov, Michael Zakharyaschev: On the Independent Axiomatizability of Modal and Intermediate Logics. J. Log. Comput. 5(3): 287-302 (1995)
7		Michael Zakharyaschev, Alexander Alekseev: All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable. Math. Log. Q. 41: 15-23 (1995)
	1994
6		Michael Zakharyaschev: A New Solution to a Problem of Hosoi and Ono. Notre Dame Journal of Formal Logic 35(3): 450-457 (1994)
	1993
5		Alexander V. Chagrov, Michael Zakharyaschev: The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems. J. Symb. Log. 58(3): 967-1002 (1993)
4		Michael Zakharyaschev: A Sufficient Condition for the Finite Model Property of Modal Logics above K4. Logic Journal of the IGPL 1(1): 13-21 (1993)
	1992
3		Michael Zakharyaschev: Canonical Formulas for K4, Part I: Basic Results. J. Symb. Log. 57(4): 1377-1402 (1992)
2		Alexander V. Chagrov, Michael Zakharyaschev: Modal Companions of Intermediate Propositional Logics. Studia Logica 51(1): 49-82 (1992)
	1987
1		Michael Zakharyaschev: Theorem Proving in Intermediate and Modal Logics. FCT 1987: 492-496

Coauthor Index

1	Alexander Alekseev	[7]
2	Alessandro Artale	[27] [30] [40] [71] [72] [74] [76] [77] [86] [88] [89] [91]
3	Philippe Balbiani	[41] [51]
4	Sebastian Bauer	[37] [53]
5	Brandon Bennett	[35]
6	Diego Calvanese	[72] [74] [76] [77] [89] [91]
7	Alexander V. Chagrov	[2] [5] [8]
8	Anthony G. Cohn	[35]
9	Enrico Franconi	[27] [30] [40]
10	David Gabelaia	[48] [55] [64]
11	Silvio Ghilardi	[68]
12	Ian M. Hodkinson	[19] [28] [37] [38] [45] [53]
13	Ullrich Hustadt	[65]
14	Boris Konev	[60] [61] [67]
15	Roman Kontchakov	[45] [48] [52] [55] [56] [61] [67] [70] [71] [72] [74] [75] [76] [77] [80] [81] [82] [83] [84] [85] [86] [88] [89] [90] [91]
16	Ágnes Kurucz (Agi Kurucz)	[33] [42] [45] [48] [55] [56] [57] [64] [70]
17	Oliver Kutz	[31] [34] [39] [44] [50] [54]
18	Carsten Lutz	[29] [32] [46] [49] [50] [52] [54] [68] [71] [79] [90]
19	Milenko Mosurovic	[27] [30]
20	Ian Pratt-Hartmann (Ian E. Pratt)	[80] [83]
21	Luca Pulina	[85]
22	Wolfgang Rautenberg	[62]
23	Mark Reynolds	[26]
24	Maarten de Rijke	[14] [24] [43]
25	Vladislav Ryzhikov	[74] [76] [82] [86] [88]
26	Ulrike Sattler	[85] [87]
27	Thomas Schneider	[85] [87]
28	Krister Segerberg	[14] [24]
29	Petra Selmer	[85]
30	Mikhail Sheremet	[58] [59] [66] [69]
31	Holger Sturm	[21] [22] [29] [32] [34] [44]
32	Nobu-Yuki Suzuki	[21] [34] [41] [44] [51]
33	Yasuhito Suzuki	[12]
34	Dmitry Tishkovsky	[58] [59] [65] [66] [69]
35	David Toman	[90]
36	Heinrich Wansing	[14] [24] [43]
37	Frank Wolter	[12] [13] [15] [16] [17] [19] [20] [21] [22] [23] [25] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [75] [78] [79] [80] [81] [82] [83] [85] [90]

Colors in the list of coauthors