O. Kafali; P. Torroni, Exception diagnosis in multiagent contract executions, «ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE», 2012, 64(1), pp. 73 - 107 [Scientific article]
S. Gabbriellini; P. Torroni, Large scale agreements via microdebates, in: Proceedings of the First International Conference on Agreement Technologies, Sun SITE Central Europe, RWTH Aachen University, 2012, 918, pp. 366 - 377 (atti di: 1st International Conference on Agreement Technologies (AT 2012), Dubrovnik, Croatia, October 15-16, 2012) [Contribution to conference proceedings]
S. Bragaglia; F. Chesani; P. Mello; M. Montali; P. Torroni, Reactive event calculus for monitoring global computing applications, in: Logic Programs, Norms and Action. Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday, HEIDELBERG, Springer-Verlag, 2012, pp. 123 - 146 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
M. Alberti; M. Cattafi; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni, A computational logic application framework for service discovery and contracting, «INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH», 2011, 8, pp. 1 - 25 [Scientific article]
O. Kafali; F. Toni; P. Torroni, Collaborative Diagnosis of Exceptions to Contracts (Extended Abstract), in: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3, RICHLAND, SOUTH CAROLINA, IFAAMAS, 2011, pp. 1167 - 1168 (atti di: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011) [Contribution to conference proceedings]
J. Leite; P. Torroni; T. Agotnes; G. Boella; L. van der Torre, Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, HEIDELBERG, Springer-Verlag, 2011, pp. 398 (LECTURE NOTES IN COMPUTER SCIENCE). [Editorship]
O. Kafali; P. Torroni, Diagnosing commitments: delegation revisited (extended abstract), in: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3, RICHLAND, SOUTH CAROLINA, IFAAMAS, 2011, pp. 1175 - 1176 (atti di: 10th International Conference on Autonomous Agents and Multiagent Systems, Taipei, Taiwan, May 2-6, 2011) [Contribution to conference proceedings]
M. Montali; P. Torroni; N. Zannone; P. Mello; V. Bryl, Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos, «AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS», 2011, 23, pp. 193 - 223 [Scientific article]
F. Chesani; P. Mello; M. Montali; P. Torroni, Modeling and verifying business process and choreographies through the abductive proof procedure SCIFF and its extensions., «INTELLIGENZA ARTIFICIALE», 2011, 5 (1), pp. 101 - 105 [Scientific article]
F. Chesani; P. Mello; M. Montali; P. Torroni, Monitoring time-aware commitments within agent-based simulation environments, «CYBERNETICS AND SYSTEMS», 2011, 42, pp. 546 - 566 [Scientific article]
J. Leite; P. Torroni; T. Agotnes; G. Boella; L. van der Torre, Preface, in: Computational Logic in Multi-Agent Systems12th International Workshop, CLIMA XII Barcelona, Spain, July 17-18, 2011 Proceedings, HEIDELBERG, Springer-Verlag, 2011, pp. IV - VII (LECTURE NOTES IN COMPUTER SCIENCE) [Brief introduction]
O. Kafali; F. Toni; P. Torroni, Reasoning about exceptions to contracts, in: Computational Logic in Multi-Agent Systems12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, HEIDELBERG, Springer-Verlag, 2011, 6814, pp. 225 - 242 (atti di: 12th International Workshop on Computational Logic in Multi-Agent Systems, Barcelona, Spain, July 17-18, 2011) [Contribution to conference proceedings]
O. Kafali; P. Torroni, Social commitment delegation and monitoring, in: Computational Logic in Multi-Agent Systems12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, HEIDELBERG, Springer-Verlag, 2011, 6814, pp. 171 - 189 (atti di: 12th International Workshop on Computational Logic in Multi-Agent Systems, Barcelona, Spain, July 17-18, 2011) [Contribution to conference proceedings]
F. Chesani; P. Mello; M. Montali; P. Torroni, A Logic-Based, Reactive Calculus of Events, «FUNDAMENTA INFORMATICAE», 2010, 105(1-2), pp. 135 - 161 [Scientific article]
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]
