Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Zakharyaschev, Michael

Statistics Math-Net.Ru
Total publications: 6
Scientific articles: 6
Presentations: 5

Number of views:
This page:384
Abstract pages:515
Full texts:207
References:32
Zakharyaschev, Michael

Professor
Doctor of physico-mathematical sciences
E-mail:
Keywords: Logic, complexity, data bases, knowledge representation and reasoning, semantic web.
UDC: 510.6, 517.11

Subject:

Logic, complexity, data bases, knowledge representation and reasoning, semantic web.

   
Main publications:
  1. Roman Kontchakov and Frank Wolter and Michael Zakharyaschev, “Logic-based ontology comparison and module extraction, with an application to DL-Lite”, Artif. Intell., 174:15 (2010), 1093–1141  crossref
  2. Frank Wolter and Michael Zakharyaschev, “Undecidability of the unification and admissibility problems for modal and description logics”, ACM Trans. Comput. Log., 9:4 (2008)  crossref
  3. Gabbay, D M and Kurucz, A and Wolter, F and Zakharyaschev, M, Many-dimensional modal logics: theory and applications, Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 2003
  4. Ian M. Hodkinson and Frank Wolter and Michael Zakharyaschev, “Decidable fragment of first-order temporal logics”, Ann. Pure Appl. Logic, 106:1-3 (2000), 85–134  crossref
  5. Alexander Chagrov, Michael Zakharyaschev, Modal Logic, Oxford Logic Guides, 35, Clarendon Press, Oxford, 1997

http://www.mathnet.ru/eng/person22501
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/190684
https://www.scopus.com/authid/detail.url?authorId=6602982360
Full list of publications: http://www.dcs.bbk.ac.uk/~michael/papers1.html

Publications in Math-Net.Ru
2018
1. Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev, “Ontology-mediated queries: Combined complexity and succinctness of rewritings via circuit complexity”, Journal of the ACM, 65:5 (2018), 028, 51 pp.  mathnet  mathscinet  isi  scopus
2017
2. O. A. Gerasimova, S. P. Kikot, V. V. Podolskii, M. Zakharyaschev, “More on the Data Complexity of Answering Ontology-Mediated Queries with a Covering Axiom”, Commun. Comput. Inf. Sci., 786 (2017),  143–158  mathnet  mathscinet  scopus
3. O. Gerasimova, S. Kikot, V. Podolskii, M. Zakharyaschev, “On the data complexity of ontology-mediated queries with a covering axiom”, CEUR Workshop Proceedings, 1879 (2017),  39–12  mathnet  scopus
2016
4. M. Bienvenu, S. Kikot, R. Kontchakov, V. Podolskii, M. Zakharyaschev, “Theoretically optimal datalog rewritings for OWL 2 QL ontology-mediated queries”, CEUR Workshop Proceedings, 1577 (2016),  0  mathnet  elib  scopus
2014
5. G. Gottlob, S. Kikot, R. Kontchakov, V. Podolskii, T. Schwentick, M. Zakharyaschev, “The price of query rewriting in ontology-based data access”, Artif. Intell., 213 (2014),  42–59  mathnet  mathscinet  zmath  isi  scopus
2013
6. S. Kikot, R. Kontchakov, V. Podolskii, M. Zakharyaschev, “Query Rewriting over Shallow Ontologies”, CEUR Workshop Proceedings, 1014 (2013),  316–327  mathnet  scopus
2012
7. S. Kikot, R. Kontchakov, V. V. Podolskii, M. Zakharyaschev, “Exponential lower bounds and separation for query rewriting”, Lecture Notes in Comput. Sci., 7392 (2012),  263–274  mathnet  mathscinet  zmath  isi  scopus
1997
8. F. Wolter, M. Zakharyaschev, “On the relation between intuitionistic and classical modal logics”, Algebra Logika, 36:2 (1997),  121–155  mathnet  mathscinet
1989
9. M. Zakharyaschev, “Syntax and semantics of superintuitionistic logics”, Algebra Logika, 28:4 (1989),  402–429  mathnet  mathscinet
10. M. V. Zakharyaschev, “Modal companions of superintuitionistic logics: syntax, semantics, and preservation theorems”, Mat. Sb., 180:10 (1989),  1415–1427  mathnet  mathscinet  zmath; Math. USSR-Sb., 68:1 (1991), 277–289  isi
1988
11. M. Zakharyaschev, “Syntax and semantics of modal logics that contain $S4$”, Algebra Logika, 27:6 (1988),  659–689  mathnet  mathscinet
1987
12. M. V. Zakharyaschev, “Disjunctive property of superintuitionist and modal logics”, Mat. Zametki, 42:5 (1987),  729–738  mathnet  mathscinet  zmath; Math. Notes, 42:5 (1987), 901–905  isi
1984
13. M. V. Zakharyaschev, “Normal modal logics containing $\mathrm{S}4$”, Dokl. Akad. Nauk SSSR, 275:3 (1984),  537–540  mathnet  mathscinet  zmath
1983
14. M. Zakharyaschev, “On intermediate logics”, Dokl. Akad. Nauk SSSR, 269:1 (1983),  18–22  mathnet  mathscinet  zmath

Presentations in Math-Net.Ru
1. Kripke completeness of strictly positive modal logics over meet-semilattices with operators
M. Zakharyaschev
Workshop on Proof Theory, Modal Logic and Reflection Principles
October 18, 2017 15:00   
2. Об аксиоматизации строго позитивных фрагментов модальных логик
M. Zakharyaschev, S. P. Kikot'
Seminars "Proof Theory" and "Logic Online Seminar"
December 26, 2016 18:30
3. Семантические технологии: новая жизнь для математической логики
M. Zakharyaschev, S. P. Kikot'
Colloquium of the Faculty of Computer Science
December 22, 2016 18:10
4. On ontology-based data access
Michael Zakharyaschev
International workshop "Logical Models of Reasoning and Computation"
February 2, 2012 15:30   
5. Islands of tractability for relational constraints: towards dichotomy results for the description logic $\mathcal{EL}$
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
The eighth International сonference "Advances in Modal Logic" (AiML 2010)
August 24, 2010 10:50   

Organisations
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021