Cited By
View all- Chopra ASingh MBourdeau JHendler JNkambou RHorrocks IZhao B(2016)From Social Machines to Social ProtocolsProceedings of the 25th International Conference on World Wide Web10.1145/2872427.2883018(903-914)Online publication date: 11-Apr-2016
- Al-Saqqar FBentahar JSultan K(2016)On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systemsExpert Systems with Applications: An International Journal10.1016/j.eswa.2015.08.01943:C(223-236)Online publication date: 1-Jan-2016
- El Kholy WEl Menshawy MBentahar JHongyang Qu Dssouli R(2015)Formal Specification and Automatic Verification of Conditional CommitmentsIEEE Intelligent Systems10.1109/MIS.2015.630:2(36-44)Online publication date: 1-Mar-2015