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]
Abstract is missing.