Abstract Argumentation and Answer Set Programming: Two Faces of Nelson's Logic.
Jorge FandinnoLuis Fariñas del CerroPublished in: Theory Pract. Log. Program. (2023)
Keyphrases
- answer set programming
- logic programming
- abstract argumentation
- causal theories
- logic programs
- answer sets
- argumentation theory
- satisfiability modulo theories
- reasoning tasks
- classical logic
- knowledge representation
- constraint logic programming
- answer set programs
- stable models
- abstract argumentation frameworks
- programming language
- nonmonotonic reasoning
- haplotype inference
- theorem proving
- knowledge base
- stable model semantics
- declarative programming
- argumentation frameworks
- first order logic
- disjunctive logic programming
- strong equivalence
- default logic
- preference relations
- proof theory