简单单调约束逻辑相关硕士博士期刊学术论文 - 搜论网

简单单调约束逻辑相关论文

简单单调约束逻辑程序的良基语义研究

在介绍约束逻辑程序的相关概念的基础上，研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法，并证明展开后的正规逻辑约束......

期刊

逻辑程序简单单调约束逻辑回答集稳定模型良基语义 logic program basic monotonic constraint logic prog

看过本文同时还关注