Michael Zakharyaschev

From Tetherless World Wiki

Jump to: navigation, search
Michael Zakharyaschev [ Edit ]
Photo:
Name: Michael Zakharyaschev
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. Carsten Lutz, Frank Wolter, Michael Zakharyaschev. Temporal Description Logics: A Survey, In TIME, pp. 3-14, 2008 .
  2. Roman Kontchakov, Michael Zakharyaschev. DL-Lite and Role Inclusions, In ASWC, pp. 16-30, 2008 .
  3. 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 .
  4. Roman Kontchakov, V. Ryzhikov, Frank Wolter, Michael Zakharyaschev. Checking DL-Lite Modularity with QBF Solvers, In Description Logics, , 2008 .
  5. Frank Wolter, Michael Zakharyaschev. Undecidability of the unification and admissibility problems for modal and description logics, In ACM Trans. Comput. Log., 9(4), 2008 .
  6. Roman Kontchakov, Frank Wolter, Michael Zakharyaschev. Can You Tell the Difference Between DL-Lite Ontologies?, In KR, pp. 285-295, 2008 .
  7. Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev. Query Answering in Expressive Variants of DL-Lite, In SEBD, pp. 250-257, 2007 .
  8. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev. A Logic for Concepts and Similarity, In J. Log. Comput., 17(3):415-452, 2007 .
  9. Alessandro Artale, Diego Calvanese, Roman Kontchakov, V. Ryzhikov, Michael Zakharyaschev. Reasoning over Extended ER Models, In ER, pp. 277-292, 2007 .
  10. Roman Kontchakov, Frank Wolter, Michael Zakharyaschev. Modularity in DL-Lite, In Description Logics, , 2007 .
  11. Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev. DL-Lite in the Light of First-Order Logic, In AAAI, pp. 361-366, 2007 (Download) .
  12. Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. Temporalising Tractable Description Logics, In TIME, pp. 11-22, 2007 .
  13. Michael Zakharyaschev. Temporalising Logics: Fifteen Years After, In FroCos, pp. 72, 2007 .
  14. Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev. Spatial Logic + Temporal Logic = ?, In Handbook of Spatial Logics, pp. 497-564, 2007 .
  15. Alessandro Artale, Diego Calvanese, Roman Kontchakov, V. Ryzhikov, Michael Zakharyaschev. Complexity of Reasoning in Entity Relationship Models, In Description Logics, , 2007 .
  16. Wolfgang Rautenberg, Michael Zakharyaschev, Frank Wolter. Willem Blok and Modal Logic, In Studia Logica, 83(1-3):15-30, 2006 .
  17. Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev. Automated Reasoning About Metric and Topology, In JELIA, pp. 490-493, 2006 .
  18. 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 .
  19. Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev. On Dynamic Topological and Metric Logics, In Studia Logica, 84(1):129-160, 2006 .
  20. 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 .
  21. 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 .
  22. Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. Conservative extensions in modal logic, In Advances in Modal Logic, pp. 187-207, 2006 .
  23. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev. Comparative Similarity, Tree Automata, and Diophantine Equations, In LPAR, pp. 651-665, 2005 .
  24. Boris Konev, Frank Wolter, Michael Zakharyaschev. Temporal Logics over Transitive States, In CADE, pp. 182-203, 2005 .
  25. Roman Kontchakov, Agi Kurucz, Michael Zakharyaschev. Undecidability of first-order intuitionistic and modal logics with two variables, In Bulletin of Symbolic Logic, 11(3):428-, 2005 .
  26. Agi Kurucz, Frank Wolter, Michael Zakharyaschev. Modal Logics for Metric Spaces: Open Problems, In We Will Show Them! (2), pp. 193-108, 2005 .
  27. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev. 'Closer' representation and reasoning, In Description Logics, , 2005 .
  28. 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 .
  29. 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 .
  30. Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. E-connections of abstract description systems, In Artif. Intell., 156(1):1-73, 2004 .
  31. Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. Temporalising Tableaux, In Studia Logica, 76(1):91-134, 2004 .
  32. Carsten Lutz, Frank Wolter, Michael Zakharyaschev. A Tableau Algorithm for Reasoning about Concepts and Similarity, In TABLEAUX, pp. 134-149, 2003 .
  33. 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 .
  34. Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. E-connections of Description Logics, In Description Logics, , 2003 .
  35. 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 .
  36. Carsten Lutz, Frank Wolter, Michael Zakharyaschev. Resasoning about Concepts and Similarity, In Description Logics, , 2003 .
  37. 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 .
  38. Frank Wolter, Michael Zakharyaschev. Reasoning about distances, In IJCAI, pp. 1275-1282, 2003 (Download) .
  39. Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev. Editorial Preface, In Advances in Modal Logic, , 2002 .
  40. 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 .
  41. \'A gnes Kurucz, Michael Zakharyaschev. A Note on Relativised Products of Modal Logics, In Advances in Modal Logic, pp. 221-242, 2002 .
  42. Frank Wolter, Michael Zakharyaschev. Axiomatizing the monodic fragment of first-order temporal logic, In Ann. Pure Appl. Logic, 118(1-2):133-145, 2002 .
  43. Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev. Decidable and Undecidable Fragments of First-Order Branching Temporal Logics, In LICS, pp. 393-402, 2002 .
  44. 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 .
  45. 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 .
  46. 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 .
  47. 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 .
  48. Oliver Kutz, Frank Wolter, Michael Zakharyaschev. Connecting Abstract Description Systems, In KR, pp. 215-226, 2002 .
  49. Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev. Tableaux for Temporal Description Logic with Constant Domains, In IJCAR, pp. 121-136, 2001 .
  50. Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev. The DLRUS Temporal Description Logic, In Description Logics, , 2001 .
  51. Frank Wolter, Michael Zakharyaschev. Decidable Fragments of First-Order Modal Logics, In J. Symb. Log., 66(3):1415-1438, 2001 .
  52. Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev. Monodic fragments of first-order temporal logics: 2000-2001 A.D, In LPAR, pp. 1-23, 2001 .
  53. Oliver Kutz, Frank Wolter, Michael Zakharyaschev. A Note on Concepts and Distances, In Description Logics, , 2001 .
  54. Mark Reynolds, Michael Zakharyaschev. On the Products of Linear Modal Logics, In J. Log. Comput., 11(6):909-931, 2001 .
  55. 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 .
  56. Frank Wolter, Michael Zakharyaschev. Spatio-temporal representation and reasoning based on RCC-8, In KR, pp. 3-14, 2000 .
  57. Holger Sturm, Frank Wolter, Michael Zakharyaschev. Monodic Epistemic Predicate Logic, In JELIA, pp. 329-344, 2000 .
  58. Michael Zakharyaschev. Multi-Dimensional Modal Logic, Maarten Marx and Yde Venema, In Journal of Logic, Language and Information, 9(1):128-131, 2000 .
  59. 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 .
  60. Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev. Semi-qualitative Reasoning about Distances: A Preliminary Report, In JELIA, pp. 37-56, 2000 .
  61. Frank Wolter, Michael Zakharyaschev. Spatial Reasoning in RCC-8 with Boolean Region Terms, In ECAI, pp. 244-250, 2000 .
  62. Frank Wolter, Michael Zakharyaschev. Multi-Dimensional Description Logics, In IJCAI, pp. 104-109, 1999 (Download) .
  63. Frank Wolter, Michael Zakharyaschev. Modal Description Logics: Modalizing Roles, In Fundam. Inform., 39(4):411-438, 1999 .
  64. Frank Wolter, Michael Zakharyaschev. Dynamic Description Logics, In Advances in Modal Logic, pp. 431-446, 1998 .
  65. Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing. The Origins of Modern Modal Logic, In Advances in Modal Logic, , 1998 .
  66. Frank Wolter, Michael Zakharyaschev. On the Decidability of Description Logics with Modal Operators, In KR, pp. 512-523, 1998 .
  67. 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 .
  68. Michael Zakharyaschev. Canonical Formulas for K4, Part III: The Finite Model Property, In J. Symb. Log., 62(3):950-975, 1997 .
  69. Michael Zakharyaschev. The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable, In Studia Logica, 59(3):345-358, 1997 .
  70. Michael Zakharyaschev. Canonical Formulas for K4, Part II: Confinal Subframe Logics, In J. Symb. Log., 61(2):421-449, 1996 .
  71. Alexander V. Chagrov, Michael Zakharyaschev. On the Independent Axiomatizability of Modal and Intermediate Logics, In J. Log. Comput., 5(3):287-302, 1995 .
  72. Michael Zakharyaschev, Alexander Alekseev. All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable, In Math. Log. Q., 41:15-23, 1995 .
  73. Michael Zakharyaschev. A New Solution to a Problem of Hosoi and Ono, In Notre Dame Journal of Formal Logic, 35(3):450-457, 1994 .
  74. Michael Zakharyaschev. A Sufficient Condition for the Finite Model Property of Modal Logics above K4, In Logic Journal of the IGPL, 1(1):13-21, 1993 .
  75. Alexander V. Chagrov, Michael Zakharyaschev. The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems, In J. Symb. Log., 58(3):967-1002, 1993 .
  76. Michael Zakharyaschev. Canonical Formulas for K4, Part I: Basic Results, In J. Symb. Log., 57(4):1377-1402, 1992 .
  77. Alexander V. Chagrov, Michael Zakharyaschev. Modal Companions of Intermediate Propositional Logics, In Studia Logica, 51(1):49-82, 1992 .
  78. Michael Zakharyaschev. Theorem Proving in Intermediate and Modal Logics, In FCT, pp. 492-496, 1987 .

External Links

More information on Google, and DBLP

Facts about Michael ZakharyaschevRDF feed
Foaf:depiction Anonymous.png  +
Foaf:firstName Michael  +
Foaf:name Michael Zakharyaschev  +
Foaf:surname Zakharyaschev  +
Has identifier Michael Zakharyaschev  +
Retrieved from "http://tw.rpi.edu/wiki/Michael_Zakharyaschev"
Personal tools