Foundations of Implementations for Formal Argumentation.

We survey the current state of the art of general techniques, as well as specific software systems for solving tasks in abstract argumentation frameworks, structured argumentation frameworks, and approaches for visualizing and analysing argumentation. Furthermore, we discuss challenges and promising techniques such as parallel processing and approximation approaches. Finally, we address the issue of evaluating software systems empirically with links to the International Competition on Computational Models of Argumentation.

Authors

• Federico Cerutti
• Sarah Alice Gaggl
• Matthias Thimm
• Johannes P. Wallner

Keywords

No keywords are indexed for this paper.