Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli. On the verification of social commitments and time. In Liz Sonenberg, Peter Stone, Kagan Tumer, Pinar Yolum, editors, 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3. pages 483-490, IFAAMAS, 2011. [doi]
Abstract is missing.