×
霍华德·布莱尔。;苏布拉曼尼亚，V.S。

准一致逻辑编程。 （英语） Zbl 0686.68009号

西奥。计算。科学。 68，第2期，135-154（1989）.
请参阅中的评论兹比尔0631.68009.

引用于5评论
引用于38文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
68号01 软件理论的一般主题
68问题55 计算理论中的语义学
68T99型 人工智能

关键词：

语义学;条款;不一致性;二值逻辑;庞大的知识库

引文：

Zbl 0625.00019号;Zbl 0631.68009号
PDF格式BibTeX公司 XML格式引用
\textit{H.A.Blair}和\textit{V.S.Subrahmanian}，Theor。计算。科学。68，No.2，135--154（1989；Zbl 0686.68009）
全文： 内政部

参考文献：

[1] 阿南德·R。；Subrahmanian，V.S.，FLOG：基于六值逻辑的逻辑编程系统，Proc。AAAI国际交响乐团。知识工程。（1987），西班牙马德里
[2] Andreka，H。；Nemeti，I.，作为编程语言的Horn谓词逻辑的广义完整性，Acta Cybernet。，4, 3-10 (1978) ·Zbl 0496.68021号
[3] Apt，K.R。；布莱尔，H.A。；Walker，A.，《走向陈述性知识理论》（Minker，J.，《逻辑编程和演绎数据库基础》（1988），Morgan Kauffman：Morgan Kouffman Los Altos，CA）·Zbl 0699.68009号
[4] 阿鲁达·A.I.，《次协调逻辑的调查》（阿鲁达，A.I.；丘亚基，R.；达科斯塔，N.C.A.，《拉丁美洲数学逻辑》（1979），雷德尔：雷德尔·多德雷赫特），1-41·Zbl 0426.03031号
[5] Barbuti，R。；Martelli，M.，一类逻辑程序的SLDNF分辨率的完整性，（Shapiro，E.，Proc.Intl.Symp.on logic Prog.Proc.Intl.Symp.on logic Prog.，计算机科学讲义，225（1986），施普林格：施普林格柏林），600-614·Zbl 0595.68016号
[6] Barbuti，R。；Martelli，M.，结构化程序SLDNF解决方案的完整性（1986年），提交出版·Zbl 0595.68016号
[7] 北卡罗来纳州贝尔纳普，《一种有用的四值逻辑》（Eppstein，G.；Dunn，J.M.，《多值逻辑的现代应用》（1977），雷德尔：雷德尔·多德雷赫特），8-37·Zbl 0417.03009号
[8] 布莱尔，H.A。；Minker，J.，《赫布兰德基地的可决定性》，Proc。逻辑编程和演绎数据库基础研讨会（1986年），马里兰州大学公园
[9] H.A.Blair和V.S.Subrahmanian，《霍恩逻辑编程基础》（Foundations of generally Horn logic programming），准备中。；H.A.Blair和V.S.Subrahmanian，一般Horn逻辑编程的基础，正在准备中·兹伯利0689.03012
[10] 达·科斯塔，N.C.A.，《关于不一致形式系统的理论》，《圣母院形式逻辑》，第15期，第497-510页（1974年）·Zbl 0236.02022号
[11] 达科斯塔，北卡罗来纳州。；Alves，E.H.，《计算的语义分析》，《圣母院形式逻辑》，第18期，第621-630页（1977年）·Zbl 0349.02022号
[12] 达科斯塔，北卡罗来纳州。；阿尔维斯，E.H.，次协调逻辑和多值逻辑之间的关系，布尔。逻辑部分，10185-191（1981）·Zbl 0494.03019号
[13] N.C.A.da Costa和D.Marconi，《80年代次协调逻辑概述》，载于：Logica Novam公司; N.C.A.da Costa和D.Marconi，《80年代次协调逻辑概述》，载于：Logica Novam公司
[14] Fitting，M.C.，逻辑编程的Kripke-Kleene语义，J.logic Program。，4, 295-312 (1985) ·Zbl 0589.68011号
[15] Jaffar，J。；拉塞兹，J.-L。；Maher，M.，《逻辑编程语义的问题和趋势》（Shapiro，E.，Proc.3rd Intl.Conf.on logic programming.Proc.3nd Intl.Conf.on逻辑编程，计算机科学讲义，225（1986），Springer:Springer Berlin）·Zbl 0547.68034号
[16] Jaffar，J。；Stuckey，P.J.，规范逻辑程序，J.logic Program。，3, 143-155 (1986) ·Zbl 0592.68018号
[17] Kleene，S.C.，《元数学导论》（1957），Van Nostrand Reinhold：纽约·Zbl 0047.00703号
[18] Lloyd，J.W.，《逻辑编程基础》（1984），施普林格：施普林格柏林·Zbl 0547.68005号
[19] 拉塞兹，J.-L。；Maher，M.，逻辑程序的最佳不动点，Theoret。计算。科学。，39, 115-125 (1985)
[20] Naish，L.，《NU-Prolog中的否定和量词》，（Shapiro，E.，Proc.3rd Intl.Conf.on Logic Programming。Proc.3nd Intl.Conf.on逻辑编程，计算机科学讲稿，225（1986），Springer:Springer Berlin），624-634·Zbl 0595.68006号
[21] Perlis，D.，《论常识推理的一致性，计算》。情报，2180-190（1986）
[22] 普尔，D。；Goebel，R.，《序言中优雅地添加否定和析取》，（Shapiro，E.，《逻辑编程第三国际会议录》，《逻辑程序设计第三国际大会录》，计算机科学讲义，225（1986），施普林格：施普林格-柏林），635-641·兹比尔0608.68074
[23] Subrahmanian，V.S.，《论定量逻辑程序的语义》，（Proc.4th IEEE Symp.On logic Prog.（1987），计算机学会出版社：华盛顿特区计算机学会出版社），173-182
[24] Subrahmanian，V.S.，《走向逻辑编程中的证据推理理论》，（87年逻辑学术讨论会（符号逻辑协会欧洲夏季会议）（1987年），格拉纳达：西班牙格拉纳达）·Zbl 0666.68090号
[25] Van Emden，M.H.，定量演绎及其不动点理论，J.逻辑程序。，4, 37-53 (1986) ·Zbl 0609.68068号
[26] 范·埃姆登，M.H。；Kowalski，R.A.，谓词逻辑作为编程语言的语义，J.ACM，23733-742（1976）·Zbl 0339.68004号
[27] Visser，A.，《四值语义与说谎者》，J.Philos。逻辑，13181-212（1984）·Zbl 0546.03007号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。