Extension Removal in Abstract Argumentation: Necessary and Sufficient Conditions.
Huan ZhangSongmao ZhangPublished in: ICA (2023)
Keyphrases
- sufficient conditions
- abstract argumentation
- argumentation frameworks
- abstract argumentation frameworks
- fixed point
- preferred semantics
- linear systems
- exponential stability
- theorem proving
- linear complementarity problem
- efficiently computable
- optimal policy
- graph cuts
- neural network
- case based reasoning
- lyapunov function
- asymptotic optimality
- dynamic programming
- argumentation semantics
- knowledge base
- decision making
- artificial intelligence