Efficient Solution for Credulous/Sceptical Acceptance in Lower-Order Dung's Semantics.
Stefano BistarelliFabio RossiFrancesco SantiniPublished in: ICTAI (2014)
Keyphrases
- argumentation frameworks
- argumentation semantics
- preferred semantics
- lower order
- abstract argumentation
- argumentation systems
- higher order
- abstract argumentation frameworks
- preference relations
- answer set programming
- logic programming
- nonmonotonic reasoning
- default logic
- decision problems
- high order
- natural images
- pairwise