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.
Titolo: | Social Commitments in Time: Satisfied or Compensated |
Autore/i: | TORRONI, PAOLO; CHESANI, FEDERICO; MELLO, PAOLA; MONTALI, MARCO |
Autore/i Unibo: | |
Anno: | 2010 |
Titolo del libro: | Declarative Agent Languages and Technologies VII. 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers |
Pagina iniziale: | 228 |
Pagina finale: | 243 |
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. |
Data prodotto definitivo in UGOV: | 23-feb-2010 |
Appare nelle tipologie: | 4.01 Contributo in Atti di convegno |
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.