Argumentation-Based Explanations for Answer Sets Using ADF.
Lena RolfGabriele Kern-IsbernerGerhard BrewkaPublished in: LPNMR (2019)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- answer set semantics
- normal logic programs
- answer set programs
- extended logic programs
- fixpoint
- counter examples
- logic program updates
- artificial intelligence
- stable models
- loop formulas
- reasoning tasks
- stable model semantics
- semantics for logic programs