Contributions to Books:

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.

English abstract:
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.

Related Projects:
Project Head Johannes Peter Wallner:

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

Project Head Stefan Woltran:
Wissensadaption in Logik-Fragmenten

Created from the Publication Database of the Vienna University of Technology.