The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Frank Wolter: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Frank Wolter, Michael Zakharyaschev
    On the Decidability of Description Logics with Modal Operators. [Citation Graph (1, 0)][DBLP]
    KR, 1998, pp:512-523 [Conf]
  2. 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]
  3. Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
    Editorial Preface. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:- [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. Frank Wolter, Michael Zakharyaschev
    Dynamic Description Logics. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 1998, pp:431-446 [Conf]
  8. 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]
  9. Boris Konev, Frank Wolter, Michael Zakharyaschev
    Temporal Logics over Transitive States. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:182-203 [Conf]
  10. 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]
  11. Carsten Lutz, Ulrike Sattler, Frank Wolter
    Modal Logic and the Two-Variable Fragment. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:247-261 [Conf]
  12. 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]
  13. Franz Baader, Ralf Küsters, Frank Wolter
    Extensions to Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logic Handbook, 2003, pp:219-261 [Conf]
  14. Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
    Fusions of Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2000, pp:21-30 [Conf]
  15. 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]
  16. Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
    E-connections of Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  17. Oliver Kutz, Frank Wolter, Michael Zakharyaschev
    A Note on Concepts and Distances. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2001, pp:- [Conf]
  18. Carsten Lutz, Ulrike Sattler, Frank Wolter
    Description Logics and the Two-Variable Fragment. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2001, pp:- [Conf]
  19. Carsten Lutz, Frank Wolter, Michael Zakharyaschev
    Resasoning about Concepts and Similarity. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  20. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
    'Closer' representation and reasoning. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2005, pp:- [Conf]
  21. Frank Wolter, Michael Zakharyaschev
    Spatial Reasoning in RCC-8 with Boolean Region Terms. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:244-250 [Conf]
  22. 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]
  23. Frank Wolter, Michael Zakharyaschev
    Reasoning about distances. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:1275-1282 [Conf]
  24. Frank Wolter, Michael Zakharyaschev
    Multi-Dimensional Description Logics. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:104-109 [Conf]
  25. Carsten Lutz, Dirk Walther, Frank Wolter
    Conservative Extensions in Expressive Description Logics. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:453-458 [Conf]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. Holger Sturm, Frank Wolter, Michael Zakharyaschev
    Monodic Epistemic Predicate Logic. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:329-344 [Conf]
  31. Piero A. Bonatti, Carsten Lutz, Frank Wolter
    Description Logics with Circumscription. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:400-410 [Conf]
  32. 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]
  33. Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
    Updating Description Logic ABoxes. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:46-56 [Conf]
  34. Oliver Kutz, Frank Wolter, Michael Zakharyaschev
    Connecting Abstract Description Systems. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:215-226 [Conf]
  35. Frank Wolter, Michael Zakharyaschev
    Spatio-temporal representation and reasoning based on RCC-8. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:3-14 [Conf]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. Carsten Lutz, Dirk Walther, Frank Wolter
    Quantitative Temporal Logics: PSPACE and Below. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:138-146 [Conf]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. 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]
  55. 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]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. 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]
  63. 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]
  64. 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]
  65. 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]
  66. 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]
  67. 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]
  68. Frank Wolter
    Tense Logic Without Tense Operators. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1996, v:42, n:, pp:145-171 [Journal]
  69. Frank Wolter
    Properties of Tense Logics. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1996, v:42, n:, pp:481-500 [Journal]
  70. 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]
  71. 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]
  72. 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]
  73. Ágnes Kurucz, Michael Zakharyaschev, Frank Wolter
    Preface. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:72, n:2, pp:145-146 [Journal]
  74. 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]
  75. 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]
  76. Frank Wolter
    First Order Common Knowledge Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2000, v:65, n:2, pp:249-271 [Journal]
  77. 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]
  78. Frank Wolter
    Superintuitionistic Companions of Classical Modal Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1997, v:58, n:2, pp:229-259 [Journal]
  79. 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]
  80. Carsten Lutz, Frank Wolter
    Conservative Extensions in the Lightweight Description Logic EL. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:84-99 [Conf]
  81. 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]
  82. 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]
  83. 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]
  84. Carsten Lutz, Frank Wolter
    Modal Logics of Topological Relations [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  85. 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]
  86. 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]

  87. Topology, connectedness, and modal logic. [Citation Graph (, )][DBLP]


  88. The Logical Difference Problem for Description Logic Terminologies. [Citation Graph (, )][DBLP]


  89. Modularity in DL-Lite. [Citation Graph (, )][DBLP]


  90. Logical Difference and Module Extraction with CEX and MEX. [Citation Graph (, )][DBLP]


  91. Query Answering over DL ABoxes: How to Pick the Relevant Symbols. [Citation Graph (, )][DBLP]


  92. Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. [Citation Graph (, )][DBLP]


  93. Checking DL-Lite Modularity with QBF Solvers. [Citation Graph (, )][DBLP]


  94. Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. [Citation Graph (, )][DBLP]


  95. Semantic Modularity and Module Extraction in Description Logics. [Citation Graph (, )][DBLP]


  96. Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints. [Citation Graph (, )][DBLP]


  97. Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. [Citation Graph (, )][DBLP]


  98. Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. [Citation Graph (, )][DBLP]


  99. Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. [Citation Graph (, )][DBLP]


  100. Can You Tell the Difference Between DL-Lite Ontologies?. [Citation Graph (, )][DBLP]


  101. Decomposing Description Logic Ontologies. [Citation Graph (, )][DBLP]


  102. The Combined Approach to Query Answering in DL-Lite. [Citation Graph (, )][DBLP]


  103. Query and Predicate Emptiness in Description Logics. [Citation Graph (, )][DBLP]


  104. On the Computational Complexity of Spatial Logics with Connectedness Constraints. [Citation Graph (, )][DBLP]


  105. Temporal Description Logics: A Survey. [Citation Graph (, )][DBLP]


  106. Mathematical Logic for Life Science Ontologies. [Citation Graph (, )][DBLP]


  107. Conjunctive Query Answering in EL using a Database System. [Citation Graph (, )][DBLP]


  108. Logic-based ontology comparison and module extraction, with an application to DL-Lite. [Citation Graph (, )][DBLP]


  109. All finitely axiomatizable subframe logics containing the provability logic CSM 0_{0} are decidable. [Citation Graph (, )][DBLP]


  110. A modal logic framework for reasoning about comparative distances and topology. [Citation Graph (, )][DBLP]


  111. Spatial logics with connectedness predicates [Citation Graph (, )][DBLP]


Search in 0.022secs, Finished in 0.027secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002