%0 Journal Article
%T Heuristic Semantic Mapping on Herbrand Base<br>Herbrand基上的启发式语义映射
%A Lu Wenjin
%A <br>吕文进
%J 计算机科学
%D 1995
%I 
%X In this paper, we introduce a new kind of semantic mapping on Herbrand base, called heuristic mapping, its properties are discussed. As an application, finally, we define the minimal and supperted model semantics for the stratified logic program by using the heuristic semantic mapping.
%K Logic program
%K Herbrand base
%K Semantics<br>Herbrand基
%K 逻辑程序
%K 启发式语义映射
%K 语义映射
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=E3D4F86087C09108ECABDB87B79854CF&yid=BBCD5003575B2B5F&vid=BC12EA701C895178&iid=94C357A881DFC066&sid=F3090AE9B60B7ED1&eid=FC0714F8D2EB605D&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0