13 citations · 15 across the 3 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…