activity
20132015
most citedPredicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3

43 citations · 56 across the 3 of their papers we have counts for

collaborators
Showing 2015 · cs.LOShow all

1 paper · 2 filters

cs.LO2015★ 4 cited

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…