Search the dblp DataBase
Frank Wolter :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Frank Wolter , Michael Zakharyaschev On the Decidability of Description Logics with Modal Operators. [Citation Graph (1, 0)][DBLP ] KR, 1998, pp:512-523 [Conf ] Franz Baader , Carsten Lutz , Maja Milicic , Ulrike Sattler , Frank Wolter Integrating Description Logics and Action Formalisms: First Results. [Citation Graph (0, 0)][DBLP ] AAAI, 2005, pp:572-577 [Conf ] Philippe Balbiani , Nobu-Yuki Suzuki , Frank Wolter , Michael Zakharyaschev Editorial Preface. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2002, pp:- [Conf ] Mikhail Sheremet , Dmitry Tishkovsky , Frank Wolter , Michael Zakharyaschev From topology to metric: modal logic and quantification in metric spaces. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2006, pp:429-448 [Conf ] Boris Konev , Roman Kontchakov , Frank Wolter , Michael Zakharyaschev Dynamic topological logics over spaces with continuous functions. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2006, pp:299-318 [Conf ] Silvio Ghilardi , Carsten Lutz , Frank Wolter , Michael Zakharyaschev Conservative extensions in modal logic. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2006, pp:187-207 [Conf ] Frank Wolter , Michael Zakharyaschev Dynamic Description Logics. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 1998, pp:431-446 [Conf ] Agi Kurucz , Frank Wolter , Michael Zakharyaschev Modal Logics for Metric Spaces: Open Problems. [Citation Graph (0, 0)][DBLP ] We Will Show Them! (2), 2005, pp:193-108 [Conf ] Boris Konev , Frank Wolter , Michael Zakharyaschev Temporal Logics over Transitive States. [Citation Graph (0, 0)][DBLP ] CADE, 2005, pp:182-203 [Conf ] Carsten Lutz , Holger Sturm , Frank Wolter , Michael Zakharyaschev Tableaux for Temporal Description Logic with Constant Domains. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:121-136 [Conf ] Carsten Lutz , Ulrike Sattler , Frank Wolter Modal Logic and the Two-Variable Fragment. [Citation Graph (0, 0)][DBLP ] CSL, 2001, pp:247-261 [Conf ] Alessandro Artale , Enrico Franconi , Milenko Mosurovic , Frank Wolter , Michael Zakharyaschev The DLRUS Temporal Description Logic. [Citation Graph (0, 0)][DBLP ] Description Logics, 2001, pp:- [Conf ] Franz Baader , Ralf Küsters , Frank Wolter Extensions to Description Logics. [Citation Graph (0, 0)][DBLP ] Description Logic Handbook, 2003, pp:219-261 [Conf ] Franz Baader , Carsten Lutz , Holger Sturm , Frank Wolter Fusions of Description Logics. [Citation Graph (0, 0)][DBLP ] Description Logics, 2000, pp:21-30 [Conf ] Franz Baader , Maja Milicic , Carsten Lutz , Ulrike Sattler , Frank Wolter Integrating Description Logics and Action Formalisms: First Results. [Citation Graph (0, 0)][DBLP ] Description Logics, 2005, pp:- [Conf ] Oliver Kutz , Carsten Lutz , Frank Wolter , Michael Zakharyaschev E-connections of Description Logics. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Oliver Kutz , Frank Wolter , Michael Zakharyaschev A Note on Concepts and Distances. [Citation Graph (0, 0)][DBLP ] Description Logics, 2001, pp:- [Conf ] Carsten Lutz , Ulrike Sattler , Frank Wolter Description Logics and the Two-Variable Fragment. [Citation Graph (0, 0)][DBLP ] Description Logics, 2001, pp:- [Conf ] Carsten Lutz , Frank Wolter , Michael Zakharyaschev Resasoning about Concepts and Similarity. [Citation Graph (0, 0)][DBLP ] Description Logics, 2003, pp:- [Conf ] Mikhail Sheremet , Dmitry Tishkovsky , Frank Wolter , Michael Zakharyaschev 'Closer' representation and reasoning. [Citation Graph (0, 0)][DBLP ] Description Logics, 2005, pp:- [Conf ] Frank Wolter , Michael Zakharyaschev Spatial Reasoning in RCC-8 with Boolean Region Terms. [Citation Graph (0, 0)][DBLP ] ECAI, 2000, pp:244-250 [Conf ] David Gabelaia , Roman Kontchakov , Agi Kurucz , Frank Wolter , Michael Zakharyaschev On the Computational Complexity of Spatio-Temporal Logics. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 2003, pp:460-464 [Conf ] Frank Wolter , Michael Zakharyaschev Reasoning about distances. [Citation Graph (0, 0)][DBLP ] IJCAI, 2003, pp:1275-1282 [Conf ] Frank Wolter , Michael Zakharyaschev Multi-Dimensional Description Logics. [Citation Graph (0, 0)][DBLP ] IJCAI, 1999, pp:104-109 [Conf ] Carsten Lutz , Dirk Walther , Frank Wolter Conservative Extensions in Expressive Description Logics. [Citation Graph (0, 0)][DBLP ] IJCAI, 2007, pp:453-458 [Conf ] Alessandro Artale , Enrico Franconi , Frank Wolter , Michael Zakharyaschev A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. [Citation Graph (0, 0)][DBLP ] JELIA, 2002, pp:98-110 [Conf ] Ullrich Hustadt , Dmitry Tishkovsky , Frank Wolter , Michael Zakharyaschev Automated Reasoning About Metric and Topology. [Citation Graph (0, 0)][DBLP ] JELIA, 2006, pp:490-493 [Conf ] Hongkai Liu , Carsten Lutz , Maja Milicic , Frank Wolter Reasoning About Actions Using Description Logics with General TBoxes. [Citation Graph (0, 0)][DBLP ] JELIA, 2006, pp:266-279 [Conf ] Holger Sturm , Nobu-Yuki Suzuki , Frank Wolter , Michael Zakharyaschev Semi-qualitative Reasoning about Distances: A Preliminary Report. [Citation Graph (0, 0)][DBLP ] JELIA, 2000, pp:37-56 [Conf ] Holger Sturm , Frank Wolter , Michael Zakharyaschev Monodic Epistemic Predicate Logic. [Citation Graph (0, 0)][DBLP ] JELIA, 2000, pp:329-344 [Conf ] Piero A. Bonatti , Carsten Lutz , Frank Wolter Description Logics with Circumscription. [Citation Graph (0, 0)][DBLP ] KR, 2006, pp:400-410 [Conf ] Silvio Ghilardi , Carsten Lutz , Frank Wolter Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. [Citation Graph (0, 0)][DBLP ] KR, 2006, pp:187-197 [Conf ] Hongkai Liu , Carsten Lutz , Maja Milicic , Frank Wolter Updating Description Logic ABoxes. [Citation Graph (0, 0)][DBLP ] KR, 2006, pp:46-56 [Conf ] Oliver Kutz , Frank Wolter , Michael Zakharyaschev Connecting Abstract Description Systems. [Citation Graph (0, 0)][DBLP ] KR, 2002, pp:215-226 [Conf ] Frank Wolter , Michael Zakharyaschev Spatio-temporal representation and reasoning based on RCC-8. [Citation Graph (0, 0)][DBLP ] KR, 2000, pp:3-14 [Conf ] Ian M. Hodkinson , Frank Wolter , Michael Zakharyaschev Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. [Citation Graph (0, 0)][DBLP ] LICS, 2002, pp:393-402 [Conf ] Franz Baader , Jan Hladik , Carsten Lutz , Frank Wolter From Tableaux to Automata for Description Logics. [Citation Graph (0, 0)][DBLP ] LPAR, 2003, pp:1-32 [Conf ] Ian M. Hodkinson , Frank Wolter , Michael Zakharyaschev Monodic fragments of first-order temporal logics: 2000-2001 A.D. [Citation Graph (0, 0)][DBLP ] LPAR, 2001, pp:1-23 [Conf ] Mikhail Sheremet , Dmitry Tishkovsky , Frank Wolter , Michael Zakharyaschev Comparative Similarity, Tree Automata, and Diophantine Equations. [Citation Graph (0, 0)][DBLP ] LPAR, 2005, pp:651-665 [Conf ] Alessandro Artale , Enrico Franconi , Milenko Mosurovic , Frank Wolter , Michael Zakharyaschev Reasoning over Conceptual Schemas and Queries in Temporal Databases. [Citation Graph (0, 0)][DBLP ] SEBD, 2001, pp:201-214 [Conf ] Carsten Lutz , Frank Wolter , Michael Zakharyaschev A Tableau Algorithm for Reasoning about Concepts and Similarity. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2003, pp:134-149 [Conf ] Sebastian Bauer , Ian M. Hodkinson , Frank Wolter , Michael Zakharyaschev On Non-Local Propositional and Local One-Variable Quantified CTL*. [Citation Graph (0, 0)][DBLP ] TIME, 2002, pp:2-9 [Conf ] Ian M. Hodkinson , Roman Kontchakov , Agi Kurucz , Frank Wolter , Michael Zakharyaschev On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. [Citation Graph (0, 0)][DBLP ] TIME, 2003, pp:91-98 [Conf ] Carsten Lutz , Dirk Walther , Frank Wolter Quantitative Temporal Logics: PSPACE and Below. [Citation Graph (0, 0)][DBLP ] TIME, 2005, pp:138-146 [Conf ] Oliver Kutz , Carsten Lutz , Frank Wolter , Michael Zakharyaschev E-connections of abstract description systems. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2004, v:156, n:1, pp:1-73 [Journal ] Ian M. Hodkinson , Frank Wolter , Michael Zakharyaschev Decidable fragment of first-order temporal logics. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2000, v:106, n:1-3, pp:85-134 [Journal ] Frank Wolter The Structure of Lattices of Subframe Logics. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1997, v:86, n:1, pp:47-100 [Journal ] Frank Wolter , Michael Zakharyaschev Axiomatizing the monodic fragment of first-order temporal logic. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2002, v:118, n:1-2, pp:133-145 [Journal ] David Gabelaia , Agi Kurucz , Frank Wolter , Michael Zakharyaschev Non-primitive recursive decidability of products of modal logics with expanding domains. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2006, v:142, n:1-3, pp:245-268 [Journal ] Brandon Bennett , Anthony G. Cohn , Frank Wolter , Michael Zakharyaschev Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] Appl. Intell., 2002, v:17, n:3, pp:239-251 [Journal ] Franz Baader , Jan Hladik , Carsten Lutz , Frank Wolter From Tableaux to Automata for Description Logics. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2003, v:57, n:2-4, pp:247-279 [Journal ] Frank Wolter , Michael Zakharyaschev Modal Description Logics: Modalizing Roles. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1999, v:39, n:4, pp:411-438 [Journal ] Carsten Lutz , Dirk Walther , Frank Wolter Quantitative temporal logics over the reals: PSpace and below. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2007, v:205, n:1, pp:99-123 [Journal ] Franz Baader , Carsten Lutz , Holger Sturm , Frank Wolter Fusions of Description Logics and Abstract Description Systems. [Citation Graph (0, 0)][DBLP ] J. Artif. Intell. Res. (JAIR), 2002, v:16, n:, pp:1-58 [Journal ] Oliver Kutz , Holger Sturm , Nobu-Yuki Suzuki , Frank Wolter , Michael Zakharyaschev Axiomatizing Distance Logics. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 2002, v:12, n:3-4, pp:425-440 [Journal ] Yasuhito Suzuki , Frank Wolter , Michael Zakharyaschev Speaking about Transitive Frames in Propositional Languages. [Citation Graph (0, 0)][DBLP ] Journal of Logic, Language and Information, 1998, v:7, n:3, pp:317-339 [Journal ] Marcus Kracht , Frank Wolter Properties of Independently Axiomatizable Bimodal Logics. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1991, v:56, n:4, pp:1469-1485 [Journal ] Marcus Kracht , Frank Wolter Normal Monomodal Logics Can Simulate All Others. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1999, v:64, n:1, pp:99-138 [Journal ] Frank Wolter The Finite Model Property in Tense Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1995, v:60, n:3, pp:757-774 [Journal ] Frank Wolter Completeness and Decidability of Tense Logics Closely Related to Logics Above K4. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:1, pp:131-158 [Journal ] Frank Wolter , Michael Zakharyaschev Decidable Fragments of First-Order Modal Logics. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2001, v:66, n:3, pp:1415-1438 [Journal ] Carsten Lutz , Frank Wolter Modal Logics of Topological Relations. [Citation Graph (0, 0)][DBLP ] Logical Methods in Computer Science, 2006, v:2, n:2, pp:- [Journal ] Sebastian Bauer , Ian M. Hodkinson , Frank Wolter , Michael Zakharyaschev On Non-local Propositional and Weak Monodic Quantified CTL. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2004, v:14, n:1, pp:3-22 [Journal ] Holger Sturm , Frank Wolter A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2002, v:12, n:5, pp:809-838 [Journal ] Dirk Walther , Carsten Lutz , Frank Wolter , Michael Wooldridge ATL Satisfiability is Indeed EXPTIME-complete. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2006, v:16, n:6, pp:765-787 [Journal ] Frank Wolter The product of converse PDL and polymodal K. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2000, v:10, n:2, pp:223-251 [Journal ] Frank Wolter Solution to a Problem of Goranko and Passy. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1994, v:4, n:1, pp:21-22 [Journal ] Frank Wolter Tense Logic Without Tense Operators. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 1996, v:42, n:, pp:145-171 [Journal ] Frank Wolter Properties of Tense Logics. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 1996, v:42, n:, pp:481-500 [Journal ] Frank Wolter A Counterexample in Tense Logic. [Citation Graph (0, 0)][DBLP ] Notre Dame Journal of Formal Logic, 1996, v:37, n:2, pp:167-173 [Journal ] Roman Kontchakov , Carsten Lutz , Frank Wolter , Michael Zakharyaschev Temporalising Tableaux. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2004, v:76, n:1, pp:91-134 [Journal ] Marcus Kracht , Frank Wolter Simulation and Transfer Results in Modal Logic - A Survey. [Citation Graph (0, 0)][DBLP ] Studia Logica, 1997, v:59, n:1, pp:149-177 [Journal ] Ágnes Kurucz , Michael Zakharyaschev , Frank Wolter Preface. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2002, v:72, n:2, pp:145-146 [Journal ] Tadeusz Litak , Frank Wolter All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2005, v:81, n:2, pp:153-165 [Journal ] Carsten Lutz , Holger Sturm , Frank Wolter , Michael Zakharyaschev A Tableau Decision Algorithm for Modalized ALC with Constant Domains. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2002, v:72, n:2, pp:199-232 [Journal ] Frank Wolter First Order Common Knowledge Logics. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2000, v:65, n:2, pp:249-271 [Journal ] Frank Wolter What is the upper part of the lattice of bimodal logics? [Citation Graph (0, 0)][DBLP ] Studia Logica, 1994, v:53, n:2, pp:235-242 [Journal ] Frank Wolter Superintuitionistic Companions of Classical Modal Logics. [Citation Graph (0, 0)][DBLP ] Studia Logica, 1997, v:58, n:2, pp:229-259 [Journal ] Oliver Kutz , Frank Wolter , Holger Sturm , Nobu-Yuki Suzuki , Michael Zakharyaschev Logics of metric spaces. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2003, v:4, n:2, pp:260-294 [Journal ] Carsten Lutz , Frank Wolter Conservative Extensions in the Lightweight Description Logic EL. [Citation Graph (0, 0)][DBLP ] CADE, 2007, pp:84-99 [Conf ] Hongkai Liu , Carsten Lutz , Maja Milicic , Frank Wolter DL Actions with GCIs: a Pragmatic Approach. [Citation Graph (0, 0)][DBLP ] Description Logics, 2006, pp:- [Conf ] Alessandro Artale , Roman Kontchakov , Carsten Lutz , Frank Wolter , Michael Zakharyaschev Temporalising Tractable Description Logics. [Citation Graph (0, 0)][DBLP ] TIME, 2007, pp:11-22 [Conf ] Frank Wolter , Michael Zakharyaschev Undecidability of the unification and admissibility problems for modal and description logics [Citation Graph (0, 0)][DBLP ] CoRR, 2006, v:0, n:, pp:- [Journal ] Carsten Lutz , Frank Wolter Modal Logics of Topological Relations [Citation Graph (0, 0)][DBLP ] CoRR, 2006, v:0, n:, pp:- [Journal ] David Gabelaia , Roman Kontchakov , Ágnes Kurucz , Frank Wolter , Michael Zakharyaschev Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. [Citation Graph (0, 0)][DBLP ] J. Artif. Intell. Res. (JAIR), 2005, v:23, n:, pp:167-243 [Journal ] Mikhail Sheremet , Dmitry Tishkovsky , Frank Wolter , Michael Zakharyaschev A Logic for Concepts and Similarity. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2007, v:17, n:3, pp:415-452 [Journal ] Topology, connectedness, and modal logic. [Citation Graph (, )][DBLP ] The Logical Difference Problem for Description Logic Terminologies. [Citation Graph (, )][DBLP ] Modularity in DL-Lite. [Citation Graph (, )][DBLP ] Logical Difference and Module Extraction with CEX and MEX. [Citation Graph (, )][DBLP ] Query Answering over DL ABoxes: How to Pick the Relevant Symbols. [Citation Graph (, )][DBLP ] Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. [Citation Graph (, )][DBLP ] Checking DL-Lite Modularity with QBF Solvers. [Citation Graph (, )][DBLP ] Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. [Citation Graph (, )][DBLP ] Semantic Modularity and Module Extraction in Description Logics. [Citation Graph (, )][DBLP ] Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints. [Citation Graph (, )][DBLP ] Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. [Citation Graph (, )][DBLP ] Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. [Citation Graph (, )][DBLP ] Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. [Citation Graph (, )][DBLP ] Can You Tell the Difference Between DL-Lite Ontologies?. [Citation Graph (, )][DBLP ] Decomposing Description Logic Ontologies. [Citation Graph (, )][DBLP ] The Combined Approach to Query Answering in DL-Lite. [Citation Graph (, )][DBLP ] Query and Predicate Emptiness in Description Logics. [Citation Graph (, )][DBLP ] On the Computational Complexity of Spatial Logics with Connectedness Constraints. [Citation Graph (, )][DBLP ] Temporal Description Logics: A Survey. [Citation Graph (, )][DBLP ] Mathematical Logic for Life Science Ontologies. [Citation Graph (, )][DBLP ] Conjunctive Query Answering in EL using a Database System. [Citation Graph (, )][DBLP ] Logic-based ontology comparison and module extraction, with an application to DL-Lite. [Citation Graph (, )][DBLP ] All finitely axiomatizable subframe logics containing the provability logic CSM 0 _{0} are decidable. [Citation Graph (, )][DBLP ] A modal logic framework for reasoning about comparative distances and topology. [Citation Graph (, )][DBLP ] Spatial logics with connectedness predicates [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.667secs