43 citations · 56 across the 3 of their papers we have counts for
3 papers
Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory
Bart Bogaerts, Guy Van den Broeck
To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015 Recent advances in knowledge compilation introduced techniques to compile \emph{positive} log…
FO(C): A Knowledge Representation Language of Causality
Bart Bogaerts, Joost Vennekens, Marc Denecker +1
Cause-effect relations are an important part of human knowledge. In real life, humans often reason about complex causes linked to complex effects. By comparison, existing formalism…
Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3
Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts +7
This paper provides a gentle introduction to problem solving with the IDP3 system. The core of IDP3 is a finite model generator that supports first order logic enriched with types,…