Ranathunga, Surangika; Cranefield, Stephen; Purvis, Martin
(Conference or Workshop Item (Paper), 8th European Workshop on Multi-Agent Systems, 2010)
Previous work on detecting fulfilments and violations of expectations (which may correspond to conventions, norms, commitments or contracts) assumed that information about the world is available as an abstract logical model ...