A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
Knowledge compilation converts Boolean formulae for which some inference tasks are computationally expensive into a representation where the same tasks are tractable. ProbLog is a state-of-the-art Probabilistic Logic Programming system that uses knowledge compilation to reduce the expensive probabilistic inference to an efficient weighted model counting. Motivated to improve ProbLog's performance we present an approach that optimizes Boolean formulae in order to speed-up knowledge compilation.doi:10.1007/978-3-319-23264-5_35 fatcat:4ku2u2zoxfdkflvyxon2z55yyi