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]

Authors

Federico Chesani

This author has not been identified. Look up 'Federico Chesani' in Google

Marco Gavanelli

This author has not been identified. Look up 'Marco Gavanelli' in Google

Marco Alberti

This author has not been identified. Look up 'Marco Alberti' in Google

Evelina Lamma

This author has not been identified. Look up 'Evelina Lamma' in Google

Paola Mello

This author has not been identified. Look up 'Paola Mello' in Google

Paolo Torroni

This author has not been identified. Look up 'Paolo Torroni' in Google