P. Torroni; F. Chesani; P. Mello; M. Montali, Social Commitments in Time: Satisfied or Compensated, in: Declarative Agent Languages and Technologies VII. 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers, BERLIN, SPRINGER, 2010, 5948/2010, pp. 228 - 243 (atti di: AAMAS 2009 - Workshop Declarative Agent Languages and Technologies VII, Budapest, Hungary., May 11, 2009) [Contributo in Atti di convegno]
O. Kafali; F. Chesani; P. Torroni, What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior, in: Computational Logic in Multi-Agent Systems, HEIDELBERG, Springer, 2010, 6245, pp. 82 - 98 (atti di: 11th International Workshop on Computational Logic in Multi-Agent Systems, Lisbon, Portugal, August 16-17, 2010) [Contributo in Atti di convegno]
A. Dal Palù; P. Torroni, 25 Years of Applications of Logic Programming in Italy, in: AA.VV., A 25-Year Perspective on Logic Programming. Achievements of the Italian Association for Logic Programming, GULP, HEIDELBERG, Springer, 2010, pp. 300 - 328 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]
Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo, A REC-based commitment tracking tool, in: 10th Workshop on Objects and Agents, WOA'09, 2009, pp. 1 - 4 (atti di: 10th Workshop on Objects and Agents, WOA 2009, Parma, ita, 2009) [Contributo in Atti di convegno]
P. Torroni; M. Gavanelli; F. Chesani, Arguing on the Semantic Grid, in: Argumentation in Artificial Intelligence, BERLIN, HEIDELBERG, Springer, 2009, pp. 423 - 442 [capitolo di libro]
M. Montali; F. Chesani; P. Mello; P. Torroni, Commitment Tracking via the Reactive Event Calculus, in: IJCAI 2009: Proceedings of the 21st International Joint Conference on Artificial Intelligence, s.l, s.n, 2009, pp. 91 - 96 (atti di: IJCAI 2009, 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009) [Contributo in Atti di convegno]
M. Alberti; M. Cattafi; F. Chesani; M. Gavanelli; E. Lamma; M. Montali; P. Mello; P. Torroni, Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture, in: Proceeding of the IEEE International Conference on Web Services, s.l, IEEE, 2009, pp. 254 - 261 (atti di: ICWS 2009, IEEE International Conference on Web Services, Los Angeles, CA, USA, 6-10 July 2009) [Contributo in Atti di convegno]
M. Dastani; A. El Fallah Seghrouchni; J. Leite; P. Torroni, LAnguages, methodologies and Development tools for multi-agent systemS, LADS’009 (Introductory Essay of the Workshop), in: AA.VV., Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops. Turin, Italy, September 7-10, 2009., AACHEN, CEUR-WS.org, 2009, pp. 203 - 205 [introduzione]
P. Torroni; P. Yolum; M. P. Singh; M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello, Modelling interactions via commitments and expectations, in: Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, HERSHEY, PENNSYLVANIA, IGI Global, 2009, pp. 263 - 284 [capitolo di libro]
M. Baldoni; C. Baroglio; J. Bentahar; G. Boella; M. Cossentino; M. Dastani; B. Dunin-Keplicz; G. Fortino; M. P. Gleizes; J. Leite; V. Mascardi; J. A. Padget; J. Pavón; A. Polleres; A. El Fallah-Seghrouchni; P. Torroni; R. Verbrugge (a cura di): AA.VV., Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009, AACHEN, CEUR-WS.org, 2009, pp. 376 (CEUR Workshop Proceedings). [curatela]
P. Torroni; F. Chesani; P. Mello; M. Montali, Social commitments in time: satisfied or compensated (preliminary report), in: AA.VV., Declarative Agent Languages and Technologies, Seventh International Workshop, DALT 2009 Budapest, Hungary, May 11th, 2009. Workshop Notes, s.l, s.n, 2009, pp. 147 - 161 (atti di: Seventh International Workshop on Declarative Agent Languages and Technologies, Budapest, Hungary, May 11th, 2009) [Contributo in Atti di convegno]
Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo, Verification of choreographies during execution using the reactive event calculus, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, 5387, pp. 55 - 72 (atti di: 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, Milan, ita, 2008) [Contributo in Atti di convegno]
F. Chesani; P. Mello; M. Montali; P. Torroni, Verifying a-priori the composition of declarative specified services., in: Proceedings of the 2nd Second Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW), International Workshop on Agents, Web Services and Ontologies, Integrated Methodologies (MALLOW-AWESOME)., AACHEN, CEUR, 2009, 494, pp. 1 - 8 (atti di: 2nd Second Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW), International Workshop on Agents, Web Services and Ontologies, Integrated Methodologies (MALLOW AWESOME), Torino, italy, September 7-10, 2009) [Contributo in Atti di convegno]
v. bryl; p. mello; m. montali; p. torroni; n. zannone, B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification, in: Computational Logic in Multi-Agent Systems, CLIMA VIII. Revised Selected and Invited Papers., BERLIN, HEIDELBERG, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2008, 5056, pp. 157 - 176 (atti di: Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII., Porto, Portugal, September 2007) [Contributo in Atti di convegno]
M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni, Expressing and verifying contracts with abductive logic programming, «INTERNATIONAL JOURNAL OF ELECTRONIC COMMERCE», 2008, 12(4), pp. 9 - 38 [articolo]
