Theory and Applications of Formal Argumentation

1. Front Matter

   Pages I-X

   PDF

2. An Investigation of Argumentation Framework Characteristics

   • Josh Murphy, Isabel Sassoon, Michael Luck, Elizabeth Black

   Pages 1-16

3. Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM

   • AnneMarie Borg, Ofer Arieli, Christian Straßer

   Pages 17-34

4. On the Interaction Between Logic and Preference in Structured Argumentation

   • Anthony P. Young, Sanjay Modgil, Odinaldo Rodrigues

   Pages 35-50

5. ASPIC-END: Structured Argumentation with Explanations and Natural Deduction

   • Jérémie Dauphin, Marcos Cramer

   Pages 51-66

6. On the Links Between Argumentation-Based Reasoning and Nonmonotonic Reasoning

   • Zimi Li, Nir Oren, Simon Parsons

   Pages 67-85

7. Extended Explanatory Argumentation Frameworks

   • Jérémie Dauphin, Marcos Cramer

   Pages 86-101

8. Probabilities on Extensions in Abstract Argumentation

   • Matthias Thimm, Pietro Baroni, Massimiliano Giacomin, Paolo Vicig

   Pages 102-119

9. A Forward Propagation Algorithm for the Computation of the Semantics of Argumentation Frameworks

   • Odinaldo Rodrigues

   Pages 120-136

10. The Formal Argumentation Libraries of Tweety

    • Matthias Thimm

    Pages 137-142

11. Heureka: A General Heuristic Backtracking Solver for Abstract Argumentation

    • Nils Geilen, Matthias Thimm

    Pages 143-149

12. EqArgSolver – System Description

    • Odinaldo Rodrigues

    Pages 150-158

13. Team Persuasion

    • David Kohan Marzagão, Josh Murphy, Anthony P. Young, Marcelo Matheus Gauy, Michael Luck, Peter McBurney et al.

    Pages 159-174

14. Towards a General Framework for Dialogues That Accommodate Reasoning About Preferences

    • Sanjay Modgil

    Pages 175-191

15. Enumerating Preferred Extensions: A Case Study of Human Reasoning

    • Alice Toniolo, Timothy J. Norman, Nir Oren

    Pages 192-210

16. A Dynamic Model of Trust in Dialogues

    • Gideon Ogunniye, Alice Toniolo, Nir Oren

    Pages 211-226

17. Back Matter

    Pages 227-227

    PDF

This book constitutes the refereed proceedings of the 4th  International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017.  The workshop was co-located with  International Joint Conference on Artifi cial Intelligence
(IJCAI 2017). The 15 revised full papers presented were carefully reviewed and selected from 20 submissions.

The workshops covers the subjects such as non-monotonic reasoning, decision making, inter-agent communication, the semantic web, grid applications, ontologies, recommender systems, machine learning, neural networks, trust computing, normative systems, social choice theory, judgement aggregation and game theory, and law and medicine.

• Artificial intelligence
• Argumentation
• Natural language processing
• Discourse, dialogue and pragmatics
• Knowledge representation and reasoning
• Reasoning about belief and knowledge
• Multi-agent systems
• Intelligent agents
• semantics
• logic programming
• argumentation
• argumentation frameworks

• Department of Informatics, King's College London, London, United Kingdom

  Elizabeth Black

• King's College London , London, United Kingdom

  Sanjay Modgil

• Department of Computing Science, University of Aberdeen , Aberdeen, United Kingdom

  Nir Oren

Policies and ethics