• Modulo theory knowledge compilation

  Knowledge compilation studies the transformation of knowledge into representations more suitable for (AI) inference tasks. This project focusses on compilation with background theories, which, for example, automatically realises that (x > 0) and (y > 0) together imply (x + y > 0).

• Faster knowledge compilation and model counting

  While these problems are \#P-complete, many instances are solvable in practice by exploiting the instance's structure. This project investigates further improvements.

• Probabilistic logic programming, ProbLog

  ProbLog is a probabilistic logic programming language with state-of-the-art inference technqiues based on knowledge compilation and algebraic model counting. The generality of its algebraic framework has allowed the language to easily be extended to solve other tasks.