Joris Renkens, Angelika Kimmig, Guy Van den Broeck, Luc De Raedt. Explanation-Based Approximate Weighted Model Counting for Probabilistic Logics. In Statistical Relational Artificial Intelligence, Papers from the 2014 AAAI Workshop, Québec City, Québec, Canada, July 27, 2014. Volume WS-14-13 of AAAI Workshops, AAAI, 2014. [doi]
Abstract is missing.