New generation computing. 2006;24(1):29-51. doi: 10.1007/bf03037292 Q22.82025

A hybrid reasoning system for terminologies and first-order clauses in knowledge bases

知识库中术语和一阶子句的混合推理系统

DOI: 10.1007/bf03037292

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译，仅供参考！