Abstract argumentation and answer set programming: two faces of Nelson's logic.
Jorge FandinnoLuis Fariñas del CerroPublished in: CoRR (2022)
Keyphrases
- answer set programming
- logic programming
- abstract argumentation
- causal theories
- logic programs
- answer sets
- argumentation theory
- constraint logic programming
- reasoning tasks
- satisfiability modulo theories
- classical logic
- abstract argumentation frameworks
- knowledge representation
- nonmonotonic reasoning
- answer set programs
- declarative programming
- programming language
- stable models
- haplotype inference
- stable model semantics
- theorem proving
- knowledge base
- modal logic
- modulo theories
- argumentation frameworks
- machine learning
- default logic
- artificial intelligence