Chunyan Yang, GuangHua Wang, Yang Li, Wen Cai. Study on Knowledge Reasoning Based on Extended Formulas. In Daoliang Li, Baoji Wang, editors, Artificial Intelligence Applications and Innovations - IFIP TC12 WG12.5 - Second IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI2005), September 7-9, 2005, Beijing, China. Volume 187 of IFIP, pages 797-805, Springer, 2005. [doi]