Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Learning specifications of interaction protocols and business processes and proving their properties
February 2011
ia-fe-2011
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.
Journal
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
Intelligenza artificiale
-
-
5
1
71-75
-
1724-8035
-
http://dx.doi.org/10.3233/IA-2011-0006
Export formats
Marco Alberti and Marco Gavanelli and Evelina Lamma and Fabrizio Riguzzi and Sergio Storari, Learning specifications of interaction protocols and business processes and proving their properties, Intelligenza artificiale, Vol. 5, No. 1, Pag. 71-75, ISSN 1724-8035, (http://dx.doi.org/10.3233/IA-2011-0006), February 2011.
<b><a href="/people/members/view.php?code=bde07d722513741a0fa20a19209bc4a1" class="author">Marco Alberti</a>, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi and Sergio Storari</b>, <u>Learning specifications of interaction protocols and business processes and proving their properties</u>, Intelligenza artificiale, Vol. 5, No. 1, Pag. 71-75, ISSN 1724-8035, (<a href="http://dx.doi.org/10.3233/IA-2011-0006" target="_blank">url</a>), February 2011.
@article {ia-fe-2011, author = {Marco Alberti and Marco Gavanelli and Evelina Lamma and Fabrizio Riguzzi and Sergio Storari}, title = {Learning specifications of interaction protocols and business processes and proving their properties}, journal = {Intelligenza artificiale}, volume = {5}, number = {1}, pages = {71-75}, issn = {1724-8035}, url = {http://dx.doi.org/10.3233/IA-2011-0006}, abstract = {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.}, month = {February}, year = {2011}, }
Publication's urls
/publications/view.php?code=4bca38abf3341379632f088036e9bf55
/publications/view.php?code=ia-fe-2011
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT