Logo image
Back
Social Commitments in Time: Satisfied or Compensated
Conference proceeding   Peer reviewed

Social Commitments in Time: Satisfied or Compensated

Paolo Torroni, Federico Chesani, Paola Mello and Marco Montali
Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers, Vol.5948, pp.228-243
Lecture Notes in Computer Science, 5948
DALT 2009 - 7th International Workshop on Declarative Agent Languages and Technologies (Budapest, 11/05/2009 - 11/05/2009)
2010
DOI: https://doi.org/10.1007/978-3-642-11355-0_14
Handle:
https://hdl.handle.net/10863/29277

Abstract

We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We propose a new characterization of commitments with time that enables a rich modeling of the domain, various forms of reasoning, and run-time and static verification.
url
https://link.springer.com/chapter/10.1007/978-3-642-11355-0_14View

Details

Metrics

1 Record Views