Formal Argumentation Frameworks for the Extended Generalized Annotated Logic Programs.
Takehisa TakahashiYuichi UmedaHajime SawamuraPublished in: KES (2003)
Keyphrases
- argumentation frameworks
- strong equivalence
- logic programs
- logic programming
- answer sets
- answer set programming
- argumentation systems
- model theoretic
- computational problems
- defeasible logic programming
- abstract argumentation
- stable models
- practical reasoning
- argumentation semantics
- abstract argumentation frameworks
- defeasible reasoning
- fixpoint
- partial deduction
- computational properties
- decision problems
- stable model semantics
- machine learning
- answer set semantics
- preference relations
- operational semantics
- nonmonotonic reasoning