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},
  year = 2011,
  volume = 5,
  number = 1,
  pages = {71--75},
  month = feb,
  doi = {10.3233/IA-2011-0006},
  issn = {1724-8035},
  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://ml.unife.it/wp-content/uploads/Papers/AlbGavLam-IA08.pdf}

This file was generated by bibtex2html 1.98.