Michael Zakharyaschev

2008
84	EE	Roman Kontchakov, Michael Zakharyaschev: DL-Lite and Role Inclusions. ASWC 2008: 16-30
83	EE	Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: Topology, connectedness, and modal logic. Advances in Modal Logic 2008: 151-176
82	EE	Roman Kontchakov, V. 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	EE	Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Spatial Logics with Connectedness Constraints. LPAR 2008: 574-589
79	EE	Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporal Description Logics: A Survey. TIME 2008: 3-14
78	EE	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	EE	Alessandro Artale, Diego Calvanese, Roman Kontchakov, V. Ryzhikov, Michael Zakharyaschev: Complexity of Reasoning in Entity Relationship Models. Description Logics 2007
75	EE	Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Modularity in DL-Lite. Description Logics 2007
74	EE	Alessandro Artale, Diego Calvanese, Roman Kontchakov, V. Ryzhikov, Michael Zakharyaschev: Reasoning over Extended ER Models. ER 2007: 277-292
73	EE	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	EE	Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporalising Tractable Description Logics. TIME 2007: 11-22
70	EE	Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Spatial Logic + Temporal Logic = ?. Handbook of Spatial Logics 2007: 497-564
69	EE	Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: A Logic for Concepts and Similarity. J. Log. Comput. 17(3): 415-452 (2007)
2006
68	EE	Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Conservative extensions in modal logic. Advances in Modal Logic 2006: 187-207
67	EE	Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Dynamic topological logics over spaces with continuous functions. Advances in Modal Logic 2006: 299-318
66	EE	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	EE	Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: Automated Reasoning About Metric and Topology. JELIA 2006: 490-493
64	EE	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	EE	Frank Wolter, Michael Zakharyaschev: Undecidability of the unification and admissibility problems for modal and description logics CoRR abs/cs/0609052: (2006)
62	EE	Wolfgang Rautenberg, Michael Zakharyaschev, Frank Wolter: Willem Blok and Modal Logic. Studia Logica 83(1-3): 15-30 (2006)
61	EE	Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: On Dynamic Topological and Metric Logics. Studia Logica 84(1): 129-160 (2006)
2005
60	EE	Boris Konev, Frank Wolter, Michael Zakharyaschev: Temporal Logics over Transitive States. CADE 2005: 182-203
59	EE	Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: 'Closer' representation and reasoning. Description Logics 2005
58	EE	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	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)
55	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
54	EE	Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: E-connections of abstract description systems. Artif. Intell. 156(1): 1-73 (2004)
53	EE	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	EE	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	EE	Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: E-connections of Description Logics. Description Logics 2003
49	EE	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	EE	Carsten Lutz, Frank Wolter, Michael Zakharyaschev: A Tableau Algorithm for Reasoning about Concepts and Similarity. TABLEAUX 2003: 134-149
45	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
44	EE	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	EE	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	EE	Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. LICS 2002: 393-402
37	EE	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	EE	Oliver Kutz, Frank Wolter, Michael Zakharyaschev: A Note on Concepts and Distances. Description Logics 2001
30	EE	Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev: The DLRUS Temporal Description Logic. Description Logics 2001
29	EE	Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev: Tableaux for Temporal Description Logic with Constant Domains. IJCAR 2001: 121-136
28	EE	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	EE	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	EE	Holger Sturm, Frank Wolter, Michael Zakharyaschev: Monodic Epistemic Predicate Logic. JELIA 2000: 329-344
21	EE	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	EE	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]
3	Philippe Balbiani	[41] [51]
4	Sebastian Bauer	[37] [53]
5	Brandon Bennett	[35]
6	Diego Calvanese	[72] [74] [76] [77]
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]
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]
19	Milenko Mosurovic	[27] [30]
20	Ian Pratt-Hartmann	[80] [83]
21	Wolfgang Rautenberg	[62]
22	Mark Reynolds	[26]
23	Maarten de Rijke	[14] [24] [43]
24	V. Ryzhikov	[74] [76] [82]
25	Krister Segerberg	[14] [24]
26	Mikhail Sheremet	[58] [59] [66] [69]
27	Holger Sturm	[21] [22] [29] [32] [34] [44]
28	Nobu-Yuki Suzuki	[21] [34] [41] [44] [51]
29	Yasuhito Suzuki	[12]
30	Dmitry Tishkovsky	[58] [59] [65] [66] [69]
31	Heinrich Wansing	[14] [24] [43]
32	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]

Colors in the list of coauthors