Forgetting in Answer Set Programming with Anonymous Cycles.

Matti Berthold Ricardo Gonçalves Matthias Knorr João Leite

Published in: EPIA (2) (2019)

Keyphrases

answer set programming
answer set programs
answer sets
logic programs
logic programming
reasoning tasks
causal theories
stable model semantics
constraint logic programming
stable models
meta level reasoning
update semantics
machine learning
inductive logic programming
default logic
modulo theories