Search
Now showing items 1-1 of 1
A rule language for modelling and monitoring social expectations in multi-agent systems
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 ...