良基语义相关论文
二十世纪八十年代逻辑程序设计语言在描述性语义上取得突破性的进展-稳定模型语义(回答集语义),为逻辑程序的研究打开了大门。回答......
该文研究析取程序语义,诱导推理与常识推理的有关问题.为此,作者提出了诱导推理的三种实现框架:双析取诱导语义(BDAS),典型诱导语......
在介绍约束逻辑程序的相关概念的基础上,研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法,并证明展开后的正规逻辑约束......