xalyama
Re:Limbo – A Reasoning System for First-Order Limited Belief
on Sunday May 07, 2017 @04:25AM (#14284444)
Something like ProbLog https://dtai.cs.kuleuven.be/problog/ ?
On the bottom links under 'Tools' there are some related systems as well.