Formal Analysis of Dialogues on Infinite Argumentation Frameworks.
Francesco BelardinelliDavide GrossiNicolas MaudetPublished in: IJCAI (2015)
Keyphrases
- formal analysis
- argumentation frameworks
- dialogue games
- argumentation semantics
- practical reasoning
- abstract argumentation
- argumentation systems
- dialogue system
- formal methods
- logical framework
- abstract argumentation frameworks
- decision problems
- agent model
- speech acts
- preference relations
- low cost
- multi agent
- knowledge base