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

Pietro Totis Angelika Kimmig Luc De Raedt

Published in: CoRR (2021)

Keyphrases

stable model semantics
logic programs
answer set programming
stable models
logic programming
normal logic programs
answer sets
derivation rules
rdf graphs
fixpoint
modulo theories
database
e learning
inductive logic programming
deductive databases
propositional logic