Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)

Authors Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert van der Torre

Thumbnail PDF


  • Filesize: 0.8 MB
  • 27 pages

Document Identifiers

Author Details

Dov M. Gabbay
Massimiliano Giacomin
Beishui Liao
Leendert van der Torre

Cite AsGet BibTex

Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, and Leendert van der Torre. Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362). In Dagstuhl Manifestos, Volume 7, Issue 1, pp. 69-95, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Formal Argumentation is emerging as a key reasoning paradigm building bridges among knowledge representation and reasoning in artificial intelligence, informal argumentation in philosophy and linguistics, legal and ethical argumentation, mathematical and logical reasoning, and graph-theoretic reasoning. It aims to capture diverse kinds of reasoning and dialogue activities in the presence of uncertainty and conflicting information in a formal and intuitive way, with potential applications ranging from argumentation mining, via LegalTech and machine ethics, to therapy in clinical psychology. The turning point for the modern stage of formal argumentation theory, much similar to the introduction of possible worlds semantics for the theory of modality, is the framework and language of Dung's abstract argumentation theory introduced in 1995. This means that nothing could remain the same as before 1995 - it should be a focal point of reference for any study of argumentation, even if it is critical about it. Now, in modal logic, the introduction of the possible worlds semantics has led to a complete paradigm shift, both in tools and new subjects of studies. This is still not fully true for what is going on in argumentation theory. The Dagstuhl workshop led to the first volume of a handbook series in formal argumentation, reflecting the new stage of the development of argumentation theory.
  • Artificial Intelligence
  • Knowledge Representation and Reasoning
  • Multi-Agent Systems
  • Argumentation
  • Non-monotonic Logic


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail