Computational models of argumentation are approaches that deal with the representation and interaction of arguments and counterarguments. These models can be applied in all areas that benefit from automatic decision-support such as medicine, accounting, chemistry, and law. Many of these models were inspired by works within the fields of non-monotonic reasoning and logic programming and therefore share the sometimes considerable computational complexity of these approaches.

Algorithmic aspects of computational models of argumentation are an important area, as witnessed by the popularity of the International Competition on Computational Models of Argumentation (ICCMA). This workshop aims at complementing the competition by providing a forum to present and discuss both systems and algorithms dealing with all aspects of computational argumentation, in particular those approaches addressing the tracks of the competition. A first workshop had been organised in 2016.

This workshop welcomes technical contributions in all areas dealing with algorithms and systems of formal argument. Topics of interest include, but are not limited to:

  • * Algorithms for solving problems in abstract argumentation frameworks
  • * Algorithms for solving problems in structured argumentation frameworks (such as ASPIC+, ABA, DeLP, and others)
  • * Computational complexity of problems in formal argumentation
  • * Advanced techniques that may be exploited for algorithmic purposes
  • * Parallel algorithms
  • * Approximation algorithms
  • * Web-based systems and argument mining
  • * Dialogue systems and strategic aspects of argumentation
  • * Design principles and software engineering aspects of tools for formal argumentation
  • * Metrics for evaluating algorithms
  • * Benchmark generation and empirical studies on real-world argumentation graphs
  • * System descriptions of tools for formal argumentation

The workshop specifically welcomes preliminary works on the above topics. In particular, no systematic evaluations are needed for inclusion in the program. Finally, we welcome position papers that propose new tracks for the competition or discuss general matters related to it.

SAFA2018 will be hosted as a COMMA 2018 workshop, and will take place in Warsaw, Poland, 11th September 2018.

The proceedings of SAFA2018 are available at