Hongbiao Gao, Jingde Cheng. An epistemic programming approach for automated theorem finding. In Ning Ge, Jianhua Lu, Yingxu Wang, Newton Howard, Philip Chen, Xiaoming Tao, Bo Zhang, Lotfi A. Zadeh, editors, 14th IEEE International Conference on Cognitive Informatics & Cognitive Computing, ICCI*CC 2015, Beijing, China, July 6-8, 2015. pages 49-58, IEEE, 2015. [doi]
Abstract is missing.