diff --git a/Website/dp2005-abstracts-contents.htm b/Website/dp2005-abstracts-contents.htm new file mode 100644 index 0000000..40514ce --- /dev/null +++ b/Website/dp2005-abstracts-contents.htm @@ -0,0 +1,13 @@ + +

Information Science Discussion Papers Series: 2005 Abstracts

+ +
+ +

2005/01: A rule language for modelling and monitoring social expectations in multi-agent systems

+

S. Cranefield

+ +

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.

+ + +

Download (PDF, 192KB)

+