| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Frank Wolter Franz Baader , Ralf Küsters , Frank Wolter: Extensions to Description Logics. Description Logic Handbook 2003 : 219-261 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 Franz Baader , Jan Hladik , Carsten Lutz , Frank Wolter: From Tableaux to Automata for Description Logics. LPAR 2003 : 1-32 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) Franz Baader , Jan Hladik , Carsten Lutz , Frank Wolter: From Tableaux to Automata for Description Logics. Fundam. Inform. 57 (2-4): 247-279 (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) Holger Sturm , Frank Wolter: A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case. J. Log. Comput. 12 (5): 809-838 (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) 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) Á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) Carsten Lutz , Ulrike Sattler , Frank Wolter: Modal Logic and the Two-Variable Fragment. CSL 2001 : 247-261 Oliver Kutz , Frank Wolter, Michael Zakharyaschev : A Note on Concepts and Distances. Description Logics 2001 Carsten Lutz , Ulrike Sattler , Frank Wolter: Description Logics and the Two-Variable Fragment. 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 Frank Wolter, Michael Zakharyaschev : Decidable Fragments of First-Order Modal Logics. J. Symb. Log. 66 (3): 1415-1438 (2001) Franz Baader , Carsten Lutz , Holger Sturm , Frank Wolter: Fusions of Description Logics. Description Logics 2000 : 21-30 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) Frank Wolter: The product of converse PDL and polymodal K. J. Log. Comput. 10 (2): 223-251 (2000) Frank Wolter: First Order Common Knowledge Logics. Studia Logica 65 (2): 249-271 (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) Marcus Kracht , Frank Wolter: Normal Monomodal Logics Can Simulate All Others. J. Symb. Log. 64 (1): 99-138 (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) Frank Wolter: The Structure of Lattices of Subframe Logics. Ann. Pure Appl. Logic 86 (1): 47-100 (1997) Frank Wolter: Completeness and Decidability of Tense Logics Closely Related to Logics Above K4. J. Symb. Log. 62 (1): 131-158 (1997) Frank Wolter: Superintuitionistic Companions of Classical Modal Logics. Studia Logica 58 (2): 229-259 (1997) Marcus Kracht , Frank Wolter: Simulation and Transfer Results in Modal Logic - A Survey. Studia Logica 59 (1): 149-177 (1997) Frank Wolter: Tense Logic Without Tense Operators. Math. Log. Q. 42 : 145-171 (1996) Frank Wolter: Properties of Tense Logics. Math. Log. Q. 42 : 481-500 (1996) Frank Wolter: A Counterexample in Tense Logic. Notre Dame Journal of Formal Logic 37 (2): 167-173 (1996) Frank Wolter: The Finite Model Property in Tense Logic. J. Symb. Log. 60 (3): 757-774 (1995) Frank Wolter: Solution to a Problem of Goranko and Passy. J. Log. Comput. 4 (1): 21-22 (1994) Frank Wolter: What is the upper part of the lattice of bimodal logics? Studia Logica 53 (2): 235-242 (1994) Marcus Kracht , Frank Wolter: Properties of Independently Axiomatizable Bimodal Logics. J. Symb. Log. 56 (4): 1469-1485 (1991) 1 [ 26 ] [ 29 ] [ 43 ] 2 [ 24 ] [ 35 ] [ 44 ] [ 48 ] [ 53 ] 3 [ 40 ] 4 [ 38 ] 5 [ 38 ] 6 [ 26 ] [ 29 ] [ 43 ] 7 [ 50 ] 8 [ 44 ] [ 48 ] 9 [ 19 ] [ 27 ] [ 40 ] [ 41 ] [ 46 ] 10 [ 46 ] [ 50 ] 11 [ 1 ] [ 8 ] [ 14 ] 12 [ 46 ] [ 50 ] 13 [ 34 ] 14 [ 53 ] 15 [ 31 ] [ 36 ] [ 42 ] [ 45 ] [ 52 ] 16 [ 24 ] [ 28 ] [ 30 ] [ 32 ] [ 33 ] [ 35 ] [ 44 ] [ 47 ] [ 48 ] [ 51 ] [ 52 ] 17 [ 26 ] [ 29 ] 18 [ 30 ] [ 32 ] 19 [ 21 ] [ 22 ] [ 24 ] [ 28 ] [ 33 ] [ 35 ] [ 36 ] [ 37 ] [ 45 ] 20 [ 21 ] [ 36 ] [ 45 ] 21 [ 12 ] 22 [ 12 ] [ 13 ] [ 15 ] [ 16 ] [ 19 ] [ 20 ] [ 21 ] [ 22 ] [ 23 ] [ 25 ] [ 26 ] [ 27 ] [ 28 ] [ 29 ] [ 31 ] [ 33 ] [ 34 ] [ 36 ] [ 38 ] [ 39 ] [ 40 ] [ 41 ] [ 42 ] [ 43 ] [ 45 ] [ 46 ] [ 47 ] [ 49 ] [ 50 ] [ 51 ] [ 52 ]  ©2004 Association for Computing Machinery |
