1. Checking consistency of agent designs against interaction protocols for early-phase defect location;Abushark,2014
2. Coco: Runtime reasoning about conflicting commitments;Ajmeri,2016
3. On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multiagent systems;Al-Saqqar;Expert Systems with Applications,2016
4. Reasoning about normative update;Alechina,2013
5. Decentralised norm monitoring in open multiagent systems: (extended abstract);Alechina,2016