Lazy Explanation-Based Approximation for Probabilistic Logic Programming

Joris Renkens, Angelika Kimmig, Luc De Raedt

We introduce a lazy approach to the explanation-based approximation of probabilistic logic programs. It uses only the most significant part of the program when searching for explan…