Show simple item record

dc.contributor.authorChesani F
dc.contributor.authorMello P
dc.contributor.authorMontali M
dc.contributor.authorTorroni P
dc.contributor.editor
dc.date.accessioned2018-08-08T09:44:43Z
dc.date.available2018-08-08T09:44:43Z
dc.date.issued2011
dc.identifier.issn1724-8035
dc.identifier.urihttp://dx.doi.org/10.3233/IA-2011-0011
dc.identifier.urihttp://content.iospress.com/articles/intelligenza-artificiale/ia011
dc.identifier.urihttp://hdl.handle.net/10863/5696
dc.descriptionE` una continuazione della vecchia rivista italiana, ma ha cambiato editor ed è pubblicata come internazionale. (IOS Press) con board internazionale e reviewers internazioali. Vi prego quindi di riconsiderarla nella classificazione. IOS Press Intelligenza Artificiale ISSN: 1724-8035 NEW Volume 5; 2 issues http://www.iospress.cn/loadtop/load.php?isbn=17248035en_US
dc.description.abstractIn 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.en_US
dc.language.isoenen_US
dc.rights
dc.titleModeling and verifying business process and choreographies through the abductive proof procedure SCIFF and its extensionsen_US
dc.typeArticleen_US
dc.date.updated2018-08-08T09:30:20Z
dc.publication.title
dc.language.isiEN-GB
dc.journal.titleIntelligenza Artificiale
dc.description.fulltextopenen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record