西基、广岛 关于协逻辑编程和Horn\（{\mu}\）-演算中的对偶程序。 （英语） Zbl 1362.68058号 正式Asp。计算。 29，第3期，401-421（2017）. MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 03B70号 计算机科学中的逻辑 68N17号 逻辑编程 关键词：协同逻辑编程；双重计划；Horn\（{\mu}\）-演算；答案集编程；有根据的语义学 软件：SWI序言 PDF格式BibTeX公司 XML格式引用 \textit{H.Seki}，正式Asp。计算。29，第3号，401-421（2017；Zbl 1362.68058） 全文： 内政部 参考文献： [1] Aravindan C，Dung PM（1994）《逻辑程序的部分演绎》（Partial deduction of logic programs wrt well-bound semantics）。新一代计算机13（1）：45-74·doi:10.1007/BF03038308 [2] Alferes JJ，Pereira LM，Swift T（2004）通过表对偶程序在有充分基础的语义和广义稳定模型中进行推理。理论实践逻辑程序4:383-428·Zbl 1090.68014号 ·doi:10.1017/S1471068403001960 [3] Apt KR（1990）《逻辑编程导论》。收录：《理论计算机科学手册》，阿姆斯特丹爱思唯尔出版社，第493-576页·Zbl 0900.68136号 [4] Clarke EM，Grumberg O，Peled DA（1999）模型检查。麻省理工学院出版社，纽约 [5] Chan D（1988）基于完整数据库的建构否定。摘自：第五届逻辑编程国际会议和研讨会论文集，麻省理工学院出版社，纽约，第111-125页 [6] Charatonik W、McAllester D、Niwinski D、Podelski A、Walukiewicz I（1998）《号角微积分》。收录：LICS’98，IEEE计算机学会，第58-69页·Zbl 0945.03541号 [7] Colmerauer A（1982）Prolog和无限树。收录：Clark KL，Tarnlund SA（eds），《逻辑编程》，纽约学术出版社，第231-251页。 [8] Chen W，Warren DS（1993）基于良好语义的查询评估。附：第十二届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会的会议记录，PODS’93，pp 168-179 [9] Denecker M，Bruynooghe M，Vennekens J（2012）近似不动点理论与逻辑和答案集程序的语义。In:正确推理，LNCS第7265卷，纽约斯普林格，第178-194页·Zbl 1357.68031号 [10] Farwer\[B（2002）{\omega}\]ω-自动机。收录：《自动逻辑与无限游戏》，LNCS第2500卷，纽约斯普林格，第3-21页·Zbl 1021.68045号 [11] 拟合M（2002）逻辑编程的定点语义调查。计算机科学理论278（1-2）：25-51·Zbl 1002.68023号 ·doi:10.1016/S0304-3975（00）00330-3 [12] Gupta G、Bansal A、Min R、Simon L、Mallya A（2007）共导逻辑编程及其应用。In:ICLP’07，LNCS第4670卷，纽约斯普林格，第27-44页·Zbl 1213.68177号 [13] Gelfond M，Lifschitz V（1988）逻辑编程的稳定模型语义。摘自：第五届逻辑编程国际会议和研讨会论文集，麻省理工学院出版社，纽约，第1070-1080页·Zbl 0741.68030号 [14] Gupta G、Saeedloei N、DeVries B、Min R（2011）《无限计算、共归纳和计算逻辑》。收件人：纽约斯普林格CALCO’11，第40-54页·Zbl 1344.68053号 [15] Jaffar J，Stuckey P（1986）《无限树逻辑编程的语义》。计算机科学理论46:141-158·Zbl 0621.68054号 ·doi:10.1016/0304-3975（86）90027-7 [16] Jaffar J，Stuckey P（1986）无限树逻辑编程的语义。网址：http://www.utdallas.edu/gupta/meta.html·Zbl 0621.68054号 [17] Lloyd JW（1987）《逻辑编程基础》，第2版。纽约州施普林格·Zbl 0668.68004号 ·doi:10.1007/978-3-642-83189-8 [18] Lloyd JW，Shepherdson JC（1991）《逻辑编程中的部分评估》。J逻辑程序11（3-4）：217-242·Zbl 0741.68030号 ·doi:10.1016/0743-1066（91）90027-M [19] Marple K、Bansal A、Min R、Gupta G（2012）《答案集程序的目标导向执行》。包含：PPDP'12，第35-44页 [20] Marple K、Bansal A、Min R、Gupta G（2014）《目标导向答案集编程中的动态一致性检查》。理论实践逻辑程序14（4-5）：415-427·Zbl 1307.68020号 ·文件编号：10.1017/S147106841400118 [21] Min R（2010）《同化谓词-答案集编程》。德克萨斯大学达拉斯分校博士论文 [22] Przymusinski TC（1989）每个逻辑程序都有一个自然分层和迭代最小不动点模型。摘自：第八届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集，第11-21页 [23] Pereira LM，Saptawijaya A（2012），表格诱拐的诱拐逻辑编程。摘自：《2012年ICSEA会议记录》，第七届国际软件工程进展会议，第548-556页 [24] Ross KA（1989）逻辑程序中有充分依据的否定的过程语义。摘自：第八届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集，第22-33页·Zbl 0773.68064号 [25] Seki H（2012）通过展开/折叠变换证明协同逻辑程序的属性。收录：LOPSTR'11，LNCS第7225卷，第205-220页，纽约斯普林格·Zbl 1377.68066号 [26] Seki H（2013）通过程序转换证明具有否定的协同逻辑程序的属性。收录：LOPSTR'12，LNCS第7844卷，第213-227页，纽约斯普林格·Zbl 1394.68057号 [27] Seki H（2014）为分支时间模型检查扩展协同逻辑程序。收录于：LOPSTR'13，LNCS第8901卷，第127-144页。纽约州施普林格·Zbl 1453.68034号 [28] Seki H（2016）《关于协同逻辑编程中的双重程序》。地址：LOPSTR'15，LNCS第9527卷，第1-15页，纽约州斯普林格·Zbl 1090.68014号 [29] Simon LE（2006）《用共创扩展逻辑编程》。德克萨斯大学达拉斯分校博士论文 [30] Simon L，Mallya A，Bansal A，Gupta G（2006）Coinductive逻辑编程。In:ICLP’06，LNCS第4079卷，第330-344页。施普林格·Zbl 1131.68400号 [31] Saptawijaya A，Pereira LM（2013），逻辑程序中的表诱拐。Theor Pract Logic程序13:4-5 [32] Sato T，Tamaki H（1984）变换逻辑程序综合。地址：FGCS’84，东京，第195-201页 [33] Van Gelder A（1989）逻辑程序与否定的交替不动点。附：第八届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集，第1-10页·Zbl 1090.68014号 [34] Van Gelder A、Ross K、Schlipf JS（1988）《通用逻辑程序的无基础集和良好语义》。在：第七届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集，第211-230页 [35] Wielemaker J、Schrijvers T、Triska M、Lager T（2012）《SWI-预测》。理论实践逻辑程序12（1-2）：67-96·Zbl 1244.68023号 ·文件编号：10.1017/S1471068411000494 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。