Social Commitments in Time: Satisfied or Compensated

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.

• Type: Conference
• Year: 2009
• Where: DALT
• Authors: Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali
• Keywords: Commitments, Computational Logic Technology, DALT 2009, Intelligent Agents, Reactive Axiomatization