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]

@inproceedings{ChesaniGALMT05,
  title = {Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper)},
  author = {Federico Chesani and Marco Gavanelli and Marco Alberti and Evelina Lamma and Paola Mello and Paolo Torroni},
  year = {2005},
  doi = {10.1007/11750734_14},
  url = {http://dx.doi.org/10.1007/11750734_14},
  researchr = {https://researchr.org/publication/ChesaniGALMT05},
  cites = {0},
  citedby = {0},
  pages = {243-264},
  booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers},
  editor = {Francesca Toni and Paolo Torroni},
  volume = {3900},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-33996-5},
}