A Retrospective on the Reactive Event Calculus and Commitment Modeling Language [chapter]

Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali
2012 Lecture Notes in Computer Science  
Social commitments in time: Satisfied or compensated was the title of a presentation given at the 7th DALT workshop edition [34] in which we proposed a layered architecture for modeling and reasoning about social commitments. We gave emphasis to modularity and to the need of accommodating certain temporal aspects in order for a commitment modeling framework to be flexible enough to adapt to diverse commitment theories, and expressive enough to model realistic scenarios. We grounded the
more » ... on two formalisms: the Reactive Event Calculus (RE C) and the Commitment Modeling Language (CML). In this retrospective, we review recent developments of this line of work, and discuss our contribution in a broader context of related research.
doi:10.1007/978-3-642-29113-5_13 fatcat:wyyxfm5rg5hqffea3agdeowwe4