---
title: "An Adaptive Process Management System Implementation Based on Situation Calculus, Indigolog and Classical Planning"
authors:
  - "Andrea Marrella"
  - "Massimo Mecella"
  - "Sebastian Sardiña"
doi: ""
url: "https://ijcai.org/proceedings/2016/649"
pdf: "https://ijcai.org/proceedings/2016/0649.pdf"
venue: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence"
year: 2016
pages: "4258-4258"
track: ""
keywords:
---

# An Adaptive Process Management System Implementation Based on Situation Calculus, Indigolog and Classical Planning

Andrea Marrella, Massimo Mecella, Sebastian Sardiña

*Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence*, pages 4258-4258.

## 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.