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.
P. Torroni, F. Chesani, P. Mello, M. Montali (2009). Social commitments in time: satisfied or compensated (preliminary report). s.l : s.n.
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.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
