Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni. The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. In Corrado Priami, Paola Quaglia, editors, Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers. Volume 3267 of Lecture Notes in Computer Science, pages 314-339, Springer, 2004. [doi]
Abstract is missing.