Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper)

Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni. Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). In Francesca Toni, Paolo Torroni, editors, Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers. Volume 3900 of Lecture Notes in Computer Science, pages 243-264, Springer, 2005. [doi]