{"type":"ScholarlyArticle","title":"A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation","authors":[{"name":"Phan Minh Dung","slug":"phan-minh-dung","given":"Phan Minh","family":"Dung","affiliation":""},{"name":"Phan Minh Thang","slug":"phan-minh-thang","given":"Phan Minh","family":"Thang","affiliation":""}],"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","doi":null,"url":"https://ijcai.org/proceedings/2009/129","pdf":"https://ijcai.org/proceedings/2009/0129.pdf","markdown":"https://ijcai.org/proceedings/2009/129.md","bibtex":"https://ijcai.org/proceedings/2009/bibtex/129","volume":{"slug":"2009","title":"Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2009","url":"https://ijcai.org/proceedings/2009/","year":2009,"location":"Pasadena, California, USA","dates":"","editors":"Hiroaki Kitano","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":129,"pages":{"first":746,"last":750},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}