Workshop dates: 19-20 August, 2017.
| Day 1 |
| 8:30 | Start of the day |
| 8:45 | Welcome |
| 9:00 | Josh Murphy, Isabel Sassoon, Michael Luck and Elizabeth Black. An Investigation of Argumentation Framework Characteristics
|
| 9:30 | Yuming Xu, Lidong Xu and Claudette Cayrol. On structural analysis of extension-based argumentation semantics |
| 10:00-10:30 | Coffee Break |
| 10:30 | Ofer Arieli, Annemarie Borg and Christian Strasser. Hypersequent-based Argumentation: An Instantiation in the Relevance Logic RM |
| 11:00 | Anthony Young, Sanjay Modgil and Odinaldo Rodrigues. On the Interaction between Logic and Preference in Structured Argumentation |
| 11:30 | Jeremie Dauphin and Marcos Cramer. ASPIC-END: Structured Argumentation with Explanations and Natural Deduction |
| 12:00 | Zimi Li, Nir Oren and Simon Parsons. On the links between argumentation-based reasoning and nonmonotonic reasoning |
| 12:30-14:30 | Lunch |
| 14:30 | Jeremie Dauphin and Marcos Cramer. Extended Explanatory Argumentation Frameworks |
| 15:00 | Matthias Thimm, Pietro Baroni, Massimiliano Giacomin and Paolo Vicig. Probabilities on Extensions in Abstract Argumentation |
| 15:30 | Odinaldo Rodrigues. A Forward Propagation Algorithm for Semantic Computation of Argumentation Frameworks |
| 16:00-16:30 | Coffee Break |
| 16:30 | Matthias Thimm. The Formal Argumentation Libraries of Tweety |
| 17:00 | Nils Geilen and Matthias Thimm. Heureka: A General Heuristic Backtracking Solver for Abstract Argumentation |
| 17:30 | Odinaldo Rodrigues. EqArgSolver – System Description |
| Day 2 |
| 9:30 | David Kohan Marzagão, Josh Murphy, Anthony Young, Marcelo Gauy, Michael Luck, Peter McBurney and Elizabeth Black. Team Persuasion |
| 10:00-10:30 | Coffee Break |
| 10:30 | Sanjay Modgil. Towards a General Framework for Dialogues that Accommodate Reasoning About Preferences |
| 11:00 | Alice Toniolo, Timothy Norman and Nir Oren. Enumerating preferred extensions: a case study of human reasoning |
| 11:30 | Gideon Ogunniye, Alice Toniolo and Nir Oren. A Dynamic Model of Trust in Dialogues |
| 12:00 | Presentation of results for the International Competition on Computational Models of Argumentation (ICCMA'17) |
