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) [capitolo di libro]
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 [articolo]
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) [Contributo in Atti di convegno]
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). [curatela]
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) [Contributo in Atti di convegno]
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 [articolo]
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 [articolo]
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 [articolo]
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) [introduzione]
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, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, 6814, pp. 225 - 242 (atti di: 12th International Workshop on Computational Logic in Multi-Agent Systems, Barcelona, Spain, July 17-18, 2011) [Contributo in Atti di convegno]
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, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, 6814, pp. 171 - 189 (atti di: 12th International Workshop on Computational Logic in Multi-Agent Systems, Barcelona, Spain, July 17-18, 2011) [Contributo in Atti di convegno]
F. Chesani; P. Mello; M. Montali; P. Torroni, A Logic-Based, Reactive Calculus of Events, «FUNDAMENTA INFORMATICAE», 2010, 105(1-2), pp. 135 - 161 [articolo]
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 [articolo]
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) [capitolo di libro]
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) [Contributo in Atti di convegno]
