Social Commitments in Time: Satisfied or Compensated
- Cite this paper as:
- Torroni P., Chesani F., Mello P., Montali M. (2010) Social Commitments in Time: Satisfied or Compensated. In: Baldoni M., Bentahar J., van Riemsdijk M.B., Lloyd J. (eds) Declarative Agent Languages and Technologies VII. DALT 2009. Lecture Notes in Computer Science, vol 5948. Springer, Berlin, Heidelberg
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.
Unable to display preview. Download preview PDF.