CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishWe 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
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11585/85364
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2021