Bart Bogaerts

Dr. Bart Bogaerts

Postdoctoral researcher

home CV publications
  • @:
  • w:
  • p: +358 44 932 3682
  • a: Konemiehentie 2 - room B248
         02150 Espoo/Otaniemi

Personal Profile

I'm a Postdoctoral researcher in the computational logic group of Aalto university. 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

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.