Author:
Sultan Khalid,Bentahar Jamal,Yahyaoui Hamdi,Mizouni Rabeb
Funder
Natural Sciences and Engineering Research Council of Canada
Department of National Defence and the Canadian Armed Forces
Concordia University
Ministère de la Défense Nationale
Subject
Artificial Intelligence,Computer Science Applications,General Engineering
Reference60 articles.
1. Reasoning about group social commitments in multi-agent systems;Al-Saqqar;Journal of Ambient Intelligence and Humanized Computing,2020
2. On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systems;Al-Saqqar;Expert Systems with Applications,2016
3. On the interaction between knowledge and social commitments in multi-agent systems;Al-Saqqar;Applied Intelligence,2014
4. Model checking temporal knowledge and commitments in multi-agent systems using reduction;Al-Saqqar;Simulation Modelling Practice and Theory,2015
5. Principles of model checking;Baier,2008
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献