Fei Pu. Bounded Correctness Checking for Knowledge with eCTLK. In Hanning Yuan, Jing Geng, Chuanlu Liu, Fuling Bian, Tisinee Surapunt, editors, Geo-Spatial Knowledge and Intelligence - 5th International Conference, GSKI 2017, Chiang Mai, Thailand, December 8-10, 2017, Revised Selected Papers, Part I. Volume 848 of Communications in Computer and Information Science, pages 480-491, Springer, 2017. [doi]
Abstract is missing.