Subject
Artificial Intelligence,Computer Science Applications,General Engineering
Reference49 articles.
1. 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
2. On the interaction between knowledge and social commitments in multi-agent systems;Al-Saqqar;Applied Intelligence,2014
3. Model checking temporal knowledge and commitments in multi-agent systems using reduction;Al-Saqqar;Simulation Modelling Practice and Theory,2015
4. Reasoning about uncertainty over IoT systems;Alwhishi,2022
5. Three-valued model checking smart contract systems with trust under uncertainty;Alwhishi,2022