Argumentation frameworks with necessities and their relationship with logic programs.
Farid NouiouaSara BoutouhamiPublished in: Argument Comput. (2023)
Keyphrases
- logic programs
- strong equivalence
- argumentation frameworks
- logic programming
- answer sets
- argumentation semantics
- stable models
- fixpoint
- answer set programming
- computational problems
- partial deduction
- argumentation systems
- defeasible reasoning
- normal logic programs
- answer set semantics
- abstract argumentation frameworks
- prolog programs
- abstract argumentation
- practical reasoning
- decision problems
- term rewriting systems
- computational properties
- preference relations
- autoepistemic logic
- computational complexity
- loop formulas
- np hard
- decision theoretic
- default logic
- probability distribution
- search space