Computing Argumentation in Polynomial Number of BDD Operations: A Preliminary Report

Yuqing Tang, Timothy J. Norman, Simon Parsons. Computing Argumentation in Polynomial Number of BDD Operations: A Preliminary Report. In Peter McBurney, Iyad Rahwan, Simon Parsons, editors, Argumentation in Multi-Agent Systems - 7th International Workshop, ArgMAS 2010, Toronto, ON, Canada, May 10, 2010 Revised, Selected and Invited Papers. Volume 6614 of Lecture Notes in Computer Science, pages 268-285, Springer, 2010. [doi]

Abstract

Abstract is missing.