RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Захарьящев Михаил В

В базах данных Math-Net.Ru
Публикаций: 4
Научных статей: 4
Лекций и докладов: 5

Статистика просмотров:
Эта страница:325
Страницы публикаций:455
Полные тексты:175
Списки литературы:32
Захарьящев Михаил В

профессор
доктор физико-математических наук
E-mail:
Коды УДК: 510.6, 517.11
   
Основные публикации:
  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/rus/person22501
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/190684
http://www.scopus.com/authid/detail.url?authorId=6602982360
Полный список публикаций: http://www.dcs.bbk.ac.uk/~michael/papers1.html

Публикации в базе данных 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 стр.  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),    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
1989
8. М. В. Захарьящев, “Модальные напарники суперинтуиционистских логик: синтаксис, семантика и теоремы о сохранении”, Матем. сб., 180:10 (1989),  1415–1427  mathnet  mathscinet  zmath; M. V. Zakharyaschev, “Modal companions of superintuitionistic logics: syntax, semantics, and preservation theorems”, Math. USSR-Sb., 68:1 (1991), 277–289  isi
1987
9. М. В. Захарьящев, “О дизъюнктивном свойстве суперинтуиционистских и модальных логик”, Матем. заметки, 42:5 (1987),  729–738  mathnet  mathscinet  zmath; M. V. Zakharyaschev, “Disjunctive property of superintuitionist and modal logics”, Math. Notes, 42:5 (1987), 901–905  isi
1984
10. М. В. Захарьящев, “Нормальные модальные логики, содержащие $\mathrm{S}4$”, Докл. АН СССР, 275:3 (1984),  537–540  mathnet  mathscinet  zmath
1983
11. М. В. Захарьящев, “О промежуточных логиках”, Докл. АН СССР, 269:1 (1983),  18–22  mathnet  mathscinet  zmath

Доклады и лекции в базе данных 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
18 октября 2017 г. 15:00   
2. Об аксиоматизации строго позитивных фрагментов модальных логик
М. В. Захарьящев, С. П. Кикоть
Семинар отдела математической логики «Теория доказательств»
26 декабря 2016 г. 18:30
3. Семантические технологии: новая жизнь для математической логики
М. В. Захарьящев, С. П. Кикоть
Коллоквиум Факультета компьютерных наук НИУ ВШЭ
22 декабря 2016 г. 18:10
4. On ontology-based data access
Michael Zakharyaschev
Международная конференция «Logical Models of Reasoning and Computation»
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
Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
24 августа 2010 г. 10:50   

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020