A Rule Language for Modelling and Monitoring Social Expectations in Multi-Agent Systems

leading to a major in Information Science within the BCom, BA and BSc degrees. In addition to undergraduate teaching, the department is also strongly involved in post-graduate research programmes leading to MCom, MA, MSc and PhD degrees. Re-search projects in spatial information processing, connectionist-based information sys-tems, software engineering and software development, information engineering and database, software metrics, distributed information systems, multimedia information systems and information systems security are particularly well supported. The views expressed in this paper are not necessarily those of the department as a whole. The accuracy of the information presented in this paper is the sole responsibil-ity of the authors. Copyright Copyright remains with the authors. Permission to copy for research or teaching pur-poses is granted on the condition that the authors and the Series are given due ac-knowledgment. Reproduction in any form for purposes other than research or teach-ing is forbidden unless prior written permission has been obtained from the authors. Correspondence This paper represents work to date and may not necessarily form the basis for the au-thors ’ final conclusions relating to this topic. It is likely, however, that the paper will ap-pear in some form in a journal or in conference proceedings in the near future. The au-thors would be pleased to receive correspondence in connection with any of the issues raised in this paper, or for subsequent publication details. Please write directly to the authors at the address provided below. (Details of final journal/conference publication venues for these papers are also provided on the Department’s publications web pages