M. Montali; P. Torroni; F. Chesani; P. Mello; M. Alberti; E. Lamma, Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes, «FUNDAMENTA INFORMATICAE», 2010, 102(3-4), pp. 325 - 361 [Scientific article]
Matteo Baldoni; Cristina Baroglio; Viviana Mascardi; Andrea Omicini; Paolo Torroni, Agents, Multi-Agent Systems and Declarative Programming: Who, What, When, Where, Why, How?, in: A 25-Year Perspective on Logic Programming. Achievements of the Italian Association for Logic Programming, GULP, HEIDELBERG, Springer, 2010, pp. 200 - 225 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
P. Torroni; M. Prandini; M. Ramilli; J. Leite; J. Martins, Arguments against the Troll, in: Proc. of the Eleventh AI*IA Symposium on Artificial Intelligence, BRESCIA, Arti grafiche Apollonio, 2010, pp. 232 - 235 (atti di: Eleventh AI*IA Symposium on Artificial Intelligence, Brescia, Italy, 1-3 Dec. 2010) [Contribution to conference proceedings]
F. Chesani; P. Mello; M. Montali; P. Torroni, Declarative Technologies for Open Agent Systems and Beyond, in: Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part I, HEIDELBERG, Springer, 2010, 6070, pp. 1 - 5 (atti di: Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010) [Contribution to conference proceedings]
M. Dastani; A. El-fallah Seghrouchni; J. Leite; P. Torroni, Languages, Methodologies, and Development Tools for Multi-Agent Systems, Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers, HEIDELBERG, Springer, 2010, pp. 193 (Lecture Notes in Computer Science). [Editorship]
F. Chesani; P. Mello; M. Montali; P. Torroni, Monitoring Time-Aware Social Commitments with Reactive Event Calculus, in: Proceedings of the 20th European Meeting on Cybernetics and Systems Research (EMCSR 2010) - International Workshop From Agent Theory to Agent Implementation (AT2AI-7), VIENNA, Austrian Society for Cybernetics Studies, 2010, 6/6, pp. 447 - 452 (atti di: 7th International Workshop From Agent Theory to Agent Implementation, University of Vienna, Vienna, Austria, April 6-9, 2010) [Contribution to conference proceedings]
F. Chesani; P. Mello; M. Montali; S. Storari; P. Torroni, On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework, «MULTIAGENT AND GRID SYSTEMS», 2010, 6, pp. 165 - 190 [Scientific article]
M. Dastani; A. El Fallah Seghrouchni; J. Leite; P. Torroni, Preface, in: Languages, Methodologies, and Development Tools for Multi-Agent Systems. Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers, HEIDELBERG, Springer, 2010, pp. V - V [Brief introduction]
F. Chesani; P. Mello; M. Montali; P. Torroni, Role Monitoring in Open Agent Societies, in: Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part I, HEIDELBERG, Springer, 2010, 6070, pp. 112 - 121 (atti di: 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010) [Contribution to conference proceedings]
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) [Contribution to conference proceedings]
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) [Contribution to conference proceedings]
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) [Contribution to conference proceedings]
P. Torroni; M. Gavanelli; F. Chesani, Arguing on the Semantic Grid, in: Argumentation in Artificial Intelligence, BERLIN, HEIDELBERG, Springer, 2009, pp. 423 - 442 [Chapter or essay]
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) [Contribution to conference proceedings]
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) [Contribution to conference proceedings]
