| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Michael Zakharyaschev 31 Oliver Kutz , Frank Wolter , Holger Sturm , Nobu-Yuki Suzuki , Michael Zakharyaschev: Logics of metric spaces. TOCL 4 (2): 260-294 (2003) 30 Alessandro Artale , Enrico Franconi , Frank Wolter , Michael Zakharyaschev: A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA 2002 : 98-110 29 Oliver Kutz , Frank Wolter , Michael Zakharyaschev: Connecting Abstract Description Systems. KR 2002 : 215-226 28 Ian M. Hodkinson , Frank Wolter , Michael Zakharyaschev: Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. LICS 2002 : 393-402 27 Sebastian Bauer , Ian M. Hodkinson , Frank Wolter , Michael Zakharyaschev: On Non-Local Propositional and Local One-Variable Quantified CTL*. TIME 2002 : 2-9 26 Frank Wolter , Michael Zakharyaschev: Axiomatizing the monodic fragment of first-order temporal logic. Annals of Pure and Applied Logic 118 (1-2): 133-145 (2002) 25 Brandon Bennett , Anthony G. Cohn , Frank Wolter , Michael Zakharyaschev: Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning. Applied Intelligence 17 (3): 239-251 (2002) 24 Ágnes Kurucz , Michael Zakharyaschev, Frank Wolter : Preface. Studia Logica 72 (2): 145-146 (2002) 23 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) 22 Oliver Kutz , Frank Wolter , Michael Zakharyaschev: A Note on Concepts and Distances. Description Logics 2001 21 Alessandro Artale , Enrico Franconi , Milenko Mosurovic , Frank Wolter , Michael Zakharyaschev: The DLRUS Temporal Description Logic. Description Logics 2001 20 Carsten Lutz , Holger Sturm , Frank Wolter , Michael Zakharyaschev: Tableaux for Temporal Description Logic with Constant Domains. IJCAR 2001 : 121-136 19 Ian M. Hodkinson , Frank Wolter , Michael Zakharyaschev: Monodic fragments of first-order temporal logics: 2000-2001 A.D. LPAR 2001 : 1-23 18 Alessandro Artale , Enrico Franconi , Milenko Mosurovic , Frank Wolter , Michael Zakharyaschev: Reasoning over Conceptual Schemas and Queries in Temporal Databases. SEBD 2001 : 201-214 17 Frank Wolter , Michael Zakharyaschev: Spatial Reasoning in RCC-8 with Boolean Region Terms. ECAI 2000 : 244-250 16 Holger Sturm , Frank Wolter , Michael Zakharyaschev: Monodic Epistemic Predicate Logic. JELIA 2000 : 329-344 15 Holger Sturm , Nobu-Yuki Suzuki , Frank Wolter , Michael Zakharyaschev: Semi-qualitative Reasoning about Distances: A Preliminary Report. JELIA 2000 : 37-56 14 Frank Wolter , Michael Zakharyaschev: Spatio-temporal representation and reasoning based on RCC-8. KR 2000 : 3-14 13 Ian M. Hodkinson , Frank Wolter , Michael Zakharyaschev: Decidable fragment of first-order temporal logics. Annals of Pure and Applied Logic 106 (1-3): 85-134 (2000) 12 Michael Zakharyaschev: Multi-Dimensional Modal Logic, Maarten Marx and Yde Venema. Journal of Logic, Language and Information 9 (1): 128-131 (2000) 11 Frank Wolter , Michael Zakharyaschev: Multi-Dimensional Description Logics. IJCAI 1999 : 104-109 10 Frank Wolter , Michael Zakharyaschev: Modal Description Logics: Modalizing Roles. Fundamenta Informaticae 39 (4): 411-438 (1999) 9 Frank Wolter , Michael Zakharyaschev: On the Decidability of Description Logics with Modal Operators. KR 1998 : 512-523 8 Yasuhito Suzuki , Frank Wolter , Michael Zakharyaschev: Speaking about Transitive Frames in Propositional Languages. Journal of Logic, Language and Information 7 (3): 317-339 (1998) 7 Michael Zakharyaschev: Canonical Formulas for K4, Part III: The Finite Model Property. The Journal of Symbolic Logic 62 (3): 950-975 (1997) 6 Michael Zakharyaschev: Canonical Formulas for K4, Part II: Confinal Subframe Logics. The Journal of Symbolic Logic 61 (2): 421-449 (1996) 5 Alexander V. Chagrov , Michael Zakharyaschev: On the Independent Axiomatizability of Modal and Intermediate Logics. Journal of Logic and Computation 5 (3): 287-302 (1995) 4 Michael Zakharyaschev: A New Solution to a Problem of Hosoi and Ono. Notre Dame Journal of Formal Logic 35 (3): 450-457 (1994) 3 Alexander V. Chagrov , Michael Zakharyaschev: The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems. The Journal of Symbolic Logic 58 (3): 967-1002 (1993) 2 Michael Zakharyaschev: Canonical Formulas for K4, Part I: Basic Results. The Journal of Symbolic Logic 57 (4): 1377-1402 (1992) 1 Michael Zakharyaschev: Theorem Proving in Intermediate and Modal Logics. FCT 1987 : 492-496  DiSC'03 © 2003 Association for Computing Machinery |
