When: Fri, June 12th 2016

Where: Maastricht, The Netherlands, Department of Data-Science and Knowledge Engineering

Who: Federico Cerutti and Nir Oren

Slides

Introduction to Formal Argumentation Theory

Syllabus

  1. Abstract argumentation
    • Dung’s framework
    • Labellings
    • Extended frameworks
  2. Structured argumentation
    • ASPIC family of logics
    • Argument schemes
  3. Dialogue
    • Dialogue games
    • Proof dialogues
  4. MAS and argumentation
    • Decision making
    • Trust and norms
  5. Applications
    • Explanation, dealing with humans
    • CISpaces (15 minutes