Bart Bogaerts

Dr. Bart Bogaerts

Postdoctoral researcher

home CV publications
  • @:
  • w:
  • p: +32 497 66 34 67
  • a: Celestijnenlaan 200A - room 01.144
         3001 Heverlee

Personal Profile

I'm a Postdoctoral researcher in the Declarative Languages and Systems Group of KU Leuven. My research interests are spread throughout the field of knowledge representation. They range from high-level representation languages to performance optimisations in SAT, from abstract, algebraical frameworks to unify semantics of logics to implementation of knowledge base systems, from applications of KR to integration of declarative problem solving paradigms,... I'm one of the developers of the IDP Framework, a knowledge base system for FO(·).



Postdoctoral researcher


KRR group of the KU Leuven


Thesis Supervision

Neline Van Ginkel

2014-2015, Master's Thesis

Orakels in IDP: Een implementatie voor epistemische logica (Oracles in IDP: An implementation for epistemic logic) pdf

Geert Heyman

2013-2014, Master's Thesis

Event Extraction from Text and Translation to Event Calculus

Pieter Van Hertum

2011-2012, Master's Thesis

Het vereenvoudigen van FOBDD's met behulp van Presburger arithmetiek (Using Presburger Arithmetic to simplify FOBDDs) pdf

Andries Verreydt

2011-2012, Master's Thesis

Dimensies en Eenheden in IDP (Dimensions and Units in IDP)

Invited Talks

Propagators and Solvers for the Algebra of Modular Systems ppt

October 17, 2016, New York.

International Workshop on Logic and Search (Lash 2016)

Lazy Model Expansion: Interleaving Grounding with Search ppt

July 18, 2014, Vienna.

International Workshop on Logic and Search (Lash 2014)


I have (co)-authored the following software: IDP3, MinisatID, BreakID, so2grounder, SmsControl.