A retrospective on the Reactive Event Calculus and Commitment Modeling Language
MetadataShow full item record
Social commitments in time: Satisfied or compensated was the title of a presentation given at the 7th DALT workshop edition  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 framework on two formalisms: the Reactive Event Calculus (REC" role="presentation">REC) and the Commitment Modeling Language (CML" role="presentation">CML). In this retrospective, we review recent developments of this line of work, and discuss our contribution in a broader context of related research.