The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael Zakharyaschev: [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. Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
    Editorial Preface. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:- [Conf]
  3. 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]
  4. 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]
  5. 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]
  6. Frank Wolter, Michael Zakharyaschev
    Dynamic Description Logics. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 1998, pp:431-446 [Conf]
  7. Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing
    The Origins of Modern Modal Logic. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 1998, pp:- [Conf]
  8. Ágnes Kurucz, Michael Zakharyaschev
    A Note on Relativised Products of Modal Logics. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:221-242 [Conf]
  9. 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]
  10. Boris Konev, Frank Wolter, Michael Zakharyaschev
    Temporal Logics over Transitive States. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:182-203 [Conf]
  11. 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]
  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. Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
    E-connections of Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  14. Oliver Kutz, Frank Wolter, Michael Zakharyaschev
    A Note on Concepts and Distances. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2001, pp:- [Conf]
  15. Carsten Lutz, Frank Wolter, Michael Zakharyaschev
    Resasoning about Concepts and Similarity. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  16. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
    'Closer' representation and reasoning. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2005, pp:- [Conf]
  17. Frank Wolter, Michael Zakharyaschev
    Spatial Reasoning in RCC-8 with Boolean Region Terms. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:244-250 [Conf]
  18. Michael Zakharyaschev
    Theorem Proving in Intermediate and Modal Logics. [Citation Graph (0, 0)][DBLP]
    FCT, 1987, pp:492-496 [Conf]
  19. 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]
  20. Frank Wolter, Michael Zakharyaschev
    Reasoning about distances. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:1275-1282 [Conf]
  21. Frank Wolter, Michael Zakharyaschev
    Multi-Dimensional Description Logics. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:104-109 [Conf]
  22. 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]
  23. 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]
  24. 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]
  25. Holger Sturm, Frank Wolter, Michael Zakharyaschev
    Monodic Epistemic Predicate Logic. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:329-344 [Conf]
  26. Oliver Kutz, Frank Wolter, Michael Zakharyaschev
    Connecting Abstract Description Systems. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:215-226 [Conf]
  27. Frank Wolter, Michael Zakharyaschev
    Spatio-temporal representation and reasoning based on RCC-8. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:3-14 [Conf]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. Roman Kontchakov, Agi Kurucz, Michael Zakharyaschev
    Undecidability of first-order intuitionistic and modal logics with two variables. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2005, v:11, n:3, pp:428-0 [Journal]
  41. 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]
  42. 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]
  43. 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]
  44. Michael Zakharyaschev
    Multi-Dimensional Modal Logic, Maarten Marx and Yde Venema. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2000, v:9, n:1, pp:128-131 [Journal]
  45. Alexander V. Chagrov, Michael Zakharyaschev
    The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:3, pp:967-1002 [Journal]
  46. 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]
  47. Michael Zakharyaschev
    Canonical Formulas for K4, Part I: Basic Results. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:4, pp:1377-1402 [Journal]
  48. Michael Zakharyaschev
    Canonical Formulas for K4, Part II: Confinal Subframe Logics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:2, pp:421-449 [Journal]
  49. Michael Zakharyaschev
    Canonical Formulas for K4, Part III: The Finite Model Property. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:3, pp:950-975 [Journal]
  50. Alexander V. Chagrov, Michael Zakharyaschev
    On the Independent Axiomatizability of Modal and Intermediate Logics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1995, v:5, n:3, pp:287-302 [Journal]
  51. 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]
  52. Mark Reynolds, Michael Zakharyaschev
    On the Products of Linear Modal Logics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:6, pp:909-931 [Journal]
  53. Michael Zakharyaschev, Alexander Alekseev
    All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1995, v:41, n:, pp:15-23 [Journal]
  54. Michael Zakharyaschev
    A New Solution to a Problem of Hosoi and Ono. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1994, v:35, n:3, pp:450-457 [Journal]
  55. Alexander V. Chagrov, Michael Zakharyaschev
    Modal Companions of Intermediate Propositional Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1992, v:51, n:1, pp:49-82 [Journal]
  56. 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]
  57. Ágnes Kurucz, Michael Zakharyaschev, Frank Wolter
    Preface. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:72, n:2, pp:145-146 [Journal]
  58. 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]
  59. Michael Zakharyaschev
    The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1997, v:59, n:3, pp:345-358 [Journal]
  60. 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]
  61. Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
    DL-Lite in the Light of First-Order Logic. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:361-366 [Conf]
  62. Alessandro Artale, Diego Calvanese, Roman Kontchakov, V. Ryzhikov, Michael Zakharyaschev
    Reasoning over Extended ER Models. [Citation Graph (0, 0)][DBLP]
    ER, 2007, pp:277-292 [Conf]
  63. Michael Zakharyaschev
    Temporalising Logics: Fifteen Years After. [Citation Graph (0, 0)][DBLP]
    FroCos, 2007, pp:72- [Conf]
  64. Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
    Query Answering in Expressive Variants of DL-Lite. [Citation Graph (0, 0)][DBLP]
    SEBD, 2007, pp:250-257 [Conf]
  65. 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]
  66. 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]
  67. 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]
  68. 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]

  69. Past and Future of DL-Lite. [Citation Graph (, )][DBLP]


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


  71. DL-Lite and Role Inclusions. [Citation Graph (, )][DBLP]


  72. Complexity of Reasoning in Entity Relationship Models. [Citation Graph (, )][DBLP]


  73. Which Kind of Module Should I Extract? [Citation Graph (, )][DBLP]


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


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


  76. DL-Lite without UNA. [Citation Graph (, )][DBLP]


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


  78. Extending DL-Lite Sometime in the Future. [Citation Graph (, )][DBLP]


  79. Adding Weight to DL-Lite. [Citation Graph (, )][DBLP]


  80. DL-Lite with Temporalised Concepts, Rigid Axioms and Roles. [Citation Graph (, )][DBLP]


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


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


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


  84. Interpreting Topological Logics over Euclidean Spaces. [Citation Graph (, )][DBLP]


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


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


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


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


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


Search in 0.011secs, Finished in 0.427secs
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