Dedicated Tabling for a Probabilistic Setting

Theofrastos Mantadelis & Gerda Janssens
ProbLog is a probabilistic framework that extends Prolog with probabilistic facts. To compute the probability of a query, the complete SLD proof tree of the query is collected as a sum of products. ProbLog applies advanced techniques to make this feasible and to assess the correct probability. Tabling is a well-known technique to avoid repeated subcomputations and to terminate loops. We investigate how tabling can be used in ProbLog. The challenge is that we have...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.