Herbrand模型相关论文
逻辑程序具有丰富的表达能力和非确定性等特点,在定理机器证明、关系数据库系统、程序验证、模块化程序设计和非单调推理等方面都有......
纯Datalog的唯一模型中定理在Datalog-Not程序中不成立,因此,在Dtalog-Not程序的的有Herbrand模型中,必须有一种模型的选择标准来确定程序的语义,完美模型关系是一种合理的选......
期刊
主要讨论逻辑程序中的最大不动点语义. 证明了当Herbrand解释语义映射TP是保滤子交的,或者确定性程序中不含函数符号,或者它的每一......