Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics.

Andrea Cuteri Giuseppe Mazzotta Francesco Ricca

Published in: CILC (2023)

Keyphrases

normal logic programs
logic programs
stable models
default reasoning
answer sets
logic programming
answer set semantics
database
machine learning
answer set programming
fixpoint
stable model semantics
general logic programs