Logical Modeling and Verification of a Strength Based Multi-agent Argumentation Scheme Using NuSMV.

Autor: Shetty, Shravan, Kiran, H. S. Shashi, Namala, Murali Babu, Singh, Sanjay

Publikováno v: Advances in Computer Science & Information Technology: First International Conference on Computer Science & Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part I; 2011, p378-387, 10p