×
法布里西奥·里古齐;Swift，Terrance公司

用有限三值模型终止逻辑程序的计算。 （英文） Zbl 1354.68039号

ACM事务处理。计算。日志。 第15号第4条第32条第38页（2014年）.

引用于4文件

MSC公司：

68N17号 逻辑编程

关键词：

表格逻辑程序设计;终止

引文：

Zbl 1185.68150号;Zbl 1166.68311号;兹比尔0607.68072;Zbl 1267.68084号

软件：

终端机;XSB公司;格林戈
PDF格式BibTeX公司 XML格式引用
\textit{F.Riguzzi}和\textit{T.Swift}，ACM Trans。计算。日志。15，第4号，第32条，第38页（2014；Zbl 1354.68039）
全文： 内政部

参考文献：

[1] J.J.Alferes、M.Knorr和T.Swift。2013.混合MKNF知识库的查询驱动程序。《计算逻辑学报》14，2，第16条·Zbl 1353.68271号
[2] M.Alviano、W.Faber和N.Leone。2010年，具有功能的析取ASP：可决定的查询和有效的计算。逻辑程序设计理论与实践10，4-6，497-512·Zbl 1209.68086号 ·网址：10.1017/S1471068410000244
[3] S.Baselice和P.Bonatti。2010年，有限程序的一个可判定子类。逻辑程序设计理论与实践10，4-6，481-496·Zbl 1205.68114号 ·doi:10.1017/S1471068410000232
[4] S.Baselice、P.Bonatti和G.Criscuolo。2009.关于有限递归程序。逻辑程序设计理论与实践9，2，213-238·Zbl 1166.68311号 ·文件编号：10.1017/S147106840900372X
[5] M.Bruynooghe、M.Codish、J.Gallagher、S.Genaim和W.Vanhoof。2007.通过结合基于类型的规范对逻辑程序进行终止分析。《程序设计语言和系统学报》29，2，第10条。
[6] F.Calimeri、S.Cozza、G.Ianni和N.Leone。ASP中的可计算函数：理论与实现。《逻辑程序设计国际会议论文集》。计算机科学讲义，第5366卷。施普林格，407–424·Zbl 1185.68150号
[7] F.Calimeri、S.Cozza、G.Ianni和N.Leone。2011.有限递归程序：可决定性和自下而上计算。AI通信24、4、311–334·Zbl 1235.68223号
[8] F.Calimeri、G.Ianni和F.Ricca。2014年，第三届公开答案集编程竞赛。逻辑程序设计理论与实践14，1，117–135·doi:10.1017/S147106841200005
[9] W.Chen和D.S.Warren。1996.表中列出了一般逻辑程序的延迟评估。美国医学会杂志43，1，20–74·Zbl 0882.68050号 ·数字对象标识代码：10.1145/227595.227597
[10] M.Codish、V.Lagoon和P.Stuckey。2005.带单调约束的终止测试。第21届逻辑程序设计国际会议论文集。计算机科学讲义，第3668卷。施普林格，326–340·Zbl 1165.68328号
[11] D.De Schreye和S.Decorte。1994.逻辑程序的终止：永无止境的故事。《逻辑编程杂志》19，199–260·Zbl 0820.68029号 ·doi:10.1016/0743-1066（94）90027-2
[12] S.Decorte、D.De Schreye和H.Vandecasteele。1999.基于约束的逻辑程序终止分析。编程语言与系统学报21，1137–1195， ·数字对象标识代码：10.1145/330643.330645
[13] A.Deutsch、A.Nash和J.Remmel。2008年，再次追捕。第27届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集。ACM，纽约州纽约市，149-158。
[14] T.Eiter和M.&#352；伊姆库斯。FDNC：带函数符号的可判定非本体析取逻辑程序。计算逻辑学报9，9，1–45。
[15] R.Fagin、P.G.Kolaitis、R.J.Miller和L.Popa。2005年，《数据交换：语义和问答》，《理论计算机科学》336，1，89–124·Zbl 1080.68019号 ·doi:10.1016/j.tcs.cs.2005.10.033文件
[16] M.Gebser、T.Schaub和S.Thiele。2007年，GrinGo：答案集编程的新推手。第九届逻辑程序设计和非单调推理国际会议论文集。计算机科学讲义，第4483卷。施普林格，266-271。
[17] M.Gelfond和V.Lifschitz。1988.逻辑编程的稳定模型语义。在逻辑程序设计国际会议和研讨会的会议记录中。1070–1080.
[18] S.Greco、C.Molinaro和I.Trubitsyna。2013.有界程序：带有函数符号的一类新的可判定逻辑程序。第23届国际人工智能联合会议（IJCAI'13）会议记录。926–931.
[19] S.Greco和F.Spezzano。2010.大通终止：一种约束重写方法。VLDB捐赠会议记录3、1、93–104·数字对象标识代码：10.14778/1920841.1920858
[20] S.Greco、F.Spezzano和I.Trubitsyna。2011.检查追赶终止的分层标准和重写技术。VLDB捐赠会议记录4，11，1158–1168。
[21] S.Greco、F.Spezzano和I.Trubitsyna。2012.关于使用功能符号终止逻辑程序。《逻辑程序设计（技术通信）国际会议论文集》。323–333. ·Zbl 1281.68065号
[22] B.Grosof、M.Dean和M.Kifer。2012.语义Web规则：基础、应用程序和标准。第11届国际语义网络会议上的教程。
[23] B.Grosof和T.Swift。2013.径向约束：逻辑程序有限理性的语义清晰方法。第27届AAAI会议记录（AAAI'13）。
[24] J.Jansen、A.Jorissen和G.Janssens。2013.编译输入&ast；FO（&#267；）归纳定义到IDP3的表格Prolog规则中。逻辑编程理论与实践13，4–5，601–704·Zbl 1286.68047号 ·文件编号：10.1017/S1471068413000434
[25] N.Leone、G.Pfeifer、W.Faber、F.Calimeri、T.Dell'Armi、T.Eiter、G.Gottlob、G.Ianni、G.IIelpa、K.Koch、S.Perri和A.Polleres。2002.DLV系统。《欧洲人工智能逻辑会议论文集》。计算机科学课堂讲稿，第2424卷。施普林格，537-540·Zbl 1014.68871号
[26] S.Liang和M.Kifer。2013年，大型逻辑程序中非终止的实际分析。逻辑程序设计理论与实践13，4-5，705-719·Zbl 1286.68050号 ·doi:10.1017/S1471068413000446
[27] Y.Lierler和V.Lifshitz。2009年，又一类可判定的有限地面项目。第25届逻辑程序设计国际会议（ICLP'09）论文集。计算机科学讲义，第5649卷。施普林格，489–493·Zbl 1251.68064号
[28] J.W.劳埃德。1987年，《逻辑程序设计基础》（第二扩展版）。斯普林格·弗拉格·兹比尔0668.68004
[29] B.马内特。2009.广义模式映射：从终止到可处理。第28届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集。ACM，纽约州纽约市，13-22。
[30] M.Meier、M.Schmidt和G.Lausen。2009年，超越分层追捕终止。VLDB捐赠会议记录2，1，970–981·doi:10.14778/1687627.1687737
[31] M.Nguyen和D.De Schreye。2005.多项式解释作为逻辑程序终止分析的基础。第21届逻辑程序设计国际会议论文集。计算机科学讲义，第3668卷。施普林格，311-325·Zbl 1165.68337号
[32] M.Nguyen、J.Giesl、P.Schneider-Kamp和D.De Schreye。2008.基于依赖图的逻辑程序终止分析。在基于逻辑的程序合成和转换国际研讨会论文集上。计算机科学讲义，第4915卷。施普林格，8-22岁·Zbl 1179.68040号
[33] N.Nishida和G.Vidal。2010年，通过终止改写终止收缩。工程、通信和计算中的应用代数21、3、177–225·Zbl 1197.68049号 ·doi:10.1007/s00200-010-0122-4
[34] OpenRuleBench。2009–2011. OpenRuleBench：语义Web规则引擎的基准。2014年7月9日检索自http://rulebench.projects.semwebcentral.org。
[35] D.Pedreschi、S.Ruggieri和J.G.Smaus。2002.终止逻辑程序的类别。逻辑程序设计理论与实践2，3，369–418·Zbl 1069.68537号 ·doi:10.1017/S147106840201400
[36] T.Przymusinski。1989.每个逻辑程序都有一个自然分层和一个迭代的最小不动点模型。在ACM数据库系统原理研讨会的会议记录中。ACM，纽约州纽约市，11–21。
[37] I.V.Ramakrishnan、P.Rao、K.Sagonas、T.Swift和D.S.Warren。1999.表逻辑程序的高效访问机制。逻辑编程杂志38，1，31–55·Zbl 0911.68033号 ·doi:10.1016/S0743-1066（98）10013-4
[38] F.Riguzzi和T.Swift。2013.分布语义下概率逻辑编程的良好定义和有效推理。逻辑程序设计理论与实践13，2，279-302·Zbl 1267.68084号 ·doi:10.1017/S1471068411000664
[39] K.Sagonas和T.Swift。1998年。用于固定顺序分层逻辑程序表执行的抽象机器。编程语言与系统学报20，3，586–635·数字对象标识代码：10.1145/291889.291897
[40] P.Schneider Kamp、J.Giesl、A.Serebrenik和R.Thiemann。2010.通过术语重写实现逻辑程序的自动终止证明。《计算逻辑学报》11，1，第2条·Zbl 1351.68054号
[41] A.Serebrenik和D.De Schreye。2004.Prolog中数值循环终止条件的推断。逻辑程序设计理论与实践4，5-6，719-751·Zbl 1088.68029号 ·doi:10.1017/S1471068404002042
[42] A.Serebrenik和D.De Schreye。2005.终止浮点计算。《自动推理杂志》34，2，141-177·Zbl 1102.65054号 ·数字对象标识代码：10.1007/s10817-005-6546-z
[43] T.斯威夫特。1999年，制定了一项新的延迟提交的决议。葡萄牙人工智能会议记录。人工智能课堂讲稿，第1695卷。斯普林格，163-177·Zbl 0964.68019号
[44] T·斯威夫特和D·S·沃伦。2012.Xsb：使用表格逻辑编程扩展Prolog。逻辑程序设计理论与实践12，1–2，157–187·Zbl 1244.68021号 ·doi:10.1017/S1471068411000500
[45] T.锡尔贾南。2001.Omega限制逻辑程序。第六届逻辑程序设计和非单调推理国际会议论文集。计算机科学讲义，第2173卷。施普林格，267-280。
[46] H.Tamaki和T.Sato。1986年，旧的决议与表格。第三届逻辑程序设计国际会议论文集。计算机科学讲义，第225卷。施普林格，84–98·Zbl 0607.68072号
[47] A.范盖尔德。1989.逻辑程序与否定的交替不动点。在ACM数据库系统原理研讨会的会议记录中。ACM，纽约州纽约市，1-10。
[48] A.Van Gelder、K.A.Ross和J.S.Schlipf。1991.通用逻辑程序的良好语义。ACM杂志38，3，620-650·Zbl 0799.68045号 ·数字对象标识代码：10.1145/116825.116838
[49] S.Verbaeten、D.De Schreye和K.Sagonas。2001.逻辑程序的终止证明与表格。计算逻辑学报2，1，57–92·Zbl 1365.68153号 ·doi:10.1145/371282.371357
[50] D.Voets和D.De Schreye。2011.使用整数运算对逻辑程序进行非终结性分析。逻辑程序设计理论与实践11，4-5，521-536·Zbl 1222.68068号 ·doi:10.1017/S147106841100159
[51] G.Yang、M.Kifer、H.Wan和C.Zhao。2013.知识表示&#38；Flora-2推理。Flora-2：用户手册0.99.3版。2014年7月9日检索自http://flora.sourceforge.net。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。