Francesco Belardinelli, Alessio Lomuscio. A quantified epistemic logic for reasoning about multiagent systems. In Edmund H. Durfee, Makoto Yokoo, Michael N. Huhns, Onn Shehory, editors, 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007. pages 87, IFAAMAS, 2007. [doi]
Abstract is missing.