%0 Journal Article
%T 逻辑程序的语义问题 I
%A 王怀民
%J 计算机科学
%D 1994
%I 
%X 文明性语义是逻辑程序研究的重要内容，也是其作为说明性程序的基本特征。近年来由于人们对带否定前提了一般逻辑程序设计的关注，以及逻辑程序与非单调推理的结合，逻辑程序的语义研究出现了许多新结果。本文以早期的Ｃｌａｒｋ语义和最小模型语义为起点，介绍这些新发展的部分内容，主要包括Ｃｌａｒｋ语义的Ｆｉｔｔｉｎｇ３－值扩充，理想模型语义，稳定模型语义，良基模型语义以及它们之间的关系，并在此基础上进一步讨论了说明
%K 程序设计
%K 逻辑程序
%K 语义问题
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=CB747355BA5A8AC6652E6FDDD810A0A8&yid=3EBE383EEA0A6494&vid=659D3B06EBF534A7&iid=CA4FD0336C81A37A&sid=B31275AF3241DB2D&eid=59906B3B2830C2C5&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=0