External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations

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]

Authors

Yuichi Goto

This author has not been identified. Look up 'Yuichi Goto' in Google

Takahiro Koh

This author has not been identified. Look up 'Takahiro Koh' in Google

Jingde Cheng

This author has not been identified. Look up 'Jingde Cheng' in Google
runs on