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

A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations
复制标题

具有不同形式化的各种逻辑系统的通用前向推理算法

DOI：
--
复制
发表时间：
2008
期刊：
"Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II"(I. Lovrek, R. J. Howlett, and L. C. Jain (Eds.)), Lecture Notes in Artificial Intelligen
影响因子：
--
通讯作者：
and Jingde Cheng
and Jingde Cheng
中科院分区：
--
文献类型：
--
作者：
Yuichi Goto;Takahiro Koh;and Jingde Cheng

文献摘要

相似文献