Bart Bogaerts

5 papers in the IJCAI proceedings

IJCAI 2021

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization

with Emilio Gamba, Tias Guns

doi:10.24963/ijcai.2021/191

Details PDF

On the Relation Between Approximation Fixpoint Theory and Justification Theory

with Simon Marynissen, Marc Denecker

doi:10.24963/ijcai.2021/272

Details PDF

IJCAI 2018

Exploiting Justifications for Lazy Grounding of Answer Set Programs

with Antonius Weinzierl

doi:10.24963/ijcai.2018/240

Details PDF

IJCAI 2017

Safe Inductions: An Algebraic Study

with Joost Vennekens, Marc Denecker

doi:10.24963/ijcai.2017/119

Details PDF

Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory

with Luís Cruz-Filipe

doi:10.24963/ijcai.2017/120

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings