真稳定类与辩论语义

• 作者: 孙吉贵 陈荣
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 逻辑程序设计 稳定类 辩论系统 溯因推理 程序说明语义 证明过程
• 年，卷（期）: 1999,（8）
• 所属期刊栏目: 计算机理论与技术
• 页码范围: 936-942
• 分类号: TP301
• 语种: 中文

摘要

稳定类语义和辩论语义是逻辑程序语义学研究方面突出的两种语义统一框架理论,它们统一了一些很重要的语义.因为它们有着不同的直觉和概念,它们的相互关系并不清楚.我们在它们最基础的概念层次上证明了,常规逻辑程序句法下二者是等价的,它们有着同样的语义统一能力.基于这个结果,我们为有前途的辩论语义指明一种迭代构造的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙吉贵	吉林大学计算机科学系	134	2984	21.0	52.0
2	陈荣	吉林大学计算机科学系	6	51	3.0	6.0