Knowledge in multiagent systems: initial configurations and broadcast
ACM Transactions on Computational Logic (TOCL)
Logics of propositional control
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Model Checking Strategic Equilibria
Model Checking and Artificial Intelligence
Reasoning about the transfer of control
Journal of Artificial Intelligence Research
Epistemic Operators in Dependence Logic
Studia Logica
Hi-index | 0.00 |