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]
@inproceedings{GaoC15-3,
title = {An epistemic programming approach for automated theorem finding},
author = {Hongbiao Gao and Jingde Cheng},
year = {2015},
doi = {10.1109/ICCI-CC.2015.7259365},
url = {http://dx.doi.org/10.1109/ICCI-CC.2015.7259365},
researchr = {https://researchr.org/publication/GaoC15-3},
cites = {0},
citedby = {0},
pages = {49-58},
booktitle = {14th IEEE International Conference on Cognitive Informatics & Cognitive Computing, ICCI*CC 2015, Beijing, China, July 6-8, 2015},
editor = {Ning Ge and Jianhua Lu and Yingxu Wang and Newton Howard and Philip Chen and Xiaoming Tao and Bo Zhang and Lotfi A. Zadeh},
publisher = {IEEE},
isbn = {978-1-4673-7290-9},
}