Social Commitments in Time: Satisfied or Compensated

  • Paolo Torroni
  • Federico Chesani
  • Paola Mello
  • Marco Montali
Conference paper

DOI: 10.1007/978-3-642-11355-0_14

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5948)
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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Paolo Torroni
    • 1
  • Federico Chesani
    • 1
  • Paola Mello
    • 1
  • Marco Montali
    • 1
  1. 1.DEISUniversity of BolognaBolognaItaly

Personalised recommendations