Khalid Sultan

According to our database1, Khalid Sultan authored at least 11 papers between 2013 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
CrashSafe: a formal model for proving crash-safety of Android applications.
HCIS, 2018

2017
Alice in Oman.
EAIT, 2017

2016
On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systems.
Expert Syst. Appl., 2016

2015
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

2014
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

2013
Reasoning about social commitments in the presence of uncertainty.
Proceedings of the IEEE 12th International Conference on Intelligent Software Methodologies, 2013


  Loading...