Explanation-Based Approximate Weighted Model Counting for Probabilistic Logics.
Joris Renkens, Angelika Kimmig, Guy Van den Broeck, Luc De Raedt
Browse the full AAAI paper archive.
Joris Renkens, Angelika Kimmig, Guy Van den Broeck, Luc De Raedt
Browse the full AAAI paper archive.