Tech Reports

ULCS-07-005

Report on Formal Argumentation System for ASPIC Project

Leila Amgoud, Lianne Bodenstaff, Martin Caminada, Peter McBurney, Simon Parsons, Henry Prakken, Jelle van Veenen and Gerard Vreeswijk

Abstract

The document presents the formal argumentation system developed for and adopted by the EC IST Project, Argumentation Service Platform with Integrated Components (ASPIC) (IST-FP6-002307). Formalisms are presented for: argumentation-based inference (Chapter 2); argumentation-based decision (Chapter 3); and multi-agent dialogue (Chapter 4). The report constitutes Deliverable D2.6 of the project, delivered in February 2006.

For each technical report listed here, copyright and all intellectual property rights remain with the respective authors. Copyright is effective from the year of publication in each case. By downloading a file from this page, you agree to use it only for purposes of research and scholarship. Any other use of this material or storage of it in any medium or its sale or distribution in any form is expressly forbidden without prior written permission from the authors concerned.