Bart Bogaerts

Dr. Bart Bogaerts

Assistant Professor

home CV publications
  • @:
  • w:
  • p: +32 2 629 37 06
  • a: Pleinlaan 9 - room 03.67
         1050 Elsene

Personal Profile

I am an assistant professor in the AI lab of the Vrije Universiteit Brussel (VUB). 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,... Before joining the VUB, I was a postdoctoral researcher in the Declarative Languages and Systems Group of the KU Leuven. There, I was one of the developers of the IDP Framework, a knowledge base system for FO(·).



Assistant professor

October 2018 - ...

AI lab of the VUB

Postdoctoral researcher


KRR group of the KU Leuven


Invited Talks

Approximation Fixpoint Theory and its Application to Knowledge Representation ppt

Januari 15, 2019, Leipzig, Germany.

Leipzig University

Propagators and Solvers for the Algebra of Modular Systems ppt

October 17, 2016, New York, USA.

International Workshop on Logic and Search (Lash 2016)

Lazy Model Expansion: Interleaving Grounding with Search ppt

July 18, 2014, Vienna, Austria.

International Workshop on Logic and Search (Lash 2014)

Awards and Prices

2016 QBFEval

Prenex CNF: Second place

2016 SAT Competition

No Limits Track: First place

2013 SAT Competition

Core Solvers, Sequential, Hard-combinatorial SAT+UNSAT: First place
Core Solvers, Sequential, Hard-combinatorial SAT: Third place

Thesis Supervision

Wolf De Wulf

2019-2020, Bachelor's Thesis

Translating Answer Set Programs into Pseudo-Boolean Theories pdf

Jens Claes

2016-2017, Master's Thesis

Automatic Translation of Logic Grid Puzzles into a Typed Logic pdf

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)


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