logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
M

Michael Zakharyaschev

University of Liverpool

47H指数
295论文数
9.0K被引数
收录论文 10
发表时间
logo
errJournal of Symbolic Logic
IF0.6
err2025-10-01
err0
PREAI
errKurucz, Agi; Wolter, Frank; Zakharyaschev, Michael
err分享
err收藏
errartificial intelligence review
IF4.6
err2022-08-01
err1
errOAAI
errGerasimova, Olga; Kikot, Stanislav; Kurucz, Agi; Podolskii, Vladimir; Zakharyaschev, Michael
err分享
err收藏
errartificial intelligence review
IF4.6
err2021-10-01
err7
errOAAI
errArtale, Alessandro; Kontchakov, Roman; Kovtunova, Alisa; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael
err分享
err收藏
errartificial intelligence review
IF4.6
err2019-07-01
err8
errOAAI
errBotoeva, Elena; Lutz, Carsten; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael
err分享
err收藏
errartificial intelligence review
IF4.6
err2016-05-01
err12
errOAAI
errBotoeva, Elena; Kontchakov, Roman; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael
err分享
err收藏
errartificial intelligence review
IF4.6
err2014-12-01
err10
errOAAI
errKontchakov, Roman; Pratt-Hartmann, Ian; Zakharyaschev, Michael
err分享
err收藏
errartificial intelligence review
IF4.6
err2014-08-01
err49
errOAAI
errGottlob, Georg; Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir; Schwentick, Thomas; Zakharyaschev, Michael
err分享
err收藏
errartificial intelligence review
IF4.6
err2010-10-01
err68
errOAAI
errKontchakov, Roman; Wolter, Frank; Zakharyaschev, Michael
err分享
err收藏
errartificial intelligence review
IF4.6
err2004-06-01
err119
errOAAI
errKutz, O; Lutz, C; Wolter, F; Zakharyaschev, M
err分享
err收藏
errAPPLIED INTELLIGENCE
IF3.5
err2002-01-01
err116
PREAI
errBennett, B; Cohn, AG; Wolter, F; Zakharyaschev, M
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
G
Georg Gottlob
H 指数: 68 · 论文数: 540
F
Frank Wolter
H 指数: 56 · 论文数: 390
C
Carsten Lutz
H 指数: 49 · 论文数: 303
A
Anthony G. Cohn
H 指数: 49 · 论文数: 342
T
Thomas Schwentick
H 指数: 37 · 论文数: 210
查看更多