Joost Vennekens

KU Leuven , Department of Computer Science Celestijnenlaan 200A , Leuven , Belgium

2 papers in the IJCAI proceedings

IJCAI 2017

Safe Inductions: An Algebraic Study

with Bart Bogaerts, Marc Denecker

doi:10.24963/ijcai.2017/119

Details PDF

IJCAI 2015

Partial Grounded Fixpoints

with Bart Bogaerts, Marc Denecker

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings