Horn逻辑程序相关论文
逻辑程序的稳定模型语义不能很好地用来描述数据库,知识库或者信念集上的约束,为此人们提出了一种新的机制—修正程序.其中的约束......
这篇论文从文法的角度研究了Horn逻辑程序.因为Horn逻辑程序的计算能力与图灵机是等价的,而图灵机的计算能力与0型文法是等价的,所以,H......
学位