Matteo Baldoni, Cristina Baroglio, Ivana Gungui, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Viviana Patti, Claudio Schifanella. Reasoning About Agents Interaction Protocols Inside DCaseLP. In João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum, editors, Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers. Volume 3476 of Lecture Notes in Computer Science, pages 112-131, Springer, 2004. [doi]
Abstract is missing.