well-founded模型相关硕士博士期刊学术论文 - 搜论网

well-founded模型相关论文

数据库修正Well-Founded语义的一种新定义

逻辑程序的稳定模型语义不能很好地用来描述数据库,知识库或者信念集上的约束,为此人们提出了一种新的机制—修正程序.其中的约束......

学位

Horn逻辑程序最小模型稳定模型 well-founded模型修正程序合法修正惯性原理对偶性变换数据库修正

看过本文同时还关注