| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Michael Zakharyaschev Oliver Kutz , Carsten Lutz , Frank Wolter , Michael Zakharyaschev: E-connections of Description Logics. Description Logics 2003 Carsten Lutz , Frank Wolter , Michael Zakharyaschev: Resasoning about Concepts and Similarity. Description Logics 2003 David Gabelaia , Roman Kontchakov , Agi Kurucz , Frank Wolter , Michael Zakharyaschev: On the Computational Complexity of Spatio-Temporal Logics. FLAIRS Conference 2003 : 460-464 Frank Wolter , Michael Zakharyaschev: Reasoning about distances. IJCAI 2003 : 1275-1282 Carsten Lutz , Frank Wolter , Michael Zakharyaschev: A Tableau Algorithm for Reasoning about Concepts and Similarity. TABLEAUX 2003 : 134-149 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 Oliver Kutz , Frank Wolter , Holger Sturm , Nobu-Yuki Suzuki , Michael Zakharyaschev: Logics of metric spaces. ACM Trans. Comput. Log. 4 (2): 260-294 (2003) Alessandro Artale , Enrico Franconi , Frank Wolter , Michael Zakharyaschev: A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA 2002 : 98-110 Oliver Kutz , Frank Wolter , Michael Zakharyaschev: Connecting Abstract Description Systems. KR 2002 : 215-226 Ian M. Hodkinson , Frank Wolter , Michael Zakharyaschev: Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. LICS 2002 : 393-402 Sebastian Bauer , Ian M. Hodkinson , Frank Wolter , Michael Zakharyaschev: On Non-Local Propositional and Local One-Variable Quantified CTL*. TIME 2002 : 2-9 Frank Wolter , Michael Zakharyaschev: Axiomatizing the monodic fragment of first-order temporal logic. Ann. Pure Appl. Logic 118 (1-2): 133-145 (2002) 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) 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) Ágnes Kurucz , Michael Zakharyaschev, Frank Wolter : Preface. Studia Logica 72 (2): 145-146 (2002) 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) Oliver Kutz , Frank Wolter , Michael Zakharyaschev: A Note on Concepts and Distances. Description Logics 2001 Alessandro Artale , Enrico Franconi , Milenko Mosurovic , Frank Wolter , Michael Zakharyaschev: The DLRUS Temporal Description Logic. Description Logics 2001 Carsten Lutz , Holger Sturm , Frank Wolter , Michael Zakharyaschev: Tableaux for Temporal Description Logic with Constant Domains. IJCAR 2001 : 121-136 Ian M. Hodkinson , Frank Wolter , Michael Zakharyaschev: Monodic fragments of first-order temporal logics: 2000-2001 A.D. LPAR 2001 : 1-23 Alessandro Artale , Enrico Franconi , Milenko Mosurovic , Frank Wolter , Michael Zakharyaschev: Reasoning over Conceptual Schemas and Queries in Temporal Databases. SEBD 2001 : 201-214 Mark Reynolds , Michael Zakharyaschev: On the Products of Linear Modal Logics. J. Log. Comput. 11 (6): 909-931 (2001) Frank Wolter , Michael Zakharyaschev: Decidable Fragments of First-Order Modal Logics. J. Symb. Log. 66 (3): 1415-1438 (2001) Frank Wolter , Michael Zakharyaschev: Spatial Reasoning in RCC-8 with Boolean Region Terms. ECAI 2000 : 244-250 Holger Sturm , Frank Wolter , Michael Zakharyaschev: Monodic Epistemic Predicate Logic. JELIA 2000 : 329-344 Holger Sturm , Nobu-Yuki Suzuki , Frank Wolter , Michael Zakharyaschev: Semi-qualitative Reasoning about Distances: A Preliminary Report. JELIA 2000 : 37-56 Frank Wolter , Michael Zakharyaschev: Spatio-temporal representation and reasoning based on RCC-8. KR 2000 : 3-14 Ian M. Hodkinson , Frank Wolter , Michael Zakharyaschev: Decidable fragment of first-order temporal logics. Ann. Pure Appl. Logic 106 (1-3): 85-134 (2000) Michael Zakharyaschev: Multi-Dimensional Modal Logic, Maarten Marx and Yde Venema. Journal of Logic, Language and Information 9 (1): 128-131 (2000) Frank Wolter , Michael Zakharyaschev: Multi-Dimensional Description Logics. IJCAI 1999 : 104-109 Frank Wolter , Michael Zakharyaschev: Modal Description Logics: Modalizing Roles. Fundam. Inform. 39 (4): 411-438 (1999) Frank Wolter , Michael Zakharyaschev: On the Decidability of Description Logics with Modal Operators. KR 1998 : 512-523 Yasuhito Suzuki , Frank Wolter , Michael Zakharyaschev: Speaking about Transitive Frames in Propositional Languages. Journal of Logic, Language and Information 7 (3): 317-339 (1998) Michael Zakharyaschev: Canonical Formulas for K4, Part III: The Finite Model Property. J. Symb. Log. 62 (3): 950-975 (1997) Michael Zakharyaschev: The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable. Studia Logica 59 (3): 345-358 (1997) Michael Zakharyaschev: Canonical Formulas for K4, Part II: Confinal Subframe Logics. J. Symb. Log. 61 (2): 421-449 (1996) Alexander V. Chagrov , Michael Zakharyaschev: On the Independent Axiomatizability of Modal and Intermediate Logics. J. Log. Comput. 5 (3): 287-302 (1995) Michael Zakharyaschev, Alexander Alekseev : All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable. Math. Log. Q. 41 : 15-23 (1995) Michael Zakharyaschev: A New Solution to a Problem of Hosoi and Ono. Notre Dame Journal of Formal Logic 35 (3): 450-457 (1994) 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) Michael Zakharyaschev: Canonical Formulas for K4, Part I: Basic Results. J. Symb. Log. 57 (4): 1377-1402 (1992) Alexander V. Chagrov , Michael Zakharyaschev: Modal Companions of Intermediate Propositional Logics. Studia Logica 51 (1): 49-82 (1992) Michael Zakharyaschev: Theorem Proving in Intermediate and Modal Logics. FCT 1987 : 492-496 1 [ 6 ] 2 [ 23 ] [ 26 ] [ 36 ] 3 [ 33 ] 4 [ 31 ] 5 [ 2 ] [ 4 ] [ 7 ] 6 [ 31 ] 7 [ 23 ] [ 26 ] [ 36 ] 8 [ 41 ] 9 [ 16 ] [ 24 ] [ 33 ] [ 34 ] [ 38 ] 10 [ 38 ] [ 41 ] 11 [ 38 ] [ 41 ] 12 [ 29 ] 13 [ 27 ] [ 30 ] [ 35 ] [ 37 ] [ 43 ] 14 [ 25 ] [ 28 ] [ 39 ] [ 42 ] [ 43 ] 15 [ 23 ] [ 26 ] 16 [ 22 ] 17 [ 18 ] [ 19 ] [ 25 ] [ 28 ] [ 30 ] [ 37 ] 18 [ 18 ] [ 30 ] [ 37 ] 19 [ 11 ] 20 [ 11 ] [ 12 ] [ 13 ] [ 14 ] [ 16 ] [ 17 ] [ 18 ] [ 19 ] [ 20 ] [ 21 ] [ 23 ] [ 24 ] [ 25 ] [ 26 ] [ 27 ] [ 28 ] [ 29 ] [ 30 ] [ 31 ] [ 32 ] [ 33 ] [ 34 ] [ 35 ] [ 36 ] [ 37 ] [ 38 ] [ 39 ] [ 40 ] [ 41 ] [ 42 ] [ 43 ]  ©2004 Association for Computing Machinery |
