聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 拓展溯因逻辑程序设计的辩论理论基础
出处:计算机学报 2000年第6期 561-569,共9页
摘要:讨论一类扩展的溯因程序,它包含经典否定、缺省否定、一致性约束以及溯因推理机制,论文的主要思想是:⑴... 显示全部
关键词: 辩论理论 溯因推理 溯因逻辑程序设计
在线阅读 下载全文
找到1条结果
`