A computationally grounded logic of knowledge, belief and certainty

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]

Authors

Kaile Su

This author has not been identified. Look up 'Kaile Su' in Google

Abdul Sattar

This author has not been identified. Look up 'Abdul Sattar' in Google

Guido Governatori

This author has not been identified. Look up 'Guido Governatori' in Google

Qingliang Chen

This author has not been identified. Look up 'Qingliang Chen' in Google