53 citations · 87 across the 10 of their papers we have counts for
1 paper · 1 filter
Theofrastos Mantadelis, Gerda Janssens
When doing inference in ProbLog, a probabilistic extension of Prolog, we extend SLD resolution with some additional bookkeeping. This additional information is used to compute the…