SMProbLog: Stable Model Semantics in ProbLog and its Applications in Argumentation

Pietro Totis, Angelika Kimmig, Luc De Raedt

We introduce SMProbLog, a generalization of the probabilistic logic programming language ProbLog. A ProbLog program defines a distribution over logic programs by specifying for eac…