聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 稳定模的分裂性
出处:广州大学学报:自然科学版 2016年第1期13-17,共5页
摘要:逻辑程序是一些具有正负子句的规则集合.基于MOORE提出的自认知逻辑的基础上,GELFOND引进了稳定模的概念,后... 显示全部
关键词: 稳定模 逻辑程序 埃尔布郎模 稳定集
在线阅读 下载全文
期刊文章 Datalog逻辑程序调用语义及其应用研究
出处:计算机科学 2010年第1期 170-175,共6页
摘要:提出Datalog逻辑程序调用语义和调用谓词,说明包含程序调用谓词的可更新U—Datalog程序的操作语义及其固定... 显示全部
关键词: 语言 逻辑程序 程序调用 数字版权保护
在线阅读 下载全文
期刊文章 分析逻辑程序的一种有效工具—推导格式
出处:暨南大学学报:自然科学与医学版 1990年第1期 20-27,共8页
摘要:本文提出逻辑程序阿部推理机制的一种格式化描述方法——推导格式。这种描述方法是分析逻辑程序的一种有效... 显示全部
关键词: 逻辑程序 推导格式 回溯
在线阅读 下载全文
找到3条结果
`