xalyama | 8 years ago | on: Limbo – A Reasoning System for First-Order Limited Belief Something like ProbLog https://dtai.cs.kuleuven.be/problog/ ?On the bottom links under 'Tools' there are some related systems as well.
On the bottom links under 'Tools' there are some related systems as well.