---
title: "A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation"
authors:
  - "Phan Minh Dung"
  - "Phan Minh Thang"
doi: ""
url: "https://ijcai.org/proceedings/2009/129"
pdf: "https://ijcai.org/proceedings/2009/0129.pdf"
venue: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence"
year: 2009
pages: "746-750"
track: ""
keywords:
---

# A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation

Phan Minh Dung, Phan Minh Thang

*Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence*, pages 746-750.

## Abstract

We present an unified methodology for representation and development of dialectical proof procedures in both abstract and assumption-based argumentation based on the notions of legal environments and dispute derivation. A legal environment specifies the legal moves of the dispute parties while a dispute derivation describes the procedure structure. A key insight of this paper is that the opponent moves determine the soundness of a dispute while its completeness depends on the proponent moves.PhanMinh Dung, PhanMinh Thang