Show simple item record

dc.contributor.authorTorroni, P
dc.contributor.authorChesani, F
dc.contributor.authorMello, P
dc.contributor.authorMontali, M
dc.contributor.editorBaldoni, M
dc.contributor.editorBentahar, J
dc.contributor.editorvan, Riemsdijk MB
dc.contributor.editorLloyd, J
dc.date.accessioned2015-07-08T07:26:26Z
dc.date.available2015-07-08T07:26:26Z
dc.date.issued2010
dc.identifier.isbn978-3-642-11354-3
dc.identifier.issn0302-9743
dc.identifier.urihttp://dx.doi.org/10.1007/978-3-642-11355-0_14
dc.identifier.urihttp://www.springerlink.com/content/720265578881w886/
dc.identifier.urihttp://hdl.handle.net/10863/1108
dc.descriptionSelected among the most cited papers in the DALT seriesen_US
dc.description.abstractWe 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 verificationen_US
dc.publisherSpringeren_US
dc.relation.ispartofseriesLecture Notes in Computer Science;5948
dc.titleSocial commitments in time: satisfied or compensateden_US
dc.typeBook chapteren_US
dc.date.updated2015-07-07T12:47:43Z
dc.publication.titleDeclarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
dc.description.fulltextinternalen_US


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record