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]

Authors

Yuqing Tang

This author has not been identified. Look up 'Yuqing Tang' in Google

Timothy J. Norman

This author has not been identified. Look up 'Timothy J. Norman' in Google

Simon Parsons

This author has not been identified. Look up 'Simon Parsons' in Google