Funder
Natural Sciences and Engineering Research Council of Canada
Canada Department of National Defense
Ministère de la Défense Nationale
Subject
Hardware and Architecture,Information Systems,Software
Reference64 articles.
1. Model checking temporal knowledge and commitments in multi-agent systems using reduction;Al-Saqqar;Simul. Model. Pract. Theory,2015
2. Aldini, A., 2016. A formal framework for modeling trust and reputation in collective adaptive systems. In: Proceedings of the Workshop on FORmal Methods for the Quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF, Vienna, Austria, pp. 19–30.
3. An argumentation-based approach for reasoning about trust in information sources;Amgoud;Argument Comput.,2014
4. Quantitative group trust: A two-stage verification approach;Bentahar,2022
5. Communicative commitments: Model checking and complexity analysis;Bentahar;Knowl.-Based Syst.,2012
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献