Anarosa Brandão, Viviane Torres da Silva, Carlos José Pereira de Lucena. A knowledge-based approach to the specification and verification of MAS design. In Frank Dignum, Virginia Dignum, Sven Koenig, Sarit Kraus, Munindar P. Singh, Michael Wooldridge, editors, 4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands. pages 1373, ACM, 2005. [doi]
Abstract is missing.