Explanation Graphs for Stable Models of Labelled Logic Programs.
Pedro CabalarBrais MuñizPublished in: ICLP Workshops (2023)
Keyphrases
- stable models
- logic programs
- logic programming
- normal logic programs
- stable model semantics
- fixpoint
- answer set programming
- answer sets
- logic programs with negation
- answer set programs
- strong equivalence
- background knowledge
- computational properties
- loop formulas
- declarative semantics
- semantics for logic programs
- inductive logic programming
- reasoning tasks
- nonmonotonic reasoning
- deductive databases