Yuichi Goto, Takahiro Koh, Jingde Cheng. A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. In Ignac Lovrek, Robert J. Howlett, Lakhmi C. Jain, editors, Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II. Volume 5178 of Lecture Notes in Computer Science, pages 526-535, Springer, 2008. [doi]
@inproceedings{GotoKC08, title = {A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations}, author = {Yuichi Goto and Takahiro Koh and Jingde Cheng}, year = {2008}, doi = {10.1007/978-3-540-85565-1_65}, url = {http://dx.doi.org/10.1007/978-3-540-85565-1_65}, tags = {logic}, researchr = {https://researchr.org/publication/GotoKC08}, cites = {0}, citedby = {0}, pages = {526-535}, booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II}, editor = {Ignac Lovrek and Robert J. Howlett and Lakhmi C. Jain}, volume = {5178}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-85564-4}, }