According to our database1, Faisal Al-Saqqar authored at least 5 papers between 2014 and 2016.
Legend:Book In proceedings Article PhD thesis Other
On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systems.
Expert Syst. Appl., 2016
Model checking temporal knowledge and commitments in multi-agent systems using reduction.
Simulation Modelling Practice and Theory, 2015
Real-Time Conditional Commitment Logic.
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015
Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments.
Expert Syst. Appl., 2014
On the interaction between knowledge and social commitments in multi-agent systems.
Appl. Intell., 2014