{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T13:26:59Z","timestamp":1777728419425,"version":"3.51.4"},"reference-count":0,"publisher":"SAGE Publications","issue":"1","license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Intelligenza Artificiale: The international journal of the AIxIA"],"published-print":{"date-parts":[[2011,2]]},"abstract":"<jats:p>In this article we survey our recent research activity concerning the use of logic programming, and in particular of abduction, for interaction specification and verification in several domains. We outline relevant results in the areas of multi-agent systems, argumentation, web services choreographies and business processes.<\/jats:p>","DOI":"10.3233\/ia-2011-0011","type":"journal-article","created":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T12:15:41Z","timestamp":1575288941000},"page":"101-105","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":2,"title":["Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions"],"prefix":"10.1177","volume":"5","author":[{"given":"Federico","family":"Chesani","sequence":"first","affiliation":[{"name":"DEIS, University of Bologna, Viale Risorgimento 2, Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[{"name":"DEIS, University of Bologna, Viale Risorgimento 2, Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[{"name":"DEIS, University of Bologna, Viale Risorgimento 2, Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Torroni","sequence":"additional","affiliation":[{"name":"DEIS, University of Bologna, Viale Risorgimento 2, Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2011,1]]},"container-title":["Intelligenza Artificiale: The international journal of the AIxIA"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/IA-2011-0011","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/IA-2011-0011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T10:52:02Z","timestamp":1777459922000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/IA-2011-0011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,2]]}},"alternative-id":["10.3233\/IA-2011-0011"],"URL":"https:\/\/doi.org\/10.3233\/ia-2011-0011","relation":{},"ISSN":["1724-8035","2211-0097"],"issn-type":[{"value":"1724-8035","type":"print"},{"value":"2211-0097","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,1]]}}}