| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Frank Wolter Silvio Ghilardi , Carsten Lutz , Frank Wolter: Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. KR 2006 : 187-197 Piero A. Bonatti , Carsten Lutz , Frank Wolter: Description Logics with Circumscription. KR 2006 : 400-410 Hongkai Liu , Carsten Lutz , Maja Milicic , Frank Wolter: Updating Description Logic ABoxes. KR 2006 : 46-56 Ian Horrocks , Ulrike Sattler , Frank Wolter: Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005 CEUR-WS.org 2005 Franz Baader , Carsten Lutz , Maja Milicic , Ulrike Sattler , Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. AAAI 2005 : 572-577 Boris Konev , Frank Wolter, Michael Zakharyaschev : Temporal Logics over Transitive States. CADE 2005 : 182-203 Mikhail Sheremet , Dmitry Tishkovsky , Frank Wolter, Michael Zakharyaschev : 'Closer' representation and reasoning. Description Logics 2005 Franz Baader , Maja Milicic , Carsten Lutz , Ulrike Sattler , Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. Description Logics 2005 Mikhail Sheremet , Dmitry Tishkovsky , Frank Wolter, Michael Zakharyaschev : Comparative Similarity, Tree Automata, and Diophantine Equations. LPAR 2005 : 651-665 Carsten Lutz , Dirk Walther , Frank Wolter: Quantitative Temporal Logics: PSPACE and Below. TIME 2005 : 138-146 Agi Kurucz , Frank Wolter, Michael Zakharyaschev : Modal Logics for Metric Spaces: Open Problems. We Will Show Them! (2) 2005 : 193-108 Tadeusz Litak , Frank Wolter: All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete. Studia Logica 81 (2): 153-165 (2005) Oliver Kutz , Carsten Lutz , Frank Wolter, Michael Zakharyaschev : E-connections of abstract description systems. Artif. Intell. 156 (1): 1-73 (2004) 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) Roman Kontchakov , Carsten Lutz , Frank Wolter, Michael Zakharyaschev : Temporalising Tableaux. Studia Logica 76 (1): 91-134 (2004) 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 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) 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 Philippe Balbiani , Nobu-Yuki Suzuki , Frank Wolter, Michael Zakharyaschev : Editorial Preface. Advances in Modal Logic 2002 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) Franz Baader , Carsten Lutz , Holger Sturm , Frank Wolter: Fusions of Description Logics and Abstract Description Systems. J. Artif. Intell. Res. (JAIR) 16 : 1-58 (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) Á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 : Dynamic Description Logics. Advances in Modal Logic 1998 : 431-446 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 [ 27 ] [ 30 ] [ 44 ] 2 [ 25 ] [ 38 ] [ 47 ] [ 51 ] [ 56 ] [ 65 ] [ 68 ] 3 [ 45 ] [ 57 ] 4 [ 41 ] [ 59 ] 5 [ 39 ] 6 [ 71 ] 7 [ 39 ] 8 [ 27 ] [ 30 ] [ 44 ] 9 [ 53 ] 10 [ 72 ] 11 [ 47 ] [ 51 ] 12 [ 20 ] [ 28 ] [ 41 ] [ 42 ] [ 49 ] [ 59 ] 13 [ 69 ] 14 [ 67 ] 15 [ 49 ] [ 53 ] [ 58 ] 16 [ 1 ] [ 8 ] [ 15 ] 17 [ 35 ] [ 49 ] [ 53 ] [ 62 ] 18 [ 56 ] 19 [ 32 ] [ 36 ] [ 43 ] [ 48 ] [ 55 ] [ 60 ] 20 [ 61 ] 21 [ 70 ] 22 [ 25 ] [ 29 ] [ 31 ] [ 33 ] [ 34 ] [ 38 ] [ 47 ] [ 50 ] [ 51 ] [ 54 ] [ 55 ] [ 58 ] [ 60 ] [ 63 ] [ 65 ] [ 68 ] [ 70 ] [ 71 ] [ 72 ] 23 [ 65 ] [ 68 ] [ 70 ] 24 [ 27 ] [ 30 ] 25 [ 46 ] 26 [ 31 ] [ 33 ] [ 65 ] [ 68 ] [ 69 ] 27 [ 64 ] [ 66 ] 28 [ 22 ] [ 23 ] [ 25 ] [ 29 ] [ 34 ] [ 36 ] [ 37 ] [ 38 ] [ 48 ] 29 [ 22 ] [ 36 ] [ 45 ] [ 48 ] [ 57 ] 30 [ 12 ] 31 [ 64 ] [ 66 ] 32 [ 63 ] 33 [ 46 ] 34 [ 12 ] [ 13 ] [ 14 ] [ 16 ] [ 17 ] [ 20 ] [ 21 ] [ 22 ] [ 23 ] [ 24 ] [ 26 ] [ 27 ] [ 28 ] [ 29 ] [ 30 ] [ 32 ] [ 34 ] [ 35 ] [ 36 ] [ 39 ] [ 40 ] [ 41 ] [ 42 ] [ 43 ] [ 44 ] [ 45 ] [ 46 ] [ 48 ] [ 49 ] [ 50 ] [ 52 ] [ 53 ] [ 54 ] [ 55 ] [ 57 ] [ 58 ] [ 59 ] [ 60 ] [ 62 ] [ 64 ] [ 66 ] [ 67 ]  ©2006 Association for Computing Machinery |
