Show simple item record

dc.contributor.authorCranefield, Stephenen_NZ
dc.date.available2011-04-07T03:02:08Z
dc.date.copyright2006en_NZ
dc.identifier.citationCranefield, S. (2006). A rule language for modelling and monitoring social expectations in multi-agent systems (p. 13). Presented at the Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems: AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, University of Otago. doi:10.1007/11775331_17en
dc.identifier.urihttp://hdl.handle.net/10523/749
dc.descriptionThe full text is available only from the related link (you must be a subscriber to the SpringerLink service).en_NZ
dc.description.abstractThis paper proposes a rule language for defining social expectations based on a metric interval temporal logic with past and future modalities and a current-time binding operator. An algorithm for run-time monitoring compliance of rules in this language based on formula progression is also presented.en_NZ
dc.publisherUniversity of Otagoen_NZ
dc.relation.replaces1070en_NZ
dc.subject.lcshQA75 Electronic computers. Computer scienceen_NZ
dc.titleA rule language for modelling and monitoring social expectations in multi-agent systemsen_NZ
dc.typeConference or Workshop Item (Paper)en_NZ
dc.description.versionPublisheden_NZ
otago.date.accession2006-06-19en_NZ
otago.schoolInformation Scienceen_NZ
otago.relation.pages13en_NZ
dc.identifier.doi10.1007/11775331_17en_NZ
otago.openaccessAbstract Only
otago.place.publicationDunedin, New Zealanden_NZ
dc.identifier.eprints320en_NZ
dc.description.refereedPeer Revieweden_NZ
otago.school.eprintsSoftware Engineering & Collaborative Modelling Laboratoryen_NZ
otago.school.eprintsInformation Scienceen_NZ
otago.event.dates25-26 July 2005en_NZ
otago.event.placeUtrecht, The Netherlandsen_NZ
otago.event.typeworkshopen_NZ
otago.event.titleCoordination, Organizations, Institutions, and Norms in Multi-Agent Systems: AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005en_NZ
 Find in your library

Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item is not available in full-text via OUR Archive.

If you are the author of this item, please contact us if you wish to discuss making the full text publicly available.

This item appears in the following Collection(s)

Show simple item record

VersionItemEditorDateSummary

*Selected version