A Classification Schema to Volumes 1 to 5 of the Intelligent Agents Series
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
A quantified epistemic logic for reasoning about multiagent systems
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
Computational Logic in Multi-Agent Systems
Quantified epistemic logics for reasoning about knowledge in multi-agent systems
Artificial Intelligence
Decision procedure for a fragment of mutual belief logic with quantified agent variables
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Free Quantified Epistemic Logics
Studia Logica
Hi-index | 0.00 |