Bart Bogaerts is an assistant professor at the AI Lab of the Vrije Universiteit Brussel.
His research interests are spread throughout the field of knowledge representation. They range from high-level representation languages to efficient SAT solving, 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, …
Recently some of his main focus points have been 1) Explaining inferences made by (constraint) solver, from a perspective of human-understandability, as well as verification of the result, 2) Unifying frameworks for knowledge representation (approximation fixpoint theory, justification theory), and 3) reasoning with distributed knowledge.