迈克尔·盖尔芬德;尼古拉·利昂 逻辑编程和知识表示——A-Prolog视角。 （英语） Zbl 0995.68022号 Artif公司。智力。 138，编号1-2，3-38（2002）. 本文简要介绍了用于知识表示和推理的逻辑编程方法。其目的是帮助读者对该领域的历史及其最近的一些发展形成一种“感觉”。讨论主要限于答案集语义下的逻辑程序。为了理解建立在良好语义、论证的一般理论、溯及推理等基础上的逻辑编程方法，读者可以参考其他出版物。 引用于38文件 MSC公司： 68N17号 逻辑编程 关键词：逻辑程序设计;非单调推理;默认推理;答案集编程 软件：数据日志;LUPS公司;斯莫德尔斯 PDF格式BibTeX公司 XML格式引用 \textit{M.Gelfond}和\textit{N.Leone}，Artif。智力。138，编号1--2，3--38（2002；Zbl 0995.68022） 全文： 内政部 参考文献： [1] Alferes，J.J。；Pereira，L.M.，逻辑编程推理（1996），施普林格：施普林格柏林·Zbl 0988.68615号 [2] J.J.Alferes，L.M.Pereira，H.Przymusinska，T.C.Przimusinski，《逻辑程序更新语言》，人工智能138（2002）87-116，本期；J.J.Alferes，L.M.Pereira，H.Przymusinska，T.C.Przimusinski，《逻辑程序更新语言》，人工智能138（2002）87-116，本期·Zbl 0995.68023号 [3] Apt，K.，《从逻辑编程到Prolog》。《从逻辑编程到Prolog》，C.A.R.Hoare系列（1997），普伦蒂斯·霍尔：普伦蒂斯·霍尔·恩格尔伍德克利夫斯，新泽西州 [4] Apt，K。；布莱尔，H。；Walker，A.，朝向陈述性知识理论，（Minker，J.，演绎数据库和逻辑编程基础（1988），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），89-148 [5] Apt，K。；Pedreschi，D.，证明一般序言程序中的终止，（Proc.Internat.计算机软件理论方面会议.Proc.Interat.计算机软件的理论方面会议，计算机科学讲稿，526（1991），Springer:Springer Berlin），265-289·Zbl 1494.68038号 [6] Apt，K。；Pellegrini，A.，《发生时无检查逻辑程序》，ACM Trans。程序。语言系统，16，3，687-726（1994） [7] Apt，K。；Bol，R.，《逻辑编程与否定：一项调查》，J.Logic Programming，19-20，9-71（1994）·Zbl 0942.68518号 [8] Baral，C.，《知识表示、推理和陈述式问题解决与答案集》，未出版手稿 [9] Baral，C。；Gelfond，M.，《逻辑编程和知识表示》，J.Logic programming，19,20,73-148（1994）·Zbl 0820.68028号 [10] Baral，C。；Gelfond，M.，《动态领域中的推理代理》，（Minker，J.，《基于逻辑的人工智能》（2000），Kluwer:Kluwer-Dordrecht），257-279·兹比尔0979.68100 [11] Ben-Eliyahu，R。；Dechter，R.，选言逻辑程序的命题语义，《数学年鉴》。人工智能，1253-87（1994）·Zbl 0858.68012号 [12] 比多特，N。；Froidevaux，C.，《通用逻辑数据库和程序：默认逻辑语义和分层》，J.Inform。计算。，91, 1, 15-54 (1991) ·Zbl 0800.68292号 [13] 比多特，N。；Froidevaux，C.，默认否定和不可证明逻辑程序，Theoret。计算。科学。，79, 1, 86-112 (1991) ·Zbl 0716.68075号 [14] 于巴波维奇。；Erdem，E。；Lifschitz，V.，Fages定理和答案集编程（第八届非单调推理国际研讨会论文集，Breckeridge，CO（2000）） [15] 波尔，R。；Degerstedt，L.，《建立良好语义的表格式解析》，J.Logic Programming，34，2，67-110（1998）·Zbl 0905.68024号 [16] Bondarenko，A。；Dung，P.M。；科瓦尔斯基，R。；Toni，F.，《默认推理的抽象论证理论方法》，《人工智能》，93，1-2，63-101（1997）·Zbl 1017.03511号 [17] Brewka，G。；迪克斯，J。；科诺里奇，K.，《非单调推理：综述》（1997），CSLI出版物：CSLI出版社，斯坦福·Zbl 0876.68102号 [18] M.Cadoli，T.Eiter，G.Gottlob，作为查询语言的默认逻辑，IEEE Trans。知识数据工程9（3）448-463；M.Cadoli，T.Eiter，G.Gottlob，作为查询语言的默认逻辑，IEEE Trans。知识数据工程9（3）448-463 [19] F.Calimeri，W.Faber，N.Leone，G.Pfeifer，答案集编程系统的修剪操作符，DBAI-TR-01-10，奥地利维也纳理工大学信息系统研究所，2001年4月；F.Calimeri，W.Faber，N.Leone，G.Pfeifer，答案集编程系统的修剪操作符，DBAI-TR-01-10，奥地利维也纳理工大学信息系统研究所，2001年4月 [20] Chen，J.，最小知识+作为失败的否定=只知道（有时），（第二届国际会议，逻辑程序设计和非单调推理研讨会，里斯本（1993）），132-150 [21] Chen，W。；斯威夫特，T。；Warren，D.，在有充分依据的语义下高效的自上而下的查询计算，J.逻辑编程，24，3161-201（1995）·Zbl 0866.68017号 [22] Cholewinski，P。；马雷克·W。；Truszczyñski，M.，默认推理系统DeReSe，（Proc.Internat.Conference on Principles of Knowledge Representation and reasoning（1996），Morgan Kauffman:Morgan Kouffman San Mateo，CA），518-528 [23] A.Colmerauer、H.Kanoui、R.Pasero、P.Roussel，《法兰西人-机器通信系统》，技术报告，马赛爱克斯马赛大学第二期人工智能小组，1973年；A.Colmerauer、H.Kanoui、R.Pasero、P.Roussel，《法兰西人-机器通信系统》，技术报告，马赛爱克斯马赛第二大学人工智能小组，1973年 [24] De Schreye，D。；布鲁诺吉，M。；Demoen，B。；Denecker，M。；詹森，G。；Martens，B.，《关于LP+：第二代逻辑编程语言的项目报告》，AI Comm.，13，1，13-18（2000） [25] Dix，J.，《逻辑程序语义分类》，（《逻辑程序设计和非单调推理国际研讨会论文集》，华盛顿特区（1991年），166-180 [26] Drabent，W.，《非渲染查询的SLDNF解析的完整性》，《逻辑编程杂志》，27，2，89-106（1996）·Zbl 0874.68050号 [27] 艾特，T。；塞拉利昂，北卡罗来纳州。；Mateis，C。；Pfeifer，G。；Scarcello，F.，《非单调推理的演绎系统》，（第四届逻辑编程和非单调推理会议（LPNMR-97）。程序。第四届逻辑编程和非单调推理会议（LPNMR-97），人工智能讲稿，1265（1997），施普林格：施普林格-达格斯图尔，363-374 [28] 艾特，T。；Faber，W。；塞拉利昂，北卡罗来纳州。；Pfeifer，G.，使用数字电视系统，（Minker，J.，《基于逻辑的人工智能》（2000），Kluwer Academic:Kluwer-Academic Dordrecht），79-103·Zbl 0979.68091号 [29] 艾特，T。；戈特洛布，G。；Mannila，H.，分离数据日志，ACM Trans。数据库系统，22，3，364-418（1997） [30] Clark，K.，《否定是失败》（Gallaire，H.；Minker，J.，《逻辑和数据库》（1978），阻燃出版社：纽约阻燃出版社），293-322 [31] B.Cui，T.Swift，《偏好逻辑语法：语义、标准化和数据标准化应用》，《人工智能》138（2002）117-147，本期；B.Cui，T.Swift，《偏好逻辑语法：语义、标准化和数据标准化应用》，人工智能138（2002）117-147，本期·Zbl 0995.68024号 [32] 迪莫普洛斯，Y。；Nebel，B。；Koehler，J.，《在非单调逻辑程序中编码规划问题》，《人工智能规划的最新进展》，第四届欧洲规划会议，ECP-97。人工智能规划的最新进展，Proc。第四届欧洲规划会议，ECP-97，人工智能讲义，1348（1997），施普林格：柏林施普林格出版社，169-181 [33] 东部，D。；Truszczyñski，M.，《dcs:带约束的DATALOG实现》，（第八届非单调推理国际研讨会（NMR-2000），科罗拉多州布雷肯里奇（2000）） [34] Egly，美国。；艾特，T。；托姆皮茨，H。；Woltran，S.，使用量化布尔公式解决高级推理任务，（Proc.AAAI-00 2000，德克萨斯州奥斯汀（2000），AAAI出版社/麻省理工学院出版社：AAAI出版社/麻省理工学院出版社，马萨诸塞州剑桥），417-422 [35] 艾特，T。；Gottlob，G.，《析取逻辑编程的计算成本：命题案例》，《数学年鉴》。人工智能，15，3-4，289-323（1995）·Zbl 0858.68016号 [36] 艾特，T。；塞拉利昂，北卡罗来纳州。；Saccá，D.，析取演绎数据库部分模型的表达能力和复杂性，Theoret。计算。科学。，206, 1-2, 181-218 (1998) ·Zbl 0913.68053号 [37] Elkan，C.，《非单调真理维护系统的理性重建》，《人工智能》，43219-234（1990）·Zbl 0717.68081号 [38] Esghi，K.，《使用ATMS计算稳定模型》（Proc.AAAI-90，Boston，MA（1990）），272-277 [39] Erdem，E。；Lifschitz，V。；Wong，M.，《布线和可满足性规划》（Proc.CL-2000（2000）），822-836·Zbl 0983.68731号 [40] Faber，W。；塞拉利昂，北卡罗来纳州。；Mateis，C。；Pfeifer，G.，《将数据库优化技术用于非单调推理》，（第七届演绎数据库和逻辑编程国际研讨会（DDLP-99），日本（1999）），135-139 [41] Faber，W。；塞拉利昂，北卡罗来纳州。；Pfeifer，G.，DLP计算中的推进目标推导，（第五届逻辑编程和非单调推理国际会议论文集（LPNMR-99），德克萨斯州埃尔帕索。第五届逻辑程序设计和非单调推理国际会议（LPNMR-99），德克萨斯州埃尔帕索，人工智能讲义，1730（1999），施普林格：施普林格柏林），177-191 [42] Faber，W。；塞拉利昂，北卡罗来纳州。；Pfeifer，G.，《答案集编程的启发式实验》（Proc.IJCAI-01，西雅图，华盛顿州（2001），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），635-640 [43] Fages，F.，Clark完备与稳定模型存在的一致性，J.方法逻辑计算。科学。，1, 1, 51-60 (1994) [44] Fitting，M.，A Kripke-Kleene逻辑程序语义，J.logic Programming，2,4295-312（1985）·Zbl 0589.68011号 [45] Franconi，E。；Laureti Palma，A。；塞拉利昂，北。；佩里，S。；Scarcello，F.，《人口普查数据修复：选言逻辑编程的挑战性应用》（Proc.LPAR-01，古巴（2001），Springer:Springer-Blin）·兹比尔1275.68045 [46] Gabbay，D.，《专家系统中非单调推理的理论基础》，（Apt，K.R.，Proc.NATO Advanced Study Institute on Logics and Models of Concurrent systems，La Colle-sur-Loop，France（1985），Springer:Springer Berlin），439-457·Zbl 0581.68068号 [47] 佐丹奴，L。；Martelli，A.，《广义稳定模型、真理维护和冲突解决》（Warren，D.；Szeredi，P.，《逻辑编程：第七届国际会议程序》（1990），麻省理工学院出版社：麻省理工大剑桥出版社），427-441 [48] Gelfond，M.，《分层自认知理论》（Proc.AAAI-87，西雅图，WA（1987）），207-211 [49] Gelfond，M。；Lifschitz，V.，逻辑编程的稳定模型语义，（Kowalski，R.；Bowen，K.，《逻辑编程：第五届国际会议与研讨会论文集》（1988），1070-1080 [50] Gelfond，M。；Lifschitz，V.，逻辑程序和析取数据库中的经典否定，新一代计算机。，365-387 (1991) ·Zbl 0735.68012号 [51] M.Gelfond，V.Lifschitz，《用逻辑程序表示动作和变化》，J.logic Programming 17，301-323；M.Gelfond，V.Lifschitz，《用逻辑程序表示动作和变化》，J.logic Programming 17，301-323·Zbl 0783.68024号 [52] Gelfond，M。；Son，T.，《优先默认推理》（Dix，J.；Pereira，L.M.；Przymusinski，T.），《人工智能课堂讲稿》，1471（1998），《施普林格：施普林格柏林》，164-224·Zbl 0914.68030号 [53] Gottlob，G.，《析取逻辑编程的复杂性和表达能力》（Proc.International logic programming Symposium（ILPS-94），纽约州伊萨卡市（1994），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥），23-42 [54] G.Gottlob，F.Scarcello，M.Sideri，人工智能和非单调推理中的固定参数复杂性，人工智能130（2002）55-86，本期；G.Gottlob，F.Scarcello，M.Sideri，人工智能和非单调推理中的固定参数复杂性，人工智能130（2002）55-86，本期·Zbl 0995.68118号 [55] Green，C.，《以分辨率证明定理作为问答系统的基础》（Meltzer，B.；Michie，D.，《机器智能》，第4卷（1969年），爱丁堡大学出版社：爱丁堡学院出版社），183-205·Zbl 0239.68015号 [56] Hayes，P.，《计算与演绎》（第二届计算机科学数学基础研讨会论文集（1973年），捷克斯洛伐克科学院：捷克斯洛伐克科技院），105-118 [57] 卡卡斯，A.C。；科瓦尔斯基，R。；Toni，F.，《诱拐在逻辑编程中的作用》（Gabbay，D.M.；Hogger，C.J.；Robinson，J.A.，《人工智能和逻辑编程逻辑手册》，第5卷（1998），牛津大学出版社：牛津大学出版社，牛津），235-324·Zbl 0889.03001号 [58] 卡明斯基，M.，逻辑程序的稳定模型语义注释，人工智能，96，2，467-479（1997）·Zbl 0903.68175号 [59] Kaminski，M.，《开放违约理论的比较研究》，《人工智能》，77，2，285-319（1995）·Zbl 1013.68555号 [60] Koch，C.公司。；Leone，N.，《稳定模型检查变得容易》（Proc.IJCAI-99，瑞典斯德哥尔摩（1999），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），70-75 [61] Kowalski，R.，作为编程语言的谓词逻辑，（Rosenfeld，J.L.，信息处理74，IFIP会议记录74，瑞典斯德哥尔摩（1974），北荷兰：北荷兰阿姆斯特丹），569-574·Zbl 0297.68006号 [62] Kowalski，R.，《问题解决的逻辑》（1979），北荷兰：北荷兰阿姆斯特丹·Zbl 0426.68002号 [63] Kunen，K.，《逻辑编程中的否定》，J.logic programming，4，4，289-308（1987）·Zbl 0655.68018号 [64] Kunen，K.，逻辑程序中的符号数据依赖，J.logic Programming，7，3，231-245（1989） [65] Lehmann，D.，有条件知识库需要什么？，（Proc.KR-89，安大略省多伦多（1989）），212-221·Zbl 0709.68104号 [66] 塞拉利昂，北。；Rullo，P。；Scarcello，F.，《析取稳定模型：无基础集，不动点语义和计算》，Inform。和计算。，135, 2, 69-112 (1997) ·Zbl 0879.68019号 [67] Lifschitz，V.，《封闭世界数据库和界限》，人工智能，27229-235（1985）·兹比尔0596.68062 [68] Lifschitz，V.，《关于带否定的逻辑程序的声明语义》，（Minker，J.，演绎数据库和逻辑编程基础（1988），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），177-192年·Zbl 0718.68019号 [69] Lifschitz，V.，《开放式违约》（On open defaults），（Lloyd，J.，《计算逻辑：研讨会论文集》（1990），施普林格：施普林格柏林），80-95 [70] Lifschitz，V。；Schwarz，G.，《作为自认知理论的扩展逻辑程序》（Proc.Second Internat.Workshop on logic Programming and Non-Monotonic Reasoning，Lisbon（1993）），第101-114页 [71] Lifschitz，V.，《逻辑编程基础》（Brewka，G.，《知识表示原理》（1996），CSLI出版物），69-128·Zbl 0962.68026号 [72] V.Lifschitz，答案集编程和计划生成，人工智能138（2002）39-54，本期；V.Lifschitz，答案集编程和计划生成，人工智能138（2002）39-54，本期·Zbl 0995.68020号 [73] Lifschitz，V.，《分界》（Gabbay，D.M.；Hogger，C.J.；Robinson，J.A.，《人工智能和逻辑编程中的逻辑手册》，第3卷（1994），牛津大学出版社：牛津大学出版社，298-352·Zbl 0810.68005号 [74] Lobo，J。；Minker，J。；Rajasekar，A.，《析取逻辑程序设计基础》（1992），麻省理工学院出版社：麻省理学院出版社剑桥·Zbl 0900.68140号 [75] Makinson，D.，《非单调推理中的一般模式》（Gabbay，D.M.；Hogger，C.J.；Robinson，J.A.，《人工智能和逻辑编程中的逻辑手册》，第3卷（1993），牛津大学出版社：牛津大学出版社，牛津），35-110·Zbl 0808.68027号 [76] V.Marek，I.Pivkina，M.Truszczynski，注释修订程序，人工智能138（2002）149-180，本期；V.Marek，I.Pivkina，M.Truszczynski，注释修订程序，人工智能138（2002）149-180，本期·Zbl 0995.68106号 [77] 马雷克·W。；Subrahmanian，V.S.，逻辑程序语义和非单调推理之间的关系，（Levi，G.；Martelli，M.，Proc.Sixth Internat.Conference on logic Programming，Lisbon，Portugal（1989）），600-617 [78] 马雷克·W。；Truszczyñski，M.，《逻辑程序和默认推理的稳定语义》（Lusk，E.；Overbeek，R.，Proc.North American Conference on logic Programming，Cleveland，OH（1989）），243-257 [79] 马雷克·W。；Truszczynski，M.，自认知逻辑，J.ACM，3，38，588-619（1991）·兹比尔0799.68176 [80] 马雷克·W。；Truszczyñski，M.，自反自认知逻辑和逻辑编程，（第二届国际会议，逻辑编程和非单调推理研讨会，里斯本（1993年），麻省理工学院出版社：麻省理学学院出版社，马萨诸塞州剑桥），115-131 [81] 马雷克·W。；Truszczynski，M.，《稳定模型和替代逻辑编程范式》（The logic programming paradigm:A 25-Year Perspective，1999），施普林格：施普林格柏林出版社，375-398·Zbl 0979.68524号 [82] 马雷克·W。；Truszczynski，M.，非单调逻辑（1993），施普林格：施普林格柏林·Zbl 0784.03018号 [83] McCarthy，J.，《常识性程序》，（英国女王文具办公室特丁顿思维过程机械化会议议事录，伦敦（1959年）），75-91 [84] 麦卡锡，J。；Hayes，P.，《从人工智能的角度来看的一些哲学问题》，（Meltzer，B.；Michie，D.，《机器智能》，第4卷（1969年），爱丁堡大学出版社：爱丁堡学院出版社），463-502·Zbl 0226.68044号 [85] McCarthy，J.，《界限——非单调推理的一种形式》，《人工智能》，13，1-2，27-39（1980）·兹比尔0435.68073 [86] McCarthy，J.，《限制在常识形式化中的应用》，《人工智能》，26，3，89-116（1986） [87] 麦凯恩，N。；Turner，H.，《因果理论的可满足性规划》，（第六届知识表示和推理原则国际会议（KR-98），意大利特伦托（1998），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），212-223 [88] McDermott，D.，《非单调逻辑II：非单调模态理论》，J.ACM，29，1，33-57（1982）·Zbl 0477.68099号 [89] 麦克德莫特，D。；Doyle，J.，非单调逻辑I，人工智能，13，1-2，41-72（1980）·兹伯利0435.68074 [90] Minker，J.，《关于不确定数据库和封闭世界假设》（Proc.CADE-82，纽约（1982）），292-308·Zbl 0481.68087号 [91] Minker，J.，《析取逻辑编程概述》，《数学人工智能年鉴》，12，1-24（1994） [92] Minker，J.，《逻辑与数据库：20年回顾》，（Levesque，H.；Pirri，F.，《认知代理的逻辑基础：对Ray Reiter的贡献》（1999），Springer:Springer Berlin），234-299·Zbl 0979.68532号 [93] （Minker，J.，Logic-Based Artificial Intelligence（2000），Kluwer Academic:Kluwer-Academic Dordrecht）·Zbl 0979.68095号 [94] M.Minsky，《表示知识的框架》，载于：P.Winston（编辑），《计算机视觉心理学》，麦格劳-希尔出版社，纽约，第211-277页；M.Minsky，《表示知识的框架》，载于：P.Winston（编辑），《计算机视觉心理学》，麦格劳-希尔出版社，纽约，第211-277页 [95] Moore，R.，非单调逻辑的语义考虑，人工智能，25，1，75-94（1985）·Zbl 0569.68079号 [96] Nelson，D.，《可建构的虚假性》，J.符号逻辑，14，16-26（1949）·Zbl 0033.24304号 [97] Nerode，A。；Shore，R.，《应用逻辑》（1997），施普林格：柏林施普林格出版社·Zbl 0874.03004号 [98] Niemelä，I.，《将稳定模型语义作为约束编程范式的逻辑程序》，Ann.Math。人工智能，25，3-4，241-273（1999）·Zbl 0940.68018号 [99] 尼美拉，I。；Simons，P.，Smodels-正常逻辑程序的稳定模型和良好语义的实现，（第四届逻辑编程和非单调推理国际会议论文集，德国达格斯图尔（1997）），421-430 [100] 大豆蛋白，T。；Niemelä，I.，为程序配置中的应用程序开发声明性规则语言，（声明性语言的实用方面。声明性语言的实用方面，计算机科学讲义，1551（1999），施普林格：施普林格柏林），305-319 [101] 美国尼尔森。；Maluszynski，J.，《逻辑、编程和Prolog》·Zbl 0722.68023号 [102] Nogueira，M。；Balduccini，M。；Gelfond，M。；沃森·R。；Barry，M.，航天飞机的A-Prolog决策支持系统，（第三届声明性语言实用方面国际研讨会论文集，第三届国际声明性语言应用方面研讨会论文集《计算机科学讲稿》，1990年（2001年），Springer:Springer Berlin），169-183 [103] Papadimitriou，C.H.，《计算复杂性》（1994），艾迪森·韦斯利：艾迪森·韦斯利阅读，马萨诸塞州·Zbl 0557.68033号 [104] D.Pearce，G.Wagner，《负信息推理1-逻辑编程中的强否定》，《技术报告》，Gruppe fur logic，Wissentheorie and information，Freie Universityät Berlin，1989年；D.Pearce，G.Wagner，《负信息推理1-逻辑编程中的强否定》，《技术报告》，Gruppe fur logic，Wissentheorie and information，柏林弗雷大学，1989年·兹比尔0746.03020 [105] Pearce，D.，稳定模型和答案集的新逻辑特征，（Dix，J.；Pereira，L.；Przymusinski，T.，《逻辑编程的非单调扩展》，《人工智能讲义》，1216（1997），施普林格：施普林格-柏林），57-70 [106] Pearce，D.，《从这里到那里：逻辑编程中的稳定否定》（Gabbay，D.；Wansing，H.，什么是否定？（1999），Kluwer:Kluwer-Dordrecht）·Zbl 0978.03027号 [107] Przymusinski，T.，《关于演绎数据库和逻辑程序的声明语义》（Minker，J.，《演绎数据库与逻辑编程基础》（1988），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），193-216·Zbl 0726.68067号 [108] Przymusinski，T.，《每个逻辑程序都有一个自然分层和迭代不动点模型》（Proc.8th Symposium on Principles of Database Systems，Philadelphia，PA（1989）），11-21 [109] Przymusinska，H。；Przymusinski，T.，逻辑程序的弱完美模型语义，（Kowalski，R.A.；Bowen，K.A.，第五届逻辑编程国际会议和研讨会，西雅图，华盛顿州（1988）），1106-1120 [110] Reiter，R.，《关于封闭世界数据库》，（Gallaire，H.；Minker，J.，《逻辑与数据库》（1978年），Plenum出版社：Plenum出版社，纽约），119-140 [111] Reiter，R.，《默认推理的逻辑》，《人工智能》，13，1-2，81-132（1980）·Zbl 0435.68069号 [112] Reiter，R.，《分词意味着谓词完成（有时）》（Proc.AAAI-82，宾夕法尼亚州匹兹堡（1982）），418-420 [113] Ross，K.，《逻辑程序中有充分根据的否定的过程语义》，《逻辑编程》，13，1-22（1992）·Zbl 0773.68064号 [114] Sato，T.，《完整的逻辑程序及其一致性》，J.logic Programming，9，33-44（1990）·Zbl 0715.68011号 [115] Sakama，C。；Inoue，K.，《优先级逻辑编程及其在常识推理中的应用》，人工智能，123，1-2，185-222（2000）·Zbl 0952.68020号 [116] Shanahan，M.，《解决框架问题：对常识惯性定律的数学研究》（1997），麻省理工学院出版社：麻省理学学院出版社剑桥 [117] Schwarz，G.，《知识的自认知逻辑》（Nerode，A.；Marek，V.；Subrahmanian，V.S.，《逻辑编程和非单调推理：第一次内部程序研讨会》（1991）），260-274 [118] P.Simons，I.Niemelä，T.Soininen，《扩展和实现稳定模型语义》，人工智能138（2002）181-234，本期；P.Simons，I.Niemelä，T.Soininen，《扩展和实现稳定模型语义》，人工智能138（2002）181-234，本期·Zbl 0995.68021号 [119] Stockmeyer，L.，分类问题的计算复杂性，J.符号逻辑，52，1，1-43（1987）·Zbl 0639.03041号 [120] Stroetman，K.，SLDNF解析的完整性结果，《逻辑编程》，第15卷，第337-355页（1993年）·Zbl 0782.68027号 [121] Tamaki，H。；Sato，T.，逻辑程序的展开/折叠变换，（Tarnlund，S.，第二届国际逻辑程序设计会议，瑞典乌普萨拉（1984）），127-138 [122] Turner，H.，《逻辑程序和缺省理论中的行为表示》，《逻辑编程》，31，1-3，245-298（1997）·Zbl 0880.68010号 [123] Turner，H.，顺序一致程序是谨慎单调的，逻辑程序设计的理论与实践，1，48487-495（2001）·Zbl 1066.68517号 [124] van Emden，M。；Kowalski，R.，谓词逻辑作为编程语言的语义，J.ACM，23，4，733-742（1976）·Zbl 0339.68004号 [125] Van Gelder，A。；Ross，K。；Schlipf，J.，《通用逻辑程序的良好语义》，J.ACM，38，3，620-650（1991）·Zbl 0799.68045号 [126] Wagner，G.，《强否定谓词和不精确谓词的逻辑编程》，J.Logic Comput。，1, 6, 835-861 (1991) ·兹比尔0738.68018 [127] 你，J.-H。；Yuan，L.，演绎数据库和逻辑程序的三值语义，J.Compute。系统科学。，49, 334-361 (1994) ·Zbl 0821.68080号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。