Show simple item record

dc.contributor.authorChesani F
dc.contributor.authorMello P
dc.contributor.authorMontali M
dc.contributor.editorKryszkiewicz M
dc.contributor.editorAppice A
dc.contributor.editorSlezak D
dc.contributor.editorRybinski H
dc.contributor.editorSkowron A
dc.contributor.editorRas ZW
dc.date.accessioned2018-07-30T10:01:12Z
dc.date.available2018-07-30T10:01:12Z
dc.date.issued2017
dc.identifier.isbn978-3-319-60437-4
dc.identifier.issn0302-9743
dc.identifier.urihttp://dx.doi.org/10.1007/978-3-319-60438-1_1
dc.identifier.urihttps://link.springer.com/chapter/10.1007/978-3-319-60438-1_1
dc.identifier.urihttp://hdl.handle.net/10863/5240
dc.description.abstractMany emerging applications in Business Process Management, Clinical Guidelines, Service-Oriented and Multi-Agent Systems, are characterized by distribution, complex interaction and coordination dynamics. Such domains, apparently unrelated, all ask for a suitable tradeoff between flexibility and regulation. In this light, compliance checking emerged as an effective way to understand whether an observed course of interaction agrees with what is expected by a model of the system. In this paper, we single out a non exhaustive list of desiderata and challenges for compliance checking applied at runtime. We then argue that methods, tools and techniques of Computational Logic, and Abductive Reasoning in particular, can be fruitfully exploited to tackle all such challenges in a formally grounded, computationally effective way.en_US
dc.language.isoenen_US
dc.publisherSpringeren_US
dc.relation.ispartofseriesLecture Notes in Artificial Intelligence;
dc.rights
dc.titleAbductive Reasoning on Compliance Monitoring - Balancing Flexibility and Regulationen_US
dc.typeBook chapteren_US
dc.date.updated2018-05-15T13:14:53Z
dc.publication.titleFoundations of Intelligent Systems: 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings
dc.language.isiEN-GB
dc.description.fulltextreserveden_US


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record