%0 Book Section %1 springerlink:10.1007/11775331_17 %A Cranefield, Stephen %B Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems %C Berlin / Heidelberg %D 2006 %E Boissier, Olivier %E Padget, Julian %E Dignum, Virginia %E Lindemann, Gabriela %E Matson, Eric %E Ossowski, Sascha %E Sichman, Jaime %E Vázquez-Salceda, Javier %I Springer %K agents myown %P 246-258 %R 10.1007/11775331_17 %T A Rule Language for Modelling and Monitoring Social Expectations in Multi-agent Systems %U http://dx.doi.org/10.1007/11775331_17 %V 3913 %X This 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. %@ 978-3-540-35173-3

@incollection{springerlink:10.1007/11775331_17, abstract = {This 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.}, added-at = {2011-09-29T23:18:08.000+0200}, address = {Berlin / Heidelberg}, affiliation = {Department of Information Science, University of Otago, PO Box 56, Dunedin, New Zealand}, author = {Cranefield, Stephen}, biburl = {https://www.bibsonomy.org/bibtex/226038c3ff5da2ef310d93d4c355cd811/scranefield}, booktitle = {Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems}, doi = {10.1007/11775331_17}, editor = {Boissier, Olivier and Padget, Julian and Dignum, Virginia and Lindemann, Gabriela and Matson, Eric and Ossowski, Sascha and Sichman, Jaime and Vázquez-Salceda, Javier}, interhash = {e0f0e514917a8c76b2800fbc94293040}, intrahash = {26038c3ff5da2ef310d93d4c355cd811}, isbn = {978-3-540-35173-3}, keywords = {agents myown}, pages = {246-258}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2011-09-29T23:18:09.000+0200}, title = {A Rule Language for Modelling and Monitoring Social Expectations in Multi-agent Systems}, url = {http://dx.doi.org/10.1007/11775331_17}, volume = 3913, year = 2006 }