According to our database1, Khalid Sultan authored at least 11 papers between 2013 and 2018.
Legend:Book In proceedings Article PhD thesis Other
CrashSafe: a formal model for proving crash-safety of Android applications.
Alice in Oman.
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
Decision making under subjective uncertainty in argumentation-based agent negotiation.
J. Ambient Intelligence and Humanized Computing, 2015
Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments.
Expert Syst. Appl., 2014
Model checking probabilistic social commitments for intelligent agent communication.
Appl. Soft Comput., 2014
On the interaction between knowledge and social commitments in multi-agent systems.
Appl. Intell., 2014
A Probabilistic Logic to Reason about the Interaction between Knowledge and Social Commitments in MASs.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2014
Agent Types and Adaptive Negotiation Strategies in Argumentation-Based Negotiation.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014
Reasoning about social commitments in the presence of uncertainty.
Proceedings of the IEEE 12th International Conference on Intelligent Software Methodologies, 2013