[Back]

F. Cerutti, S. Gaggl, M. Thimm, J. P. Wallner:
"Foundations of Implementations for Formal Argumentation";
in: "Handbook of Formal Argumentation", P. Baroni, D.M. Gabbay, M. Giacomin, L. van der Torre (ed.); College Publications, 2018, ISBN: 978-1-84890-275-6, 688 - 767.

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.

Project Head Johannes Peter Wallner:
EMBArg

Project Head Stefan Woltran:
Neue Werkzeuge für graphenbasierte formale Argumentation

Project Head Stefan Woltran:
Wissensadaption in Logik-Fragmenten