| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Frank Wolter 35 Oliver Kutz , Frank Wolter, Holger Sturm , Nobu-Yuki Suzuki , Michael Zakharyaschev : Logics of metric spaces. TOCL 4 (2): 260-294 (2003) 34 Alessandro Artale , Enrico Franconi , Frank Wolter, Michael Zakharyaschev : A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA 2002 : 98-110 33 Oliver Kutz , Frank Wolter, Michael Zakharyaschev : Connecting Abstract Description Systems. KR 2002 : 215-226 32 Ian M. Hodkinson , Frank Wolter, Michael Zakharyaschev : Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. LICS 2002 : 393-402 31 Sebastian Bauer , Ian M. Hodkinson , Frank Wolter, Michael Zakharyaschev : On Non-Local Propositional and Local One-Variable Quantified CTL*. TIME 2002 : 2-9 30 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) 29 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) 28 Franz Baader , Carsten Lutz , Holger Sturm , Frank Wolter: Fusions of Description Logics and Abstract Description Systems. Journal of Artificial Intelligence Research 16 : 1-58 (2002) 27 Ágnes Kurucz , Michael Zakharyaschev , Frank Wolter: Preface. Studia Logica 72 (2): 145-146 (2002) 26 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) 25 Carsten Lutz , Ulrike Sattler , Frank Wolter: Modal Logic and the Two-Variable Fragment. CSL 2001 : 247-261 24 Oliver Kutz , Frank Wolter, Michael Zakharyaschev : A Note on Concepts and Distances. Description Logics 2001 23 Carsten Lutz , Ulrike Sattler , Frank Wolter: Description Logics and the Two-Variable Fragment. Description Logics 2001 22 Alessandro Artale , Enrico Franconi , Milenko Mosurovic , Frank Wolter, Michael Zakharyaschev : The DLRUS Temporal Description Logic. Description Logics 2001 21 Carsten Lutz , Holger Sturm , Frank Wolter, Michael Zakharyaschev : Tableaux for Temporal Description Logic with Constant Domains. IJCAR 2001 : 121-136 20 Ian M. Hodkinson , Frank Wolter, Michael Zakharyaschev : Monodic fragments of first-order temporal logics: 2000-2001 A.D. LPAR 2001 : 1-23 19 Alessandro Artale , Enrico Franconi , Milenko Mosurovic , Frank Wolter, Michael Zakharyaschev : Reasoning over Conceptual Schemas and Queries in Temporal Databases. SEBD 2001 : 201-214 18 Franz Baader , Carsten Lutz , Holger Sturm , Frank Wolter: Fusions of Description Logics. Description Logics 2000 : 21-30 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 Frank Wolter: The product of converse PDL and polymodal K. Journal of Logic and Computation 10 (2): 223-251 (2000) 11 Frank Wolter: First Order Common Knowledge Logics. Studia Logica 65 (2): 249-271 (2000) 10 Frank Wolter, Michael Zakharyaschev : Multi-Dimensional Description Logics. IJCAI 1999 : 104-109 9 Frank Wolter, Michael Zakharyaschev : Modal Description Logics: Modalizing Roles. Fundamenta Informaticae 39 (4): 411-438 (1999) 8 Frank Wolter, Michael Zakharyaschev : On the Decidability of Description Logics with Modal Operators. KR 1998 : 512-523 7 Yasuhito Suzuki , Frank Wolter, Michael Zakharyaschev : Speaking about Transitive Frames in Propositional Languages. Journal of Logic, Language and Information 7 (3): 317-339 (1998) 6 Frank Wolter: The Structure of Lattices of Subframe Logics. Annals of Pure and Applied Logic 86 (1): 47-100 (1997) 5 Frank Wolter: Completeness and Decidability of Tense Logics Closely Related to Logics Above K4. The Journal of Symbolic Logic 62 (1): 131-158 (1997) 4 Frank Wolter: A Counterexample in Tense Logic. Notre Dame Journal of Formal Logic 37 (2): 167-173 (1996) 3 Frank Wolter: The Finite Model Property in Tense Logic. The Journal of Symbolic Logic 60 (3): 757-774 (1995) 2 Frank Wolter: Solution to a Problem of Goranko and Passy. Journal of Logic and Computation 4 (1): 21-22 (1994) 1 Marcus Kracht , Frank Wolter: Properties of Independently Axiomatizable Bimodal Logics. The Journal of Symbolic Logic 56 (4): 1469-1485 (1991)  DiSC'03 © 2003 Association for Computing Machinery |
