Munindar P. Singh, Amit K. Chopra. Correctness Properties for Multiagent Systems. In Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd, editors, Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers. Volume 5948 of Lecture Notes in Computer Science, pages 192-207, Springer, 2009. [doi]
Abstract is missing.