Abstract Interpretation in Formal Argumentation: with a Galois Connection for Abstract Dialectical Frameworks and May-Must Argumentation (First Report).
Ryuta ArisakaTakayuki ItoPublished in: CoRR (2020)
Keyphrases
- argumentation systems
- defeasible reasoning
- abstract interpretation
- argumentation theory
- argumentation frameworks
- argumentation schemes
- defeasible argumentation
- argumentation semantics
- termination analysis
- abstract argumentation frameworks
- legal reasoning
- formal semantics
- static analysis
- logic programming
- dynamic analysis
- abstract argumentation
- multi agent systems