Multi-agent Logics of Dynamic Belief and Knowledge
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Inferring Implicit State Knowledge and Plans with Sensing Actions
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Modal probability, belief, and actions
Fundamenta Informaticae
Multi-Agent Dynamic Logics with Informational Test
Annals of Mathematics and Artificial Intelligence
From DEL to EDL: Exploring the Power of Converse Events
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Behaving responsible in multi-agent worlds
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A Semantical Account of Progression in the Presence of Defaults
Conceptual Modeling: Foundations and Applications
Optimal regression for reasoning about knowledge and actions
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Action representation and partially observable planning using epistemic logic
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Updates, actions, and planning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Semantics for a useful fragment of the situation calculus
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A semantical account of progression in the presence of defaults
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
The Situation Calculus: A Case for Modal Logic
Journal of Logic, Language and Information
A semantic characterization of a useful fragment of the situation calculus with knowledge
Artificial Intelligence
On the computational complexity of behavioral description-based web service composition
Theoretical Computer Science
Epistemic actions and ontic actions: a unified logical framework
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
Modal Probability, Belief, and Actions
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Behavioural description based web service composition using abstraction and refinement
International Journal of Web and Grid Services
Hi-index | 0.00 |