arrow
返回
M

Marc Denecker

ku leuven

37H指数
392论文数
5.1K被引数
收录论文 7
发表时间
err分享
err收藏
Embedding justification theory in approximation fixpoint
err2024-06-01
err0
errOAAI
errMarynissen, Simon; Bogaerts, Bart; Denecker, Marc
err分享
err收藏
Safe inductions and their applications in knowledge representation
err2018-06-01
err9
errOAAI
errBogaerts, Bart; Vennekens, Joost; Denecker, Marc
err分享
err收藏
Grounded fixpoints and their applications in knowledge representation
err2015-07-01
err23
errOAAI
errBogaerts, Bart; Vennekens, Joost; Denecker, Marc
err分享
err收藏
Inductive situation calculus归纳情境演算
err2007-04-01
err23
errOAAI
errDenecker, Marc; Ternovska, Eugenia
err分享
err收藏
err分享
err收藏