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 [Brief introduction]
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 [Chapter or essay]
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). [Editorship]
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) [Contribution to conference proceedings]
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), «LECTURE NOTES IN COMPUTER SCIENCE», 2009, 5387, pp. 55 - 72 (atti di: 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, Milan, ita, 2008) [Contribution to conference proceedings]
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) [Contribution to conference proceedings]
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, 2008, 5056, pp. 157 - 176 (atti di: Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII., Porto, Portugal, September 2007) [Contribution to conference proceedings]
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 [Scientific article]
M. Dastani; A. El Fallah Seghrouchni; J. Leite; P. Torroni (a cura di): AA.VV., Languages, Methodologies and Development Tools for Multi-Agent Systems, BERLIN, HEIDELBERG, Springer-Verlag, 2008, pp. 289 (Lecture Notes in Artificial Intelligence). [Editorship]
F. Chesani; P. Mello; M. Montali; P. Torroni, Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting, in: AA.VV., SWAP 2008: Semantic Web Applications and Perspectives, AACHEN, Sun SITE Central Europe, 2008, 426, pp. 23-1 - 23-10 (atti di: Semantic Web Applications and Perspectives, Roma, December 15-17, 2008.) [Contribution to conference proceedings]
M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; P. Torroni, Verifiable agent interaction in abductive logic programming: the SCIFF framework, «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC», 2008, 9(4), article 29, pp. 1 - 43 [Scientific article]
M. Montali; P. Torroni; M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello, Verification from declarative specifications using Logic Programming, in: AA.VV., Proceedings of the 24th International Conference on Logic Programming (ICLP), BERLIN, HEIDELBERG, Springer-Verlag, 2008, 5366, pp. 440 - 454 (atti di: International Conference on Logic Programming, Udine, Italy, December 9-13, 2008) [Contribution to conference proceedings]
M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari; P. Torroni, A computational logic-based approach to verification of IT systems, in: AA.VV., Proceedings of the 14th HP Software University Association Workshop (HP-SUA), Garching/Munich, Germany, July 11-14, 2007., STUTTGART, Infonomics-Consulting, 2007, pp. 115 - 125 (atti di: 14th HP Software University Association Workshop (HP-SUA). Hosted by the Leibniz Computing Center and the Munich Network Management Team, Garching/Munich, Germany, July 11-14, 2007) [Contribution to conference proceedings]
M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni, A rule-based approach for reasoning about collaboration between smart Web services, in: Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings, 2007, 4524, pp. 279 - 288 (atti di: Web Reasoning and Rule Systems, First International Conference (RR2007), Innsbruck , Austria, June 7-8, 2007) [Contribution to conference proceedings]
Torroni P.; Gavanelli M.; Chesani F., Argumentation in the Semantic Web, «IEEE INTELLIGENT SYSTEMS», 2007, 22(6), pp. 66 - 74 [Scientific article]
