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]
M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello, Abduction in the Context of a Reasoning Process: the SCIFF Framework, in: Reasoning, Rationality and Probability, STANFORD, CHICAGO, University of Chicago Press, 2008, pp. 271 - 287 [Chapter or essay]
F. Chesani; E. Lamma; P. Mello; M. Montali; S. Storari; P. Baldazzi; M. Manfredi, Conformance Checking of Cancer-Screening Careflows: an Approach based on Computational Logic., in: Computer-based medical guidelines and protocols: A primer and current trends, AMSTERDAM, IOS Press, 2008, pp. 183 - 192 (Studies in Health Technology and Informatics) [Chapter or essay]
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]
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]
F. Chesani; P. Mello; M. Montali; S. Storari, Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification, in: Proceedings of the Multi-Agent Logics, Languages, and Organisations Federated Workshop - Agents, Web-Services, and Ontologies Integrated Methodologies (AWESOME 2007), DURHAM, s.n, 2007, pp. 27 - 42 (atti di: Multi-Agent Logics, Languages, and Organisations Federated Workshop (MALLOW 2007), Durham, United Kingdom, 3-7 Settembre 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]
M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali;
P. Torroni, Expressing and Verifying Business Contracts with Abductive Logic Programming, in: Normative Multi-Agent Systems, Dagstuhl Seminars Proceedings, DAGSTUHL, IBFI, 2007, pp. 1 - 29 (atti di: Normative Multi-agent Systems, Dagstuhl Seminars, Dagstuhl, 18-23 Marzo 2007) [Contribution to conference proceedings]
M. Alberti; F. Chesani; D. Daolio; M. Gavanelli; E. Lamma; P. Mello; P. Torroni, Specification and Verification of Agent Interaction Protocols in a Logic-based System, «SCALABLE COMPUTING. PRACTICE AND EXPERIENCE», 2007, 8(1), pp. 1 - 13 [Scientific article]
F. Chesani; P. Mello; M. Montali; S. Storari, Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic, in: Artificial Intelligence in Medicine, 2007, 4594, pp. 479 - 488 (atti di: 11th Conference on Artificial Intelligence in Medicine (AIME 2007), Amsterdam, the Netherlands, 7-11 Luglio 2007) [Contribution to conference proceedings]
