{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T14:10:27Z","timestamp":1742566227794,"version":"3.40.2"},"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 paper we overview our recent research activity concerning the induction of Logic Programming specifications, and the proof of their properties via Abductive Logic Programming. Both the inductive and abductive tools here briefly described have been applied to respectively learn and verify (properties of) interaction protocols in multi-agent systems, Web service choreographies, careflows and business processes.<\/jats:p>","DOI":"10.3233\/ia-2011-0006","type":"journal-article","created":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T17:15:33Z","timestamp":1575306933000},"page":"71-75","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":0,"title":["Learning specifications of interaction protocols and business processes and proving their properties"],"prefix":"10.1177","volume":"5","author":[{"given":"Marco","family":"Alberti","sequence":"first","affiliation":[{"name":"CENTRIA, DI-FCT \u2013 Universidade Nova de Lisboa, Quinta da Torre, Caparica, Portugal"}]},{"given":"Marco","family":"Gavanelli","sequence":"additional","affiliation":[{"name":"ENDIF \u2013 University of Ferrara, Via Saragat 1, Ferrara, Italy"}]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[{"name":"ENDIF \u2013 University of Ferrara, Via Saragat 1, Ferrara, Italy"}]},{"given":"Fabrizio","family":"Riguzzi","sequence":"additional","affiliation":[{"name":"ENDIF \u2013 University of Ferrara, Via Saragat 1, Ferrara, Italy"}]},{"given":"Sergio","family":"Storari","sequence":"additional","affiliation":[{"name":"ENDIF \u2013 University of Ferrara, Via Saragat 1, Ferrara, Italy"}]}],"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-0006","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/IA-2011-0006","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T13:44:08Z","timestamp":1742564648000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/IA-2011-0006"}},"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-0006"],"URL":"https:\/\/doi.org\/10.3233\/ia-2011-0006","relation":{},"ISSN":["1724-8035","2211-0097"],"issn-type":[{"type":"print","value":"1724-8035"},{"type":"electronic","value":"2211-0097"}],"subject":[],"published":{"date-parts":[[2011,1]]}}}