Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen. A computationally grounded logic of knowledge, belief and certainty. In Frank Dignum, Virginia Dignum, Sven Koenig, Sarit Kraus, Munindar P. Singh, Michael Wooldridge, editors, 4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands. pages 149-156, ACM, 2005. [doi]
Abstract is missing.