@inproceedings{AlbGavLam09-CEUR-NW,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi and
Sergio Storari },
editor = {Matteo Baldoni and
Cristina Baroglio},
booktitle = {Il Milione (i.e. $2^6$, June 3rd 2008)
A Journey in the Computational Logic in Italy, Proceedings of the Day Dedicated to Prof. {Alberto Martelli}
Turin, Italy, June 3, 2008},
title = {Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties},
year = {2009},
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.},
pdf = {http://ceur-ws.org/Vol-487/paper6.pdf},
series = {CEUR Workshop Proceedings},
publisher = {Sun {SITE} Central Europe},
issn = {1613-0073},
volume = {487},
pages = {32-37},
address = {Aachen, \Germany},
keywords = {Business Process Management, Logic Programming}
}
This file was generated by bibtex2html 1.98.