Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello. Specification and verification of agent interaction protocols in a logic-based system. In Hisham Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock, editors, Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004. pages 72-78, ACM, 2004. [doi]
Abstract is missing.