smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation.

Pietro Totis Angelika Kimmig Luc De Raedt

Published in: CoRR (2023)

Keyphrases

stable model semantics
probabilistic logic
logic programs
answer set programming
stable models
logic programming
normal logic programs
probabilistic model
probabilistic reasoning
integrity constraints
default reasoning
derivation rules