most citedSMProbLog: Stable Model Semantics in ProbLog and its Applications in Argumentation

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.AI2021★ 2 cited

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…