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.
Social commitments in time: satisfied or compensated (preliminary report) / P. Torroni; F. Chesani; P. Mello; M. Montali. - ELETTRONICO. - (2009), pp. 147-161. (Intervento presentato al convegno Seventh International Workshop on Declarative Agent Languages and Technologies tenutosi a Budapest, Hungary nel May 11th, 2009).
Social commitments in time: satisfied or compensated (preliminary report)
TORRONI, PAOLO;CHESANI, FEDERICO;MELLO, PAOLA;MONTALI, MARCO
2009
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.