Frank Wolter

From Tetherless World Wiki

Jump to: navigation, search
Frank Wolter [ Edit ]
Photo:
Name: Frank Wolter
Occupation:
Affiliation(s):
Homepage(s):
Email(s):
Phone:
Fax:
Interests:
Other tags:
Alias:
Please also add"{{alias}}" to your alias pages.


Publication

Update publication from DBLP

  1. Frank Wolter, Michael Zakharyaschev. Undecidability of the unification and admissibility problems for modal and description logics, In ACM Trans. Comput. Log., 9(4), 2008 .
  2. Roman Kontchakov, Frank Wolter, Michael Zakharyaschev. Can You Tell the Difference Between DL-Lite Ontologies?, In KR, pp. 285-295, 2008 .
  3. Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter. Logical Difference and Module Extraction with CEX and MEX, In Description Logics, , 2008 .
  4. Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev. On the Computational Complexity of Spatial Logics with Connectedness Constraints, In LPAR, pp. 574-589, 2008 .
  5. Carsten Lutz, Frank Wolter, Michael Zakharyaschev. Temporal Description Logics: A Survey, In TIME, pp. 3-14, 2008 .
  6. Boris Konev, Dirk Walther, Frank Wolter. The Logical Difference Problem for Description Logic Terminologies, In IJCAR, pp. 259-274, 2008 .
  7. Roman Kontchakov, V. Ryzhikov, Frank Wolter, Michael Zakharyaschev. Checking DL-Lite Modularity with QBF Solvers, In Description Logics, , 2008 .
  8. Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter. CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL, In OWL: Experiences and Directions (OWLED), pp. online, 2008 .
  9. Carsten Lutz, Frank Wolter. Conservative Extensions in the Lightweight Description Logic EL, In CADE, pp. 84-99, 2007 .
  10. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev. A Logic for Concepts and Similarity, In J. Log. Comput., 17(3):415-452, 2007 .
  11. Roman Kontchakov, Frank Wolter, Michael Zakharyaschev. Modularity in DL-Lite, In Description Logics, , 2007 .
  12. Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. Temporalising Tractable Description Logics, In TIME, pp. 11-22, 2007 .
  13. Carsten Lutz, Dirk Walther, Frank Wolter. Conservative Extensions in Expressive Description Logics, In IJCAI, pp. 453-458, 2007 (Download) .
  14. Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev. Spatial Logic + Temporal Logic = ?, In Handbook of Spatial Logics, pp. 497-564, 2007 .
  15. Carsten Lutz, Dirk Walther, Frank Wolter. Quantitative temporal logics over the reals: PSpace and below, In Inf. Comput., 205(1):99-123, 2007 .
  16. Dirk Walther, Carsten Lutz, Frank Wolter, Michael Wooldridge. ATL Satisfiability is Indeed EXPTIME-complete, In J. Log. Comput., 16(6):765-787, 2006 .
  17. David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev. Non-primitive recursive decidability of products of modal logics with expanding domains, In Ann. Pure Appl. Logic, 142(1-3):245-268, 2006 .
  18. Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter. Updating Description Logic ABoxes, In KR, pp. 46-56, 2006 .
  19. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev. From topology to metric: modal logic and quantification in metric spaces, In Advances in Modal Logic, pp. 429-448, 2006 .
  20. Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter. Reasoning About Actions Using Description Logics with General TBoxes, In JELIA, pp. 266-279, 2006 .
  21. Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. Conservative extensions in modal logic, In Advances in Modal Logic, pp. 187-207, 2006 .
  22. Wolfgang Rautenberg, Michael Zakharyaschev, Frank Wolter. Willem Blok and Modal Logic, In Studia Logica, 83(1-3):15-30, 2006 .
  23. Carsten Lutz, Frank Wolter. Modal Logics of Topological Relations, In CoRR, abs/cs/0605064, 2006 .
  24. Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev. Automated Reasoning About Metric and Topology, In JELIA, pp. 490-493, 2006 .
  25. Piero A. Bonatti, Carsten Lutz, Frank Wolter. Description Logics with Circumscription, In KR, pp. 400-410, 2006 .
  26. Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev. Dynamic topological logics over spaces with continuous functions, In Advances in Modal Logic, pp. 299-318, 2006 .
  27. Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter. DL Actions with GCIs: a Pragmatic Approach, In Description Logics, , 2006 .
  28. Silvio Ghilardi, Carsten Lutz, Frank Wolter. Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics, In KR, pp. 187-197, 2006 .
  29. Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev. On Dynamic Topological and Metric Logics, In Studia Logica, 84(1):129-160, 2006 .
  30. David Gabelaia, Roman Kontchakov, \'A gnes Kurucz, Frank Wolter, Michael Zakharyaschev. Combining Spatial and Temporal Logics: Expressiveness vs. Complexity, In J. Artif. Intell. Res. (JAIR), 23:167-243, 2005 .
  31. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev. Comparative Similarity, Tree Automata, and Diophantine Equations, In LPAR, pp. 651-665, 2005 .
  32. Boris Konev, Frank Wolter, Michael Zakharyaschev. Temporal Logics over Transitive States, In CADE, pp. 182-203, 2005 .
  33. Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter. Integrating Description Logics and Action Formalisms: First Results, In AAAI, pp. 572-577, 2005 (Download) .
  34. Carsten Lutz, Dirk Walther, Frank Wolter. Quantitative Temporal Logics: PSPACE and Below, In TIME, pp. 138-146, 2005 .
  35. Tadeusz Litak, Frank Wolter. All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete, In Studia Logica, 81(2):153-165, 2005 .
  36. Agi Kurucz, Frank Wolter, Michael Zakharyaschev. Modal Logics for Metric Spaces: Open Problems, In We Will Show Them! (2), pp. 193-108, 2005 .
  37. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev. 'Closer' representation and reasoning, In Description Logics, , 2005 .
  38. Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev. On Non-local Propositional and Weak Monodic Quantified CTL, In J. Log. Comput., 14(1):3-22, 2004 .
  39. Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. Temporalising Tableaux, In Studia Logica, 76(1):91-134, 2004 .
  40. Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. E-connections of abstract description systems, In Artif. Intell., 156(1):1-73, 2004 .
  41. Carsten Lutz, Frank Wolter, Michael Zakharyaschev. A Tableau Algorithm for Reasoning about Concepts and Similarity, In TABLEAUX, pp. 134-149, 2003 .
  42. Carsten Lutz, Frank Wolter, Michael Zakharyaschev. Resasoning about Concepts and Similarity, In Description Logics, , 2003 .
  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, In TIME, pp. 91-98, 2003 .
  44. Franz Baader, Ralf K \"u sters, Frank Wolter. Extensions to Description Logics, In Description Logic Handbook, pp. 219-261, 2003 .
  45. Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter. From Tableaux to Automata for Description Logics, In LPAR, pp. 1-32, 2003 .
  46. Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev. Logics of metric spaces, In ACM Trans. Comput. Log., 4(2):260-294, 2003 .
  47. Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. E-connections of Description Logics, In Description Logics, , 2003 .
  48. Frank Wolter, Michael Zakharyaschev. Reasoning about distances, In IJCAI, pp. 1275-1282, 2003 (Download) .
  49. David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev. On the Computational Complexity of Spatio-Temporal Logics, In FLAIRS Conference, pp. 460-464, 2003 .
  50. Oliver Kutz, Frank Wolter, Michael Zakharyaschev. Connecting Abstract Description Systems, In KR, pp. 215-226, 2002 .
  51. Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev. Editorial Preface, In Advances in Modal Logic, , 2002 .
  52. Holger Sturm, Frank Wolter. A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case, In J. Log. Comput., 12(5):809-838, 2002 .
  53. Frank Wolter, Michael Zakharyaschev. Axiomatizing the monodic fragment of first-order temporal logic, In Ann. Pure Appl. Logic, 118(1-2):133-145, 2002 .
  54. Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev. Decidable and Undecidable Fragments of First-Order Branching Temporal Logics, In LICS, pp. 393-402, 2002 .
  55. Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter. Fusions of Description Logics and Abstract Description Systems, In J. Artif. Intell. Res. (JAIR), 16:1-58, 2002 .
  56. Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev. A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries, In JELIA, pp. 98-110, 2002 .
  57. Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev. Axiomatizing Distance Logics, In Journal of Applied Non-Classical Logics, 12(3-4):425-440, 2002 .
  58. Brandon Bennett, Anthony G. Cohn, Frank Wolter, Michael Zakharyaschev. Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning, In Appl. Intell., 17(3):239-251, 2002 .
  59. Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev. On Non-Local Propositional and Local One-Variable Quantified CTL*, In TIME, pp. 2-9, 2002 .
  60. Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev. A Tableau Decision Algorithm for Modalized ALC with Constant Domains, In Studia Logica, 72(2):199-232, 2002 .
  61. Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev. Monodic fragments of first-order temporal logics: 2000-2001 A.D, In LPAR, pp. 1-23, 2001 .
  62. Oliver Kutz, Frank Wolter, Michael Zakharyaschev. A Note on Concepts and Distances, In Description Logics, , 2001 .
  63. Carsten Lutz, Ulrike Sattler, Frank Wolter. Modal Logic and the Two-Variable Fragment, In CSL, pp. 247-261, 2001 .
  64. Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev. Tableaux for Temporal Description Logic with Constant Domains, In IJCAR, pp. 121-136, 2001 .
  65. Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev. Reasoning over Conceptual Schemas and Queries in Temporal Databases, In SEBD, pp. 201-214, 2001 .
  66. Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev. The DLRUS Temporal Description Logic, In Description Logics, , 2001 .
  67. Carsten Lutz, Ulrike Sattler, Frank Wolter. Description Logics and the Two-Variable Fragment, In Description Logics, , 2001 .
  68. Frank Wolter, Michael Zakharyaschev. Decidable Fragments of First-Order Modal Logics, In J. Symb. Log., 66(3):1415-1438, 2001 .
  69. Frank Wolter. The product of converse PDL and polymodal K, In J. Log. Comput., 10(2):223-251, 2000 .
  70. Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev. Decidable fragment of first-order temporal logics, In Ann. Pure Appl. Logic, 106(1-3):85-134, 2000 .
  71. Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev. Semi-qualitative Reasoning about Distances: A Preliminary Report, In JELIA, pp. 37-56, 2000 .
  72. Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter. Fusions of Description Logics, In Description Logics, pp. 21-30, 2000 .
  73. Frank Wolter, Michael Zakharyaschev. Spatial Reasoning in RCC-8 with Boolean Region Terms, In ECAI, pp. 244-250, 2000 .
  74. Frank Wolter. First Order Common Knowledge Logics, In Studia Logica, 65(2):249-271, 2000 .
  75. Frank Wolter, Michael Zakharyaschev. Spatio-temporal representation and reasoning based on RCC-8, In KR, pp. 3-14, 2000 .
  76. Holger Sturm, Frank Wolter, Michael Zakharyaschev. Monodic Epistemic Predicate Logic, In JELIA, pp. 329-344, 2000 .
  77. Frank Wolter, Michael Zakharyaschev. Modal Description Logics: Modalizing Roles, In Fundam. Inform., 39(4):411-438, 1999 .
  78. Frank Wolter, Michael Zakharyaschev. Multi-Dimensional Description Logics, In IJCAI, pp. 104-109, 1999 (Download) .
  79. Marcus Kracht, Frank Wolter. Normal Monomodal Logics Can Simulate All Others, In J. Symb. Log., 64(1):99-138, 1999 .
  80. Frank Wolter, Michael Zakharyaschev. On the Decidability of Description Logics with Modal Operators, In KR, pp. 512-523, 1998 .
  81. Yasuhito Suzuki, Frank Wolter, Michael Zakharyaschev. Speaking about Transitive Frames in Propositional Languages, In Journal of Logic, Language and Information, 7(3):317-339, 1998 .
  82. Frank Wolter, Michael Zakharyaschev. Dynamic Description Logics, In Advances in Modal Logic, pp. 431-446, 1998 .
  83. Frank Wolter. Superintuitionistic Companions of Classical Modal Logics, In Studia Logica, 58(2):229-259, 1997 .
  84. Frank Wolter. Completeness and Decidability of Tense Logics Closely Related to Logics Above K4, In J. Symb. Log., 62(1):131-158, 1997 .
  85. Marcus Kracht, Frank Wolter. Simulation and Transfer Results in Modal Logic - A Survey, In Studia Logica, 59(1):149-177, 1997 .
  86. Frank Wolter. The Structure of Lattices of Subframe Logics, In Ann. Pure Appl. Logic, 86(1):47-100, 1997 .
  87. Frank Wolter. A Counterexample in Tense Logic, In Notre Dame Journal of Formal Logic, 37(2):167-173, 1996 .
  88. Frank Wolter. Tense Logic Without Tense Operators, In Math. Log. Q., 42:145-171, 1996 .
  89. Frank Wolter. Properties of Tense Logics, In Math. Log. Q., 42:481-500, 1996 .
  90. Frank Wolter. The Finite Model Property in Tense Logic, In J. Symb. Log., 60(3):757-774, 1995 .
  91. Frank Wolter. Solution to a Problem of Goranko and Passy, In J. Log. Comput., 4(1):21-22, 1994 .
  92. Frank Wolter. What is the upper part of the lattice of bimodal logics?, In Studia Logica, 53(2):235-242, 1994 .
  93. Marcus Kracht, Frank Wolter. Properties of Independently Axiomatizable Bimodal Logics, In J. Symb. Log., 56(4):1469-1485, 1991 .

External Links

More information on Google, and DBLP

Facts about Frank WolterRDF feed
Foaf:depiction Anonymous.png  +
Foaf:firstName Frank  +
Foaf:name Frank Wolter  +
Foaf:surname Wolter  +
Has identifier Frank Wolter  +
Retrieved from "http://tw.rpi.edu/wiki/Frank_Wolter"
Personal tools