Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Захарьящев Михаил В
В базах данных Math-Net.Ru
Публикаций: 15
Научных статей: 15
Лекций и докладов: 5

Статистика просмотров:
Эта страница:540
Страницы публикаций:1380
Полные тексты:355
Списки литературы:43
Захарьящев Михаил В
Полный список публикаций
профессор
доктор физико-математических наук
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

https://www.mathnet.ru/rus/person22501
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/190684
https://www.scopus.com/authid/detail.url?authorId=6602982360
Полный список публикаций: http://www.dcs.bbk.ac.uk/~michael/papers1.html

Публикации в базе данных Math-Net.Ru Цитирования
2022
1. Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir Podolskii, Michael Zakharyaschev, “A tetrachotomy of ontology-mediated queries with a covering axiom”, Artif. Intell., 309 (2022),  103738–46  mathnet  mathscinet 1
2018
2. 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 14
2017
3. 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
4. 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
5. 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
6. 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 41
2013
7. S. Kikot, R. Kontchakov, V. Podolskii, M. Zakharyaschev, “Query Rewriting over Shallow Ontologies”, CEUR Workshop Proceedings, 1014 (2013),  316–327  mathnet  scopus
2012
8. 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 20
1997
9. Ф. Вольтер, М. В. Захарьящев, “Об отношении между интуиционистскими и классическими модальными логиками”, Алгебра и логика, 36:2 (1997),  121–155  mathnet  mathscinet 36
1989
10. М. В. Захарьящев, “Синтаксис и семантика суперинтуиционистских логик”, Алгебра и логика, 28:4 (1989),  402–429  mathnet  mathscinet 32
11. М. В. Захарьящев, “Модальные напарники суперинтуиционистских логик: синтаксис, семантика и теоремы о сохранении”, Матем. сб., 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 10
1988
12. М. В. Захарьящев, “Синтаксис и семантика модальных логик, содержащих ${\rm S}4$”, Алгебра и логика, 27:6 (1988),  659–689  mathnet  mathscinet 7
1987
13. М. В. Захарьящев, “О дизъюнктивном свойстве суперинтуиционистских и модальных логик”, Матем. заметки, 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 3
1984
14. М. В. Захарьящев, “Нормальные модальные логики, содержащие $\mathrm{S}4$”, Докл. АН СССР, 275:3 (1984),  537–540  mathnet  mathscinet  zmath 1
1983
15. М. В. Захарьящев, “О промежуточных логиках”, Докл. АН СССР, 269:1 (1983),  18–22  mathnet  mathscinet  zmath 1

Доклады и лекции в базе данных 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. Об аксиоматизации строго позитивных фрагментов модальных логик
М. В. Захарьящев, С. П. Кикоть
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
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   

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