×

答案集编程:初级。 (英语) Zbl 1254.68248号

Tessaris,Sergio(编辑)等人,《推理网络》。信息系统的语义技术。2009年8月30日至9月4日,意大利布里森-布列萨诺2009年第五届国际暑期学校。辅导讲座。柏林:施普林格出版社(ISBN 978-3-642-03753-5/pbk)。计算机科学讲座笔记5689,40-110(2009)。
摘要:答案集编程(ASP)是一种基于逻辑编程和非单调推理的陈述性问题解决范式,近年来受到了越来越多的关注。这篇文章是对这个主题的一个温和的介绍;它从动机开始,跟踪定义带否定的逻辑程序语义这一挑战的历史发展。它研究分层程序上的正程序到任意程序,然后用两种否定(弱否定和强否定)和规则头中的析取进行扩展。第二部分接着考虑ASP范式本身,并描述了基本思想。它展示了一些编程技术,并简要概述了答案集求解器。第三部分是语义网环境下的ASP,介绍了一些形式,并提到了这方面的一些应用。文章最后提出了当前和未来ASP研究的问题。
关于整个系列,请参见[Zbl 1175.68022号].

MSC公司:

68立方英尺 知识表示
68英里11 互联网主题
68N17号 逻辑编程
68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
68T27型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Alferes,J.J.,Amador,R.,May,W.:语义网中进化和反应的通用语言。摘自:Fages,F.,Soliman,S.(编辑)PPSWR 2005。LNCS,第3703卷,第101-115页。斯普林格,海德堡(2005)·doi:10.1007/11552222_10
[2] Analyti,A.,Antoniou,G.,Damásio,C.V.:模块化web规则库及其语义的原则框架。摘自:《第十一届知识表示与推理原则国际会议论文集》(KR 2008),AAAI出版社,Menlo Park(2008)
[3] Analyti,A.,Antoniou,G.,Damásio,C.V.,Wagner,G.:扩展RDF本体的稳定模型理论。收录人:Gil,Y.、Motta,E.、Benjamins,V.R.、Musen,M.A.(编辑)ISWC 2005。LNCS,第3729卷,第21-36页。斯普林格,海德堡(2005)·doi:10.1007/11574620_5
[4] Apt,K.,Blair,H.,Walker,A.:走向陈述性知识理论。收录:Minker[93],第89–148页·doi:10.1016/B978-0-934613-40-.50006-3
[5] Apt,K.,Bol,N.:逻辑编程与否定:一项调查。《逻辑程序设计杂志》19/20,9–71(1994)·Zbl 0942.68518号 ·doi:10.1016/0743-1066(94)90024-8
[6] Arenas,M.,Gutierrez,C.,Pérez,J.:RDF数据库的基础。收录:弗兰科尼和特萨利斯[56]·Zbl 1254.68104号 ·doi:10.1007/978-3-642-03754-24
[7] 芦笋主页(2005),http://asparagus.cs.uni-potsdam.de/
[8] Baader,F.:描述逻辑。收录:弗兰科尼和特萨利斯[56]·Zbl 1254.68245号
[9] Balduccini,M.:A-Prolog的模块和签名声明:进度报告。收件人:de Vos和Schaub[30],http://sea07.cs.bath.ac.uk/downloads/sea07-proceedings.pdf
[10] Baral,C.:知识表示、推理和陈述式问题解决。剑桥大学出版社,剑桥(2003)·Zbl 1056.68139号 ·doi:10.1017/CBO9780511543357
[11] Baral,C.、Dzifcak,J.、Takahashi,H.:模块化答案集编程中的宏、宏调用和集合的使用。收录:Etalle,S.,Truszczynski,M.(编辑)ICLP 2006。LNCS,第4079卷,第376–390页。斯普林格,海德堡(2006)·Zbl 1131.68365号 ·doi:10.1007/11799573_28
[12] Baselice,S.,Bonatti,P.A.,Criscuolo,G.:关于有限递归程序。收录:Dahl,V.,Niemelä,I.(编辑)ICLP 2007。LNCS,第4670卷,第89–103页。斯普林格,海德堡(2007)·Zbl 1213.68170号 ·数字对象标识代码:10.1007/978-3-540-74610-27
[13] Ben-Eliyahu,R.,Dechter,R.:析取逻辑程序的命题语义。数学与人工智能年鉴12,53–87(1994)·Zbl 0858.68012号 ·doi:10.1007/BF01530761
[14] Bidoit,N.:基于规则的数据库语言中的否定:一项调查。西奥。计算。科学。78(1),3-83(1991)·Zbl 0716.68025号 ·doi:10.1016/0304-3975(51)90003-5
[15] Baselice,S.,Bonatti,P.A.:用函数符号编写普通程序。收录:Garcia de la Banda,M.,Pontelli,E.(编辑)ICLP 2008。LNCS,第5366卷,第425-439页。斯普林格,海德堡(2008)·Zbl 1185.68147号 ·doi:10.1007/978-3-540-89982-238
[16] 博纳蒂,P.A.:用无限稳定模型进行推理。人工智能156(1),75–111(2004)·Zbl 1085.68681号 ·doi:10.1016/j.artint.2004.02.001
[17] Buccafurri,F.,Faber,W.,Leone,N.:带继承的析取逻辑程序。逻辑程序设计理论与实践2(3)(2002)·Zbl 1087.68527号 ·文件编号:10.1017/S147106840201394
[18] Buccafurri,F.,Leone,N.,Rullo,P.:析取数据日志中的强约束和弱约束。收录:Fuhrbach,U.,Dix,J.,Nerode,A.(编辑)LPNMR 1997。LNCS(LNAI),第1265卷,第2-17页。施普林格,海德堡(1997)·doi:10.1007/3-540-63255-72
[19] Calimeri,F.、Cozza,S.、Ianni,G.:逻辑编程中知识和价值发明的外部来源。数学与人工智能年鉴50(3-4),333–361(2007)·Zbl 1125.68026号 ·doi:10.1007/s10472-007-9076-z
[20] Calimeri,F.,Cozza,S.,Ianni,G.,Leone,N.:ASP中的可计算函数:理论与实现。收录:Garcia de la Banda,M.,Pontelli,E.(编辑)ICLP 2008。LNCS,第5366卷,第407-424页。施普林格,海德堡(2008)·Zbl 1185.68150号 ·doi:10.1007/978-3-540-89982-237
[21] Calimeri,F.,Ianni,G.:析取逻辑编程的模板程序:操作语义。AI通信19(3),193–206(2006)·Zbl 1104.68009号
[22] Chen,W.,Kifer,M.,Warren,D.S.:Hilog:高阶逻辑编程的基础。逻辑程序设计杂志15(3),187–230(1993)·Zbl 0787.68017号 ·doi:10.1016/0743-1066(93)90039-J文件
[23] 克拉克:否定就是失败。摘自:Gallaire,H.,Minker,J.(编辑)《逻辑和数据库》,第293–322页。纽约Plenum出版社(1978)·doi:10.1007/978-1-4684-3384-5_11
[24] Viegas Damásio,C.,Analyti,A.,Antoniou,G.,Wagner,G.:支持网络上的开放和封闭世界推理。收录人:Alferes,J.J.、Bailey,J.、May,W.、Schwertel,U.(编辑)PPSWR 2006。LNCS,第4187卷,第149-163页。斯普林格,海德堡(2006)·doi:10.1007/11853107_11
[25] Dantsin,E.,Eiter,T.,Gottlob,G.,Voronkov,A.:逻辑编程的复杂性和表达能力。ACM计算调查33(3),374–425(2001)·doi:10.1145/502807.502810
[26] Dao-Tran,M.、Eiter,T.、Fink,M.和Krennwallner,T.:重温模块化非单调逻辑编程。摘自:Hill,P.,Warren,D.(编辑)Proceedings 25 International Conference on Logic Programming(ICLP 2009)。LNCS,第5649卷,第145-159页。斯普林格,海德堡(2009)·Zbl 1251.68056号 ·doi:10.1007/978-3-642-02846-5_16
[27] de Bruijn,J.,Eiter,T.,Polleres,A.,Tompits,H.:关于经典理论与非单调规则组合的代表性问题。作者:Lang,J.,Lin,F.,Wang,J.(编辑)KSEM 2006。LNCS,第4092卷,第1-22页。斯普林格,海德堡(2006)·doi:10.1007/11811220_1
[28] de Bruijn,J.、Pearce,D.、Polleres,A.、Valverde,A.:量化平衡逻辑和混合规则。收录人:Marchiori,M.,Pan,J.Z.,de Marie,C.S.(编辑)RR 2007。LNCS,第4524卷,第58-72页。斯普林格,海德堡(2007)·Zbl 05364382号 ·doi:10.1007/978-3-540-72982_5
[29] de la Banda,M.G.,Pontelli,E.(编辑):ICLP 2008。LNCS,第5366卷。斯普林格,海德堡(2008)·Zbl 1154.68013号
[30] de Vos,M.,Schaub,T.(编辑):美国亚利桑那州坦佩市第一届答案集编程软件工程国际研讨会非正式会议记录(2007年5月),http://sea07.cs.bath.ac.uk/downloads/sea07-proceedings.pdf
[31] Dix,J.:正常逻辑程序语义的分类理论:I.强属性。芬丹。通知。 22(3), 227–255 (1995) ·兹比尔0829.68021
[32] Dix,J.:正常逻辑程序语义的分类理论:II。弱属性。芬丹。通知。 22(3), 257–288 (1995) ·Zbl 0829.68022号
[33] Drabent,W.、Eiter,T.、Ianni,G.、Krennwallner,T.和Lukasiewicz,T.,Małuszy nn ski,J.:规则和本体的混合推理。收录:Bry,F.,Małuszyñski,J.(编辑)《网络语义技术:REWERSE透视图》,ch.1。LNCS,第5500卷,第50页。斯普林格,海德堡(将于2009年亮相)
[34] Eiter,T.:语义网的答案集编程(教程)。收录:Dahl,V.,Niemelä,I.(编辑)ICLP 2007。LNCS,第4670卷,第23-26页。施普林格,海德堡(2007);幻灯片,http://www.dcc.fc.up.pt/iclp07/eiter.pdf ·Zbl 05523603号 ·doi:10.1007/978-3-540-74610-23
[35] Eiter,T.、Faber,W.、Fink,M.、Woltran,S.:具有有界谓词算术和含义的答案集编程的复杂性结果。《数学与人工智能年鉴》51(2-4),123–165(2007)·Zbl 1138.68017号 ·doi:10.1007/s10472-008-9086-5
[36] Eiter,T.、Faber,W.、Leone,N.、Pfeifer,G.:使用DLV系统解决声明性问题。摘自:Minker,J.(编辑)《基于逻辑的人工智能》,第79-103页。Kluwer学术出版社,多德雷赫特(2000)·Zbl 0979.68091号 ·doi:10.1007/978-1-4615-1567-84
[37] Eiter,T.,Fink,M.,Tompits,H.,Woltran,S.:在统一和强等价下简化逻辑程序。收录:Lifschitz,V.,Niemelä,I.(编辑)LPNMR 2004。LNCS,第2923卷,第87-99页。施普林格,海德堡(2003)·Zbl 1122.68369号 ·数字对象标识代码:10.1007/978-3-540-24609-110
[38] Eiter,T.、Fink,M.、Woltran,S.:答案集编程中等价物的语义特征和复杂性。ACM事务处理。计算。日志。8(3),第17条(53+11)(2007年)·Zbl 1367.68031号
[39] Eiter,T.,Gottlob,G.:关于析取逻辑编程的计算成本:命题案例。数学与人工智能年鉴15(3/4),289-323(1995)·Zbl 0858.68016号 ·doi:10.1007/BF01536399文件
[40] Eiter,T.、Gottlob,G.、Veith,H.:模块化逻辑编程和广义量词。收录:Fuhrbach,U.,Dix,J.,Nerode,A.(编辑)LPNMR 1997。LNCS,第1265卷,第290-309页。斯普林格,海德堡(1997)
[41] Eiter,T.、Ianni,G.、Krennwallner,T.和Polleres,A.:语义网络的规则和本体论。收录:Baroglio,C.,Bonatti,P.A.,Małuszy nn ski,J.,Marchiori,M.,Polleres,A.,Schaffert,S.(编辑)Reasoning Web。LNCS,第5224卷,第1-53页。施普林格,海德堡(2008);幻灯片,http://rease.semanticweb.org/ ·Zbl 05365612号 ·doi:10.1007/978-3-540-85658-0_1
[42] Eiter,T.、Ianni,G.、Lukasiewicz,T.和Schindlauer,R.:语义网中描述逻辑程序的良好语义。技术报告INFSYS RR-1843-09-01,奥地利维也纳科技大学信息系统研究所,A-1040(2009年3月)·Zbl 1351.68275号
[43] Eiter,T.、Ianni,G.、Lukasiewicz,T.,Schindlauer,R.、Tompits,H.:将答案集编程与语义Web的描述逻辑相结合。人工智能172(12-13),1495-1539(2008)·Zbl 1183.68595号 ·doi:10.1016/j.artint.2008.04.002
[44] Eiter,T.,Ianni,G.,Polleres,A.,Schindlauer,R.,Tompits,H.:用规则和本体论进行推理。收录于:Barahona,P.,Bry,F.,Franconi,E.,Henze,N.,Sattler,U.(编辑)Reasoning Web 2006。LNCS,第4126卷,第93-127页。斯普林格,海德堡(2006)·doi:10.1007/11837787_4
[45] Eiter,T.、Ianni,G.、Schindlauer,R.、Tompits,H.:答案集编程中高阶推理和外部评估的统一集成。In:人工智能国际联合会议(IJCAI 2005),英国爱丁堡,2005年8月,第90-96页(2005)
[46] Eiter,T.、Ianni,G.、Schindlauer,R.、Tompits,H.:声明性规则与语义web推理外部评估的有效集成。收录:Sure,Y.,Domingue,J.(编辑)ESWC 2006。LNCS,第4011卷,第273–287页。斯普林格,海德堡(2006)·doi:10.1007/11762256_22
[47] Eiter,T.、Ianni,G.、Schindlauer,R.、Tompits,H.、Wang,K.:忘记管理规则和本体论。参见:IEEE/WIC/ACM网络智能国际会议(WI 2006),香港,第411-419页。IEEE计算机学会,Los Alamitos(2006);ALPSWS 2006初版
[48] Eiter,T.,Leone,N.,Pearce,D.:扩展逻辑程序的假设集。收录人:Gerbrandy,J.、Marx,M.、de Rijke,M.和Venema,Y.(编辑)JFAK。在约翰·范·本特姆50岁生日之际献给他的散文。阿姆斯特丹大学出版社(1999),http://www.kr.tuwien.ac.at/staff/eiter/et-archive/jfak.pdf
[49] Eiter,T.、Lukasiewicz,T.,Schindlauer,R.、Tompits,H.:将答案集编程与语义Web的描述逻辑相结合。摘自:Dubois,D.,Welty,C.,Williams,M.-A.(编辑)《第九届国际知识表示和推理原则会议论文集》(KR 2004),加拿大不列颠哥伦比亚省惠斯勒,第141-151页。Morgan Kaufmann,旧金山(2004)·Zbl 1183.68595号
[50] Eiter,T.、Lukasiewicz,T.,Schindlauer,R.、Tompits,H.:语义网中描述逻辑程序的良好语义。收录:Antoniou,G.,Boley,H.(编辑)RuleML 2004。LNCS,第3323卷,第81-97页。斯普林格,海德堡(2004)·doi:10.1007/978-3-540-30504-07
[51] Eiter,T.,Šimkus,M.:带函数符号的双向答案集程序。摘自:Boutiler,C.(编辑)《第21届国际人工智能联合会议论文集》(IJCAI 2009)。AAAI出版社,门罗公园(2009)
[52] Faber,W.:提高答案集编程系统的效率和表达能力。维恩理工大学信息系统研究所博士论文(2002年)
[53] Faber,W.,Pfeifer,G.,Leone,N.,Dell'Armi,T.,Ielpa,G.:DLV系统中聚合功能的设计和实现。逻辑程序设计理论与实践8(5-6),545–580(2008)·Zbl 1156.68010号 ·doi:10.1017/S1471068408003323
[54] Ferraris,P.,Lee,J.,Lifschitz,V.:稳定模型的新视角。收录:Veloso,M.M.(编辑)IJCAI,第372-379页(2007年)
[55] Ferraris,P.,Lifschitz,V.:答案集编程的数学基础。我们将向他们展示!《Dov Gabbay荣誉论文》,第1卷,第615-664页。大学出版物(2005)·Zbl 1220.68035号
[56] Franconi,E.,Tessaris,S.(编辑):推理网络2009。LNCS公司。斯普林格,海德堡(2009)
[57] Friedrich,G.等人:基于模型的web服务流程修复。Klagenfurt大学ISBI研究小组2008/001技术报告(2008),http://test-informations.info/
[58] Gebser,M.、Kaminski,R.、Kaufmann,B.、Ostrowski,M.,Schaub,T.、Thiele,S.:设计增量ASP求解器。收录:Garcia de la Banda,M.,Pontelli,E.(编辑)ICLP 2008。LNCS,第5366卷,第190-205页。斯普林格,海德堡(2008)·兹比尔1185.68159 ·doi:10.1007/978-3-540-89982-223
[59] Gebser,M.,Liu,L.,Namasivayam,G.,Neumann,A.,Schaub,T.,Truszczynski,M.:第一答案集编程系统竞赛。收录人:Baral,C.、Brewka,G.、Schlipf,J.(编辑)LPNMR 2007。LNCS,第4483卷,第3-17页。斯普林格,海德堡(2007)·Zbl 05211322号 ·doi:10.1007/978-3-540-72200-73
[60] Gelfond,M.:在A-Prolog中代表知识。收录:Kakas,A.C.,Sadri,F.(编辑)《计算逻辑:逻辑编程及其以外》。LNCS(LNAI),第2408卷,第413-451页。斯普林格,海德堡(2002)·Zbl 1012.68545号 ·doi:10.1007/3-540-45632-5_16
[61] Gelfond,M.:答案集。摘自:van Harmelen,B.P.F.,Lifschitz,V.(eds.)《知识表示手册》,第7章,第285-316页。爱思唯尔,阿姆斯特丹(2008)·doi:10.1016/S1574-6526(07)03007-6
[62] Gelfond,M.,Leone,N.:逻辑编程和知识表示——序言视角。人工智能138(1-2),3–38(2002)·兹比尔0995.68022 ·doi:10.1016/S0004-3702(02)00207-2
[63] Gelfond,M.,Lifschitz,V.:逻辑编程的稳定模型语义。摘自:《第五届国际会议和专题讨论会逻辑编程会议录》,第1070–1080页。麻省理工学院出版社,剑桥(1988)
[64] Gelfond,M.,Lifschitz,V.:逻辑程序和析取数据库中的经典否定。新一代计算9,365–385(1991)·Zbl 0735.68012号 ·doi:10.1007/BF03037169
[65] Heymans,S.,de Bruijn,J.,Predoiu,L.,Feier,C.,Nieuwenborgh,D.V.:受保护的混合知识库。逻辑程序设计理论与实践8(3),411-429(2008)·Zbl 1139.68410号 ·doi:10.1017/S1471068407003201
[66] Heymans,S.,Nieuwenborgh,D.V.,Vermeir,D.:概念逻辑程序。《数学与人工智能年鉴》47(1-2),103–137(2006)·Zbl 1105.68102号 ·doi:10.1007/s10472-006-9030-5
[67] Heymans,S.,Nieuwenborgh,D.V.,Vermeir,D.:语义网络的开放答案集编程。应用逻辑杂志5(1),144–169(2007)·Zbl 1116.68092号 ·doi:10.1016/j.jal.2006.02.001
[68] Heymans,S.,Toma,I.:使用模糊十六进制程序对服务进行排名。收录:Calvanee,D.,Lausen,G.(编辑)RR 2008。LNCS,第5341卷,第181-196页。斯普林格,海德堡(2008)·Zbl 05368216号 ·doi:10.1007/978-3-540-88737-9_14
[69] Hoehndorf,R.,Loebe,F.,Kelso,J.,Herre,H.:表示生物医学本体论中的默认知识:应用于解剖和表型本体论的集成。BMC生物信息学8(1),377(2007)·Zbl 05326218号 ·doi:10.1186/1471-2105-8-377
[70] Hustadt,U.,Motik,B.,Sattler,U.:将SHIQ描述逻辑简化为析取数据日志程序。摘自:《第九届知识表示和推理原则国际会议论文集》(KR 2004),加拿大惠斯勒,第152-162页(2004)
[71] Ianni,G.,Krennwallner,T.,Martello,A.,Polleres,A.:查询持久RDFS数据的规则系统。载于:Arroyo,L.,Traverso,P.(编辑)《语义网络:研究与应用》,第六届欧洲语义网络会议,ESWC 2009,希腊赫拉克利翁。LNCS,第5554卷,第857–862页。斯普林格,海德堡(2009)·Zbl 05558779号 ·文件编号:10.1007/978-3-642-02121-3_70
[72] Janhunen,T.、Oikarinen,E.、Tompits,H.、Woltran,S.:选言稳定模型的模块化方面。收录人:Baral,C.、Brewka,G.、Schlipf,J.(编辑)LPNMR 2007。LNCS,第4483卷,第175-187页。斯普林格,海德堡(2007)·Zbl 1149.68334号 ·doi:10.1007/978-3-540-72200-716
[73] Kowalski,R.:算法=逻辑+控制。Commun公司。ACM 22(7),424–436(1979)·兹比尔0404.68010 ·doi:10.1145/359131.359136
[74] Lee,J.:循环公式的模型理论对应物。收录于:Kaelbling,L.P.,Saffiotti,A.(编辑)IJCAI,第503-508页。专业图书中心(2005)
[75] Lee,J.,Lifschitz,V.:选言逻辑程序的循环公式。收录于:Palamidessi,C.(编辑)ICLP 2003。LNCS,第2916卷,第451-465页。斯普林格,海德堡(2003)·兹比尔1204.68056 ·doi:10.1007/978-3-540-24599-5_31
[76] Lef'evre,C.,Nicolas,P.:在答案集计算的搜索过程中集成基础。摘自:ASPOCP:答案集编程和其他约束范式,第89–103页(2008年)·Zbl 1226.68021号
[77] Leone,N.,Faber,W.:DLV项目:从理论和研究到应用和市场的旅行。收录于:de la Banda和Pontelli[29],第53-68页·Zbl 05496680号 ·doi:10.1007/978-3-540-89982-2_10
[78] Leone,N.、Pfeifer,G.、Faber,W.、Eiter,T.、Gottlob,G.,Perri,S.、Scarcello,F.:DLV知识表示和推理系统。ACM计算逻辑学报7(3),499–562(2006)·Zbl 1367.68308号 ·数字对象标识代码:10.1145/1149114.1149117
[79] Leone,N.,Rullo,P.,Scarcello,F.:析取稳定模型:无基础集,不动点语义和计算。信息与计算135(2),69–112(1997)·Zbl 0879.68019号 ·doi:10.1006/inco.1997.2630
[80] Lifschitz,V.:非单调数据库和认知查询。收录于:《1991年国际JCAI会议录》,第381-386页(1991)·Zbl 0747.68086号
[81] Lifschitz,V.:答案集规划。收录于:ICLP,第23-37页(1999年)·文件编号:10.1007/3-540-46767-X28
[82] Lifschitz,V.:答案集编程和计划生成。人工智能138,39–54(2002)·Zbl 0995.68020号 ·doi:10.1016/S0004-3702(02)00186-8
[83] Lifschitz,V.:稳定模型的十二种定义。收录:Garcia de la Banda,M.,Pontelli,E.(编辑)ICLP 2008。LNCS,第5366卷,第37-51页。斯普林格,海德堡(2008)·Zbl 1185.68166号 ·doi:10.1007/978-3-540-89982-28
[84] Lifschitz,V.,Pearce,D.,Valverde,A.:强等价逻辑程序。ACM事务处理。计算。日志。 2(4), 526–541 (2001) ·Zbl 1365.68149号 ·数字对象标识代码:10.1145/383779.383783
[85] Lifschitz,V.,Razborov,A.A.:为什么有这么多循环公式?ACM事务处理。计算。日志。7(2),261–268(2006年)·Zbl 1367.68036号 ·数字对象标识代码:10.1145/1131313.1131316
[86] Lifschitz,V.,Turner,H.:分割逻辑程序。摘自:Van Hentenryck,P.(编辑)《第十一届逻辑程序设计国际会议论文集》(ICLP 1994),意大利圣玛格丽塔·利古雷,第23-37页。麻省理工学院出版社,剑桥(1994)
[87] Lin,F.,Zhao,Y.:ASSAT:SAT求解器计算逻辑程序的答案集。收录于:AAAI/IAAI,第112页(2002年)·Zbl 1085.68544号
[88] Lukasiewicz,T.:概率描述逻辑程序。《国际近似推理杂志》45(2),288–307(2007)·Zbl 1122.68027号 ·doi:10.1016/j.ijar.2006.06.012
[89] Lukasiewicz,T.,Straccia,U.:描述概率不确定性和模糊模糊性下的逻辑程序。收录:Mellouli,K.(编辑)ECSQARU 2007。LNCS,第4724卷,第187-198页。斯普林格,海德堡(2007)·Zbl 1148.68527号 ·doi:10.1007/978-3-540-75256-119
[90] Maratea,M.,Ricca,F.,Faber,W.,Leone,N.:dlv中的Look-back技术和启发式:与qbf解算器的实现、评估和比较。J.算法63(1-3),70-89(2008)·Zbl 1162.68668号 ·doi:10.1016/j.jalgor.2008.02.006
[91] Marek,V.W.,Truszczynski,M.:自认知逻辑。ACM杂志38(3),588–619(1991)·Zbl 0799.68176号 ·数字对象标识代码:10.1145/116825.116836
[92] Marek,V.W.,Truszczynski,M.:稳定模型和替代逻辑编程范式。摘自:Apt,K.,Marek,V.W.,Truszczynski,M.,Warren,D.S.(编辑)《逻辑编程范式——25年展望》,第375-398页。施普林格,海德堡(1999)·Zbl 0979.68524号 ·doi:10.1007/978-3-642-60085-2_17
[93] Minker,J.(编辑):演绎数据库和逻辑编程基础。摩根·考夫曼(Morgan Kaufmann),华盛顿(1988)·Zbl 0699.68009号
[94] Minker,J.:《逻辑与数据库:20年回顾》。摘自:Pedreschi,D.,Zaniolo,C.(编辑)LID 1996。LNCS,第1154卷,第3-57页。施普林格,海德堡(1996)
[95] Motik,B.,Rosati,R.:描述逻辑与逻辑编程的忠实集成。摘自:2007年第20届国际人工智能联合会议论文集,第477-482页(2007)
[96] Niemelä,I.:以稳定模型语义作为约束编程范式的逻辑编程。数学与人工智能年鉴25(3-4),241-273(1999)·Zbl 0940.68018号 ·doi:10.1023/A:1018930122475
[97] Niemelä,I.(编辑):ASP的语言扩展和软件工程。技术报告WP3,答案集编程工作组(WASP),IST-FET-2001-37004(2005年9月),http://www.tcs.hut.fi/Research/Logic/wasp/wp3/wasp-wp3-web/
[98] Nieuwenborgh,D.V.,Cock,M.D.,Vermeir,D.:使用dlvhex计算模糊答案集。收录:Dahl,V.,Niemelä,I.(编辑)ICLP 2007。LNCS,第4670卷,第449-450页。斯普林格,海德堡(2007)·Zbl 05523640号 ·doi:10.1007/978-3-540-74610-2_40
[99] Nieuwenborgh,D.V.,Eiter,T.,Vermeir,D.:具有外部功能的条件规划。收录人:Baral,C.、Brewka,G.、Schlipf,J.(编辑)LPNMR 2007。LNCS,第4483卷,第214-227页。斯普林格,海德堡(2007)·兹比尔1149.68425 ·doi:10.1007/978-3-540-72200-719
[100] Oikarinen,E.,Janhunen,T.:为Smodels程序实现稳定模型语义的组合。逻辑程序设计理论与实践8(5-6),717-761(2008)·Zbl 1156.68012号 ·文件编号:10.1017/S147106840800358X
[101] Palö,A.D.,Dovier,A.,Pontelli,E.,Rossi,G.:Gasp:用惰性接地回答集合编程。收录于:LaSh 2008:逻辑与搜索-从声明性描述计算结构(2008)·Zbl 1207.68118号
[102] Papadimitriou,C.H.:计算复杂性。Addison Wesley Longman,阿姆斯特丹(1994)·Zbl 0833.68049号
[103] 皮尔斯·D·:平衡逻辑。《数学与人工智能年鉴》47(1-2),3–41(2006)·Zbl 1117.03039号 ·doi:10.1007/s10472-006-9028-z
[104] Pearce,D.,Valverde,A.:量化平衡逻辑和答案集程序的基础。收录于:de la Banda和Pontelli[29],第546–560页·兹比尔1185.68175 ·doi:10.1007/978-3-540-89982-2_46
[105] Polleres,A.:从SPARQL到规则(再到规则)。摘自:第16届万维网国际会议记录,第787-796页。ACM,纽约(2007)·doi:10.1145/1242572.1242679
[106] Polleres,A.,Feier,C.,Harth,A.:具有上下文范围否定的规则。收录:Sure,Y.,Domingue,J.(编辑)ESWC 2006。LNCS,第4011卷,第332-347页。斯普林格,海德堡(2006)·doi:10.1007/11762256_26
[107] Pontelli,E.,Son,T.C.,Baral,C.:语义网中规则的合成和互操作框架。收录于:Eiter,T.、Franconi,E.、Hodgson,R.、Stephens,S.(编辑)RuleML,第39–50页。IEEE计算机学会,Los Alamitos(2006)
[108] Provetti,A.,Son,T.C.(编辑):答案集编程,走向高效和可扩展的知识表示和推理,第一届国际ASP 2001研讨会论文集,斯坦福大学(2001年3月26日至28日)
[109] Przymusinski,T.C.:演绎数据库和逻辑程序的声明语义。收录:Minker[93],第193-216页·Zbl 0726.68067号 ·doi:10.1016/B978-0-934613-40-8.50009-9
[110] Rainer,A.:答案集编程下的Web服务组合。In:程序。KI 2005研讨会“计划、日程安排和管理”,PuK 2005(2005)
[111] Reiter,R.:《关于封闭世界数据库》。摘自:Gallaire,H.,Minker,J.(编辑)《逻辑和数据库》,第55-76页。纽约Plenum出版社(1978)·doi:10.1007/978-14684-3384-53
[112] Reiter,R.:默认推理的逻辑。人工智能13(1-2),81–132(1980)·Zbl 0435.68069号 ·doi:10.1016/0004-3702(80)90014-4
[113] Ricca,F.,Gallucci,L.,Schindlauer,R.,Dell'armi,T.,Grasso,G.,Leone,N.:OntoDLV:一个基于ASP的企业本体论系统。《逻辑与计算杂志》(2008),doi:10.1093/log.com/exn042·Zbl 1192.68132号 ·doi:10.1093/log.com/exn042
[114] Rosati,R.:(\mathcal{DL}\text{+}log\):描述逻辑和析取数据日志的紧密集成。参见:KR 2006年第十届知识表示和推理原则国际会议记录,第68–78页。AAAI出版社,门罗公园(2006)
[115] Ross,K.A.:带否定的数据日志程序的模块分层和魔术集。ACM杂志41(6),1216–1266(1994)·兹比尔083068028 ·数字对象标识代码:10.1145/195613.195646
[116] Šimkus,M.,Eiter,T.:FDNC:带函数符号的可判定非单调析取逻辑程序。收录:Dershowitz,N.,Voronkov,A.(编辑)LPAR 2007。LNCS,第4790卷,第514-530页。施普林格,海德堡(2007);ACM Trans中出现的扩展纸张。计算逻辑·Zbl 1137.68334号 ·doi:10.1007/978-3-540-75560-9_37
[117] Stockmeyer,L.J.:多项式时间层次结构。西奥。计算。科学。 3(1), 1–22 (1976) ·Zbl 0353.02024号 ·doi:10.1016/0304-3975(76)90061-X
[118] Swift,T.:通过ASP进行本体论演绎。收录:Lifschitz,V.,Niemelä,I.(编辑)LPNMR 2004。LNCS(LNAI),第2923卷,第275-288页。斯普林格,海德堡(2003)·Zbl 1122.68628号 ·doi:10.1007/978-3-540-24609-1_24
[119] Syrjänen,T.:Omega限制逻辑程序。收录:Eiter,T.、Faber,W.、Truszczynski,M.(编辑)LPNMR 2001。LNCS,第2173卷,第267-279页。斯普林格,海德堡(2001)·Zbl 1007.68503号 ·doi:10.1007/3-540-45402-020
[120] Syrjänen,T.,Niemelä,I.:斯莫代尔体系。收录:Eiter,T.、Faber,W.、Truszczynski,M.(编辑)LPNMR 2001。LNCS,第2173卷,第434-438页。施普林格,海德堡(2001)·Zbl 1010.68797号 ·doi:10.1007/3-540-45402-0-38
[121] Tari,L.,Baral,C.,Anwar,S.:模块化答案集编程语言:应用于ACC锦标赛调度。摘自:第三届国际ASP 2005研讨会论文集,英国巴斯,2005年7月。CEUR研讨会论文集,第142卷,第277-293页。CEUR WS(2005)
[122] Van Gelder,A.,Ross,K.A.,Schlipf,J.S.:通用逻辑程序的良好语义。ACM杂志38(3),620-650(1991)·兹比尔0799.68045 ·数字对象标识代码:10.1145/116825.116838
[123] Woltran,S.:关于应答集编程中的强、一致和其他等价概念的常见观点。逻辑程序设计理论与实践8(2),217–234(2008)·Zbl 1140.68360号 ·doi:10.1017/S1471068407003250
[124] Woltran,S.(编辑):答案集编程:模型应用和概念证明。技术报告WP5,答案集编程工作组(WASP),IST-FET-2001-37004(2005年7月),http://www.kr.tuwien.ac.at/projects/WASP/report.html
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。