Logical Encoding of Argumentation Frameworks with Higher-Order Attacks.
Claudette CayrolMarie-Christine Lagasquie-SchiexPublished in: ICTAI (2018)
Keyphrases
- higher order
- argumentation frameworks
- logical framework
- argumentation semantics
- lambda calculus
- practical reasoning
- abstract argumentation
- abstract argumentation frameworks
- pairwise
- high order
- argumentation systems
- preference relations
- decision problems
- markov random field
- watermarking scheme
- belief revision
- expert systems
- reasoning tasks
- artificial intelligence
- programming language