Reasoning about agents and protocols via goals and commitments

Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos. Reasoning about agents and protocols via goals and commitments. In Wiebe van der Hoek, Gal A. Kaminka, Yves Lespérance, Michael Luck, Sandip Sen, editors, 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3. pages 457-464, IFAAMAS, 2010. [doi]

@inproceedings{ChopraDGM10,
  title = {Reasoning about agents and protocols via goals and commitments},
  author = {Amit K. Chopra and Fabiano Dalpiaz and Paolo Giorgini and John Mylopoulos},
  year = {2010},
  doi = {10.1145/1838206.1838271},
  url = {http://doi.acm.org/10.1145/1838206.1838271},
  tags = {protocol},
  researchr = {https://researchr.org/publication/ChopraDGM10},
  cites = {0},
  citedby = {0},
  pages = {457-464},
  booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
  editor = {Wiebe van der Hoek and Gal A. Kaminka and Yves Lespérance and Michael Luck and Sandip Sen},
  publisher = {IFAAMAS},
  isbn = {978-0-9826571-1-9},
}