科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
M
Marc Denecker
ku leuven
37
H指数
392
论文数
5.1K
被引数
0
相关解读
订阅
收录论文
7
发表时间
发表时间
IF
被引数
A prudent logic of partial functions
偏函数的谨慎逻辑
Annals of Mathematics and Artificial Intelligence
IF
1
2026-03-01
0
PRE
AI
Markovic, Dorde; Van den Eede, Robbe; Denecker, Marc
分享
收藏
A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
从范畴论角度探讨高阶近似不动点理论
THEORY AND PRACTICE OF LOGIC PROGRAMMING
IF
1.1
2025-12-01
0
OA
AI
Pollaci, Samuele; Kostopoulos, Babis; Denecker, Marc; Bogaerts, Bart
分享
收藏
Embedding justification theory in approximation fixpoint
artificial intelligence review
IF
4.6
2024-06-01
0
OA
AI
Marynissen, Simon; Bogaerts, Bart; Denecker, Marc
分享
收藏
Safe inductions and their applications in knowledge representation
artificial intelligence review
IF
4.6
2018-06-01
9
OA
AI
Bogaerts, Bart; Vennekens, Joost; Denecker, Marc
分享
收藏
Grounded fixpoints and their applications in knowledge representation
artificial intelligence review
IF
4.6
2015-07-01
23
OA
AI
Bogaerts, Bart; Vennekens, Joost; Denecker, Marc
分享
收藏
Inductive situation calculus
归纳情境演算
artificial intelligence review
IF
4.6
2007-04-01
23
OA
AI
Denecker, Marc; Ternovska, Eugenia
分享
收藏
Uniform semantic treatment of default and autoepistemic logics
artificial intelligence review
IF
4.6
2003-01-01
64
OA
AI
Denecker, M; Marek, VW; Truszczynski, M
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
M
Mirosław Truszczyński
H 指数: 35 · 论文数: 301
V
Victor W. Marek
H 指数: 27 · 论文数: 167
J
Joost Vennekens
H 指数: 21 · 论文数: 208
B
Bart Bogaerts
H 指数: 14 · 论文数: 163
E
Eugenia Ternovska
H 指数: 13 · 论文数: 55
查看更多