logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
M

Michael Zakharyaschev

University of Liverpool

47H-index
295Paper Count
9.0KCitation Count
Published Papers 10
Publication Date
logo
errJournal of Symbolic Logic
IF0.6
err2025-10-01
err0
PREAI
errKurucz, Agi; Wolter, Frank; Zakharyaschev, Michael
errShare
errSave
errartificial intelligence review
IF4.6
err2022-08-01
err1
errOAAI
errGerasimova, Olga; Kikot, Stanislav; Kurucz, Agi; Podolskii, Vladimir; Zakharyaschev, Michael
errShare
errSave
errartificial intelligence review
IF4.6
err2021-10-01
err7
errOAAI
errArtale, Alessandro; Kontchakov, Roman; Kovtunova, Alisa; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael
errShare
errSave
errartificial intelligence review
IF4.6
err2019-07-01
err8
errOAAI
errBotoeva, Elena; Lutz, Carsten; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael
errShare
errSave
errartificial intelligence review
IF4.6
err2016-05-01
err12
errOAAI
errBotoeva, Elena; Kontchakov, Roman; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael
errShare
errSave
errartificial intelligence review
IF4.6
err2014-12-01
err10
errOAAI
errKontchakov, Roman; Pratt-Hartmann, Ian; Zakharyaschev, Michael
errShare
errSave
errartificial intelligence review
IF4.6
err2014-08-01
err49
errOAAI
errGottlob, Georg; Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir; Schwentick, Thomas; Zakharyaschev, Michael
errShare
errSave
errartificial intelligence review
IF4.6
err2010-10-01
err68
errOAAI
errKontchakov, Roman; Wolter, Frank; Zakharyaschev, Michael
errShare
errSave
errartificial intelligence review
IF4.6
err2004-06-01
err119
errOAAI
errKutz, O; Lutz, C; Wolter, F; Zakharyaschev, M
errShare
errSave
errAPPLIED INTELLIGENCE
IF3.5
err2002-01-01
err116
PREAI
errBennett, B; Cohn, AG; Wolter, F; Zakharyaschev, M
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
G
Georg Gottlob
H-index: 68 · Papers: 540
F
Frank Wolter
H-index: 56 · Papers: 390
C
Carsten Lutz
H-index: 49 · Papers: 303
A
Anthony G. Cohn
H-index: 49 · Papers: 341
T
Thomas Schwentick
H-index: 37 · Papers: 210
View more