On Multi-agent Systems Specification via Deontic Logic
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Extending interpreted systems with some deontic concepts
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Interpreted systems and Kripke models for multiagent systems from a categorical perspective
Theoretical Computer Science
A quantified epistemic logic for reasoning about multiagent systems
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
A temporal epistemic logic with a reset operation
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
Journal of Logic, Language and Information
On the definability of simulability and bisimilarity by finite epistemic models
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Journal of Artificial Intelligence Research
Hi-index | 0.02 |