学术搜索
科研智能体
Research Labs
AI 阅读
AI 文库
深度研究
学者亮点
学术资源
AI2000
期刊/会议
学者库
学术API
MCP&Skill
溯源树
数据集
知识沉淀
学术空间
订阅小程序
旧版功能
开通会员
低至0.73元/天
一次搞定AI科研
立即登录
English
联系方式
Reasoning Web
Conference
年发文量
研究主题
论文（173）
排序
时间
引用
1
Reasoning about Time in DatalogMTL: Course Notes (invited Paper).
Przemyslaw Andrzej Walega
2024
引用
AI阅读
加入学术空间
2
Human-Centered ASP Applications: Representation & Reasoning (invited Paper).
Aysu Bogatarkan
,
Müge Fidan
,
Esra Erdem
2024
引用
AI阅读
加入学术空间
3
Explaining Reasoning Results for Description Logic Ontologies (invited Paper).
Patrick Koopmann
2024
引用
AI阅读
加入学术空间
4
Inconsistency-Tolerant Semantics Based on (preferred) Repairs (invited Paper).
Camille Bourgaux
2024
引用
AI阅读
加入学术空间
5
Foundations of Graph Neural Networks (A Logician's View) (invited Paper).
Egor V. Kostylev
2024
引用
AI阅读
加入学术空间
立即登录
，查看全部 173 篇论文
高被引作者
作者
引用
发文
Thomas Eiter
639
8
Franz Baader
511
1
G.B. Ianni
490
3
Thomas Krennwallner
379
2
Axel Florian Polleres
342
6
Mariano Rodriguez Muro
327
2
Diego Calvanese
326
3
Riccardo Rosati
305
3
Francois Bry
297
4
Tim Furche
279
4
高产作者
作者
引用
发文
Thomas Eiter
639
8
Axel Florian Polleres
342
6
Georg Gottlob
168
5
Michael Kifer
143
4
Markus Krötzsch
142
4
Michael Zakharyaschev
152
4
Francois Bry
297
4
Sebastian Schaffert
246
4
Uwe Aßmann
43
4
Tim Furche
279
4
相关期刊
Journal on Satisfiability, Boolean Modeling and Computation
Datalog
Description Logics
Foundations of Information and Knowledge Systems
Alberto Mendelzon Workshop on Foundations of Data Management
International Conference on Inductive Logic Programming
Journées Européennes sur la Logique en Intelligence Artificielle
Journées Francophone Planification, Décision et Apprentissage pour la conduite des systèmes
International Conference on Principles of Knowledge Representation and Reasoning
International Conference on Lightning Protection
