良基模型相关论文
以无基集为基础,结合最大无基集的定义,提出一个多项式时间算法。算法给定一个逻辑程序P和它的一个解释I,求得一个作用在P和I上单......
在介绍约束逻辑程序的定义、可满足性及其稳定模型等概念的基础上，研究约束逻辑程序的正文字展开方法和约束原子的正文字前缀幂集方......
