{"type":"ScholarlyArticle","title":"An Adaptive Process Management System Implementation Based on Situation Calculus, Indigolog and Classical Planning","authors":[{"name":"Andrea Marrella","slug":"andrea-marrella","given":"Andrea","family":"Marrella","affiliation":""},{"name":"Massimo Mecella","slug":"massimo-mecella","given":"Massimo","family":"Mecella","affiliation":""},{"name":"Sebastian Sardiña","slug":"sebastian-sardina","given":"Sebastian","family":"Sardina","affiliation":""}],"abstract":"In this paper, we introduce an adaptive Process Management System implementation that combines business process execution monitoring, unanticipated exception detection and automated resolution strategies leveraging on well-established formalisms developed for reasoning about actions in Artificial Intelligence, including the Situation Calculus, IndiGolog and classical planning. Such formalisms provide a natural framework for the formal specification of explicit mechanisms to model world changes and responding to anomalous situations, exceptions, exogenous events in an automated way during process execution.","doi":null,"url":"https://ijcai.org/proceedings/2016/649","pdf":"https://ijcai.org/proceedings/2016/0649.pdf","markdown":"https://ijcai.org/proceedings/2016/649.md","bibtex":"https://ijcai.org/proceedings/2016/bibtex/649","volume":{"slug":"2016","title":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2016","url":"https://ijcai.org/proceedings/2016/","year":2016,"location":"New York, NY, USA","dates":"9–15 July 2016","editors":"Subbarao Kambhampati","isbn":"978-1-57735-770-4; 978-1-57735-771-1","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":649,"pages":{"first":4258,"last":4258},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}