{"type":"ScholarlyArticle","title":"A rule language for modelling and monitoring social expectations in multi-agent systems","authors":[{"name":"Stephen Cranefield","slug":"stephen-cranefield","given":"Stephen","family":"Cranefield","affiliation":""}],"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 outlined.","doi":null,"url":"https://ijcai.org/proceedings/2005/248","pdf":"https://ijcai.org/proceedings/2005/0248.pdf","markdown":"https://ijcai.org/proceedings/2005/248.md","bibtex":"https://ijcai.org/proceedings/2005/bibtex/248","volume":{"slug":"2005","title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2005","url":"https://ijcai.org/proceedings/2005/","year":2005,"location":"Edinburgh, Scotland, UK","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":248,"pages":{"first":1659,"last":1659},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}