Xia Wu, Jigui Sun, Kun Hou. Extension Rule in First Order Logic. In Yiyu Yao, Zhongzhi Shi, Yingxu Wang, Witold Kinsner, editors, Proceedings of the Firth IEEE International Conference on Cognitive Informatics, ICCI 2006, July 17-19, Beijing, China. pages 701-706, IEEE, 2006. [doi]
@inproceedings{WuSH06,
title = {Extension Rule in First Order Logic},
author = {Xia Wu and Jigui Sun and Kun Hou},
year = {2006},
doi = {10.1109/COGINF.2006.365574},
url = {http://dx.doi.org/10.1109/COGINF.2006.365574},
tags = {rule-based, rules, logic},
researchr = {https://researchr.org/publication/WuSH06},
cites = {0},
citedby = {0},
pages = {701-706},
booktitle = {Proceedings of the Firth IEEE International Conference on Cognitive Informatics, ICCI 2006, July 17-19, Beijing, China},
editor = {Yiyu Yao and Zhongzhi Shi and Yingxu Wang and Witold Kinsner},
publisher = {IEEE},
isbn = {1-4244-0475-4},
}