Marc Denecker

2 papers in the IJCAI proceedings

IJCAI 2021

On the Relation Between Approximation Fixpoint Theory and Justification Theory

with Simon Marynissen, Bart Bogaerts

doi:10.24963/ijcai.2021/272

Details PDF

IJCAI 2017

Safe Inductions: An Algebraic Study

with Bart Bogaerts, Joost Vennekens

doi:10.24963/ijcai.2017/119

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings