托马斯·艾特;托比亚斯·卡明斯基 使用语义依赖删减答案集程序的外部极小性检查。 （英语） Zbl 1504.68216号 Artif公司。智力。 290，文章ID 103402，34 p.（2021）. 摘要：答案集编程（ASP）已经成为一种越来越流行的解决声明性问题的方法。为了满足应用程序的需求，ASP以不同的方式进行了扩展，并提供了与外部世界进行交互的方法，其中十六进制程序是最强大的此类扩展之一，它提供了API风格的接口，可以分别访问任意外部信息源和计算源。遵循建立推导的原则，计算十六进制程序需要对候选答案集进行外部（e）最小性检查，以防止通过外部来源进行循环论证。由于外部来源的通用性，检查可能是实践中的瓶颈。为了缓解这一问题，以前已经开发了各种优化，包括使用有关原子依赖性的语法信息，以便检测可以避免e-minimality检查的情况。然而，由于外部源的黑盒特性，该方法在很大程度上过于接近实际依赖性。因此，我们在这项工作中考虑使用语义信息来实现更好的近似。为此，我们引入了外部源的输入-输出（io-）依赖关系，它直观地将对外部源的调用结果中值的出现与提供给此调用的输入中值的发生联系起来。看来，处理关于io-dependencies的信息会显著增加删减e-minimality检查的可能性，而经验评估显示了这种方法的明显好处。此外，我们研究了io-dependencies的语义和计算属性，并提供了构建和优化io-depndencies集的算法。我们的工作旨在为在ASP外部源访问中使用语义依赖信息奠定一些基础。结果不仅限于十六进制程序，但也可以类似地部署到将外部源集成到ASP中的其他方法，例如粘着物或黄蜂使用外部传播器。此外，结果可以应用于十六进制项目评估管道。 MSC公司： 68立方英尺 知识表示 68N17号 逻辑编程 关键词：知识表示;推理;逻辑程序设计;使用外部源访问的应答集编程;语义依赖 软件：Hexlite公司;接通DLV;克林戈;Potassco公司;挖空的;Clingcon公司;数据日志;CP网络;DLV-EX公司 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{T.Kaminski}，Artif。智力。290，文章ID 103402，34 p.（2021；Zbl 1504.68216） 全文： 内政部 OA许可证 参考文献： [1] Abiteboul，S。；船体，R。；维亚努，V.，《数据库基础》（1995），艾迪森·韦斯利·Zbl 0848.68031号 [2] Allen，F.E.，控制流分析，SIGPLAN Not。，5、7、1-19（1970年7月） [3] 巴拉巴诺夫，V。；香港蒋。；Jiang，J.R.，Henkin量词和布尔公式：DQBF的证明视角，Theor。计算。科学。，523, 86-100 (2014) ·Zbl 1283.03032号 [4] 巴雷特，C.W。；塞巴斯蒂亚尼，R。；Seshia，S.A。；Tinelli，C.，可满足性模理论，（Biere，A.；Heule，M.；van Maaren，H.；Walsh，T.，可满足性手册，人工智能与应用前沿，第185卷（2009年），IOS出版社），825-885·Zbl 1183.68568号 [5] Bessiere，C.，《约束传播》（Rossi，F.；van Beek，P.；Walsh，T.，《约束编程手册》，《人工智能基础》，第2卷（2006），爱思唯尔），29-83·Zbl 1175.90011号 [6] Bogaerts，B。；Erdem，E。；Harrison，A.，客座编辑：关于答案集编程和其他计算范式的特刊，Ann.Math。Artif公司。智力。，86, 1-3, 1-2 (2019) ·Zbl 1476.00088号 [7] Boutiler，C。；R.I.布拉夫曼。；多姆什拉克，C。；胡斯，H.H。；Poole，D.，《CP-nets:用条件对等偏好语句表示和推理的工具》，J.Artif。智力。决议，21，135-191（2004）·Zbl 1080.68685号 [8] Brewka，G。；艾特，T。；Truszczynski，M.，回答集编程一览，Commun。ACM，54，12，92-103（2011） [9] Brewka，G。；艾特，T。；Truszczynski，M.，《答案集编程：特刊简介》，AI Mag.，37，3，5-6（2016） [10] 卡多利，M。；艾特，T。；Gottlob，G.，作为查询语言的默认逻辑，IEEE Trans。知识。数据工程，9，3，448-463（1997） [11] Calimeri，F。；科萨，S。；Ianni，G.，《逻辑编程中知识和价值发明的外部来源》，《数学年鉴》。Artif公司。智力。，50, 3-4, 333-361 (2007) ·兹比尔1125.68026 [12] Calimeri，F。；科萨，S。；伊安尼，G。；Leone，N.，《ASP中的可计算函数：理论与实现》，（de la Banda，M.G.；Pontelli，E.，《逻辑编程》，《第24届国际会议论文集》，逻辑编程，《第二十四届国际会议文献集》，2008年12月9日至13日，意大利乌迪内，ICLP 2008。逻辑程序设计，第24届国际会议论文集。逻辑编程，《第24届国际会议论文集》，ICLP 2008，意大利乌迪内，2008年12月9日至13日，《计算机科学讲义》，第5366卷（2008），斯普林格出版社，407-424·Zbl 1185.68150号 [13] Calimeri，F。；芬克，M。；Germano，S。；Humenberger，A。；伊安尼，G。；Redl，C。；斯蒂芬诺娃，D。；Tucci，A。；Wimmer，A.，Angry-HEX:基于声明性知识库的愤怒小鸟的人工玩家，IEEE Trans。计算。智力。人工智能游戏，8，2128-139（2016） [14] Calimeri，F。；Fuscá，D。；Germano，S。；佩里，S。；Zangari，J.，《促进在现实世界应用程序中使用声明性形式主义：EmbASP框架》，New Gener。计算。，37, 1, 29-65 (2019) [15] Chandra，A。；Merlin，P.，关系数据库中连接查询的优化实现，（第九届ACM计算理论研讨会论文集。第九届美国计算机学会计算理论研讨会文献集，STOC-77（1977），博尔德：科罗拉多州博尔德），77-89 [16] Chekuri，C。；Rajaraman，A.，《重新审视连接查询遏制》，（Afrati，F.N.；Kolaitis，P.G.，《数据库理论-ICDT’97，第六届国际会议论文集》，《数据库原理-ICDT'97，第6届国际会议文献集》，希腊德尔福，1997年1月8日至10日。数据库理论——1997年ICDT，第六届国际会议论文集。数据库理论-ICDT’97，第六届国际会议论文集，Delphi，希腊，1997年1月8日至10日，计算机科学讲义，第1186卷（1997），Springer），56-70·Zbl 0944.68046号 [17] de Alfaro，L。；Henzinger，T.A。；Mang，F.Y.C.，《同步系统的控制》，（Palamidessi，C.，CONCUR 2000-并发理论，第十一届国际会议论文集。CONCUR 2000-并发理论第十一届世界会议论文集，宾夕法尼亚州大学城，美国，2000年8月22日至25日。CONCUR 2000：并发理论，第11届国际会议记录。CONCUR 2000：并发理论，第11届国际会议论文集，美国宾夕法尼亚州大学公园，2000年8月22日至25日，计算机科学讲稿。，第1877卷（2000），施普林格），458-473·Zbl 0999.68531号 [18] 多达罗，C。；Ricca，F.，《WASP扩展的外部接口》，TPLP，1-24（2018） [19] 多达罗，C。；Ricca，F。；Schüller，P.，《WASP中的外部传播者：初步报告》，（Bistarelli，S.；Formisano，A。；Maratea，M.，第23届RCRA国际研讨会论文集，关于解决组合爆炸问题的算法的实验评估。《第23届RCRA组合爆炸问题求解算法实验评估国际研讨会论文集》，RCRA 2016，Genova，意大利，2016年11月28日。第23届RCRA组合爆炸问题求解算法实验评估国际研讨会论文集。《第23届RCRA组合爆炸问题求解算法实验评估国际研讨会论文集》，RCRA 2016，意大利热那亚，2016年11月28日，CEUR研讨会论文集，第1745卷（2016），CEUR-WS.org），1-9 [20] Doyen，L。；Henzinger，T.A。；Jobstmann，B。；Petrov，T.，《组件重用的接口理论》，（de Alfaro，L.；Palsberg，J.，《第八届ACM&IEEE嵌入式软件国际会议论文集》，第八届AMM和IEEE嵌入软件国际会议文献集，EMSOFT 2008，美国佐治亚州亚特兰大，2008年10月19-24日（2008），ACM），79-88 [21] 艾特，T。；Faber，W。；芬克，M。；Woltran，S.，《具有有界谓词算术和含义的答案集编程的复杂性结果》，《数学年鉴》。Artif公司。智力。，51, 2-4, 123-165 (2007) ·Zbl 1138.68017号 [22] 艾特，T。；芬克，M。；Krennwallner，T.，具有外部功能的声明性知识库的分解，（Boutiler，C.，IJCAI 2009，《第21届国际人工智能联合会议论文集》，IJCAI 2009，第21届世界人工智能联合大会论文集，美国加利福尼亚州帕萨迪纳，2009年7月11日至17日（2009））， 752-758 [23] 艾特，T。；芬克，M。；Krennwallner，T。；Redl，C.，具有外部源的ASP程序的域扩展，Artif。智力。，233, 84-121 (2016) ·Zbl 1351.68265号 [24] 艾特，T。；芬克，M。；Krennwallner，T。；雷德，C。；Schüller，P.，基于无基础集的高效六元程序评估，J.Artif。智力。决议，49，269-321（2014）·Zbl 1361.68031号 [25] 艾特，T。；Germano，S。；伊安尼，G。；卡明斯基，T。；Redl，C。；Schüller，P。；Weinzierl，A.，《DLVHEX系统》，Künstl。智力。，32, 2-3, 187-189 (2018) [26] 艾特，T。；Gottlob，G。；Mannila，H.，分离数据日志，ACM Trans。数据库系统。，22, 3, 364-418 (1997) [27] 艾特，T。；卡明斯基，T。；Redl，C。；Schüller，P。；Weinzierl，A.，《使用外部源访问的答案集编程》（Ianni，G.；Lembo，D.；Bertossi，L.E.；Faber，W.；Glimm，B.；Gottlob，G.，Staab，S.，《推理网络》，《Web上的语义互操作性——2017年第13届国际暑期学校》。推理网络。2017年7月7日至11日，英国伦敦，2017年第13届国际暑期学校，网上语义互操作，辅导讲座。推理Web。网络上的语义互操作性——2017年第13届国际暑期学校。推理Web。Web上的语义互操作性——2017年第13届国际暑期学校，英国伦敦，2017年7月7日至11日，计算机科学教程、讲稿，第10370卷（2017），施普林格出版社，204-275·Zbl 1491.68191号 [28] 艾特，T。；卡明斯基，T。；Redl，C。；Weinzierl，A.，利用部分赋值对具有外部源访问的答案集程序进行有效评估，J.Artif。智力。决议，62，665-727（2018）·Zbl 1448.68398号 [29] 艾特，T。；Redl，C。；Schüller，P.，《使用HEX家族解决问题》（Beierle，C.；Brewka，G.；Thimm，M.，《理性的计算模型》，Gabriele Kern-Isberner 60岁生日之际的论文（2016），大学出版社），150-174 [30] Erdem，E。；Gelfond，M。；Leone，N.，《答案集编程的应用》，AI Mag.，37，3，53-68（2016） [31] Erdem，E。；Oh ztok，U.，为生物医学查询生成解释，理论与实践。日志。程序。，15, 1, 35-78 (2015) ·Zbl 1379.68059号 [32] Erdem，E。；Patoglu，V.，ASP在机器人技术中的应用，Künstl。智力。，32, 2-3, 143-149 (2018) [33] Faber，W。；Pfeifer，G。；Leone，N.，《答案集编程中递归聚合的语义和复杂性》，Artif。智力。，175, 1, 278-298 (2011) ·兹比尔1216.68263 [34] 福克纳，A.A。；弗里德里希·G。；Schekotihin，K。；灰褐色，R。；Teppan，E.C.，《答案集编程的工业应用》，Künstl。智力。，32, 2-3, 165-176 (2018) [35] 俄亥俄州费布拉罗。；塞拉利昂，北卡罗来纳州。；格拉索，G。；Ricca，F.，JASP：答案集编程与java集成的框架（Brewka，G.；Eiter，T.；McIlraith，S.）。《知识表示和推理原则：第十三届国际会议论文集》。《知识表示和推理原理：第十三届国际会议论文集》，KR 2012，意大利罗马，2012年6月10日至14日（2012），AAAI出版社），541-551 [36] Fuscá，D。；Germano，S。；Zangari，J。；阿纳斯塔西奥，M。；Calimeri，F。；Perri，S.，一个用于简化嵌入答案集编程的应用程序开发的框架，（Cheney，J。；Vidal，G.，《第18届声明性编程原则与实践国际研讨会论文集》。2016年9月5日至7日（2016年），英国爱丁堡，第18届声明性编程原则与实践国际研讨会论文集，ACM），38-49 [37] Gebser，M。；卡明斯基，R。；考夫曼，B。；奥斯特罗斯基，M。；Schaub，T。；Wanko，P.，《与Clingo 5轻松解决理论》，（Carro，M.；King，A.；Saeedloei，N.；Vos，M.D.，《第32届逻辑编程国际会议的技术通信》，第32届国际逻辑编程会议技术通信，2016年10月16日至21日，美国纽约市，ICLP 2016 TCs。第32届逻辑程序设计国际会议技术交流。第32届逻辑程序设计国际会议的技术交流，2016年10月16日至21日，美国纽约市，国际逻辑程序设计协会，第52卷（2016），Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik），2:1-2:15 [38] Gebser，M。；卡明斯基，R。；考夫曼，B。；Schaub，T.，《实践中的答案集求解》，《人工智能和机器学习综合讲座》（2012年），Morgan&Claypool出版社 [39] Gebser，M。；卡明斯基，R。；考夫曼，B。；Schaub，T.，Clingo=ASP+控制（2014），CoRR abs/1405.3694 [40] Gebser，M。；卡明斯基，R。；Schaub，T.，aspcud:一种基于答案集编程的Linux软件包配置工具，（Drescher，C.；Lync，I.；Treinen，R.，《组件配置逻辑第二次研讨会论文集》，LoCoCo，2011年，意大利佩鲁贾，2011年9月12日。组件配置逻辑第二次研讨会论文集。《组件配置逻辑第二次研讨会论文集》，LoCoCo 2011，意大利佩鲁贾，2011年9月12日，EPTCS，第65卷（2011），12-25 [41] Gebser，M。；考夫曼，B。；卡明斯基，R。；奥斯特罗斯基，M。；Schaub，T。；Schneider，M.T.，Potassco：波茨坦答案集求解集合，AI Commun。，24, 2, 107-124 (2011) ·Zbl 1215.68214号 [42] （Gelfond，M.；Kahl，Y.，《知识表示、推理和智能代理的设计：答案集编程方法》（2014），剑桥大学出版社） [43] Gelfond，M。；Lifschitz，V.，逻辑编程的稳定模型语义，（Kowalski，R.A.；Bowen，K.A.，《逻辑编程，第五届国际会议和研讨会论文集》，美国华盛顿州西雅图，1988年8月15日至19日（2卷），麻省理工出版社， 1070-1080 [44] Gelfond，M。；Lifschitz，V.，逻辑程序和析取数据库中的经典否定，新世代。计算。，9, 3/4, 365-386 (1991) ·Zbl 0735.68012号 [45] Ghahramani，Z.，概率机器学习和人工智能，《自然》，521，7553，452-459（2015） [46] Ghezzi，C。；Jazayeri，M。；Mandrioli，D.，《软件工程基础》（2002），普伦蒂斯·霍尔出版社 [47] 戈德史密斯，J。；朗·J。；Truszczynski，M。；Wilson，N.，《CP网络中支配性和一致性的计算复杂性》，J.Artif。智力。决议，33，403-432（2008）·Zbl 1182.68089号 [48] 辛提卡，J。；Sandu，G.，《作为语义现象的信息独立性》（Fenstad；et al.，J.E.，《科学的逻辑、方法论和哲学》VIII.《科学的逻辑学、方法论与哲学》VIII，《逻辑与数学基础研究》，第126卷（1989年），北霍兰德出版社），571-589·Zbl 0683.03004号 [49] Hoehndorf，R。；Loebe，F。；Kelso，J。；Herre，H.，《表示生物医学本体中的默认知识：应用于解剖学和表型本体的集成》，BMC Bioinform。，8 (2007) [50] Immerman，N.，《量词的数量比磁带单元的数量好》，J.Compute。系统。科学。，22, 3, 384-406 (1981) ·Zbl 0486.03019号 [51] Janhunen，T。；刘，G。；Niemelä，I.，非接地回答集规划和可满足性模理论的紧密集成，（Cabalar，P.；Mitchell，D.；Pearce，D。；Ternovska，E.，关于变量理论的基础和转换的第一次研讨会的非正式会议记录。2011年5月16日（2013年），加拿大不列颠哥伦比亚省温哥华市，GTTV’11，LPNMR，第一届变量理论基础与转换研讨会的非正式会议记录，网址： [52] Janhunen，T。；Oikarinen，E。；托姆皮茨，H。；Woltran，S.，《析取稳定模型的模块性方面》，J.Artif。智力。研究，35，813-857（2009）·Zbl 1192.68129号 [53] Kalinowski，T。；北卡罗来纳州纳罗迪茨卡。；沃尔什，T。；Xia，L.，按顺序分配不可分割商品时的战略行为，（desJardins，M.；Littman，M.L.，《第二十七届AAAI人工智能会议论文集》，美国华盛顿州贝尔维尤，2013年7月14日至18日（2013），AAAI出版社） [54] 科勒，D。；弗里德曼，N.，概率图形模型-原理和技术（2009），麻省理工学院出版社·Zbl 1183.68483号 [55] Lee，J。；孟毅，《关于连续变化的答案集编程模理论和推理》（Rossi，F.，IJCAI 2013，第23届国际人工智能联合会议论文集。IJCAI2013，第二十三届国际人工智慧联合会议论文集中，中国北京，2013年8月3-9日（2013），IJCIA/AAAI）， 990-996 [56] 塞拉利昂，北卡罗来纳州。；菲佛，G。；Faber，W。；艾特，T。；Gottlob，G。；佩里，S。；Scarcello，F.，《用于知识表示和推理的DLV系统》，ACM Trans。计算。日志。，7, 3, 499-562 (2006) ·Zbl 1367.68308号 [57] Lierler，Y.，《关联约束答案集编程语言和算法》，Artif。智力。，207, 1-22 (2014) ·Zbl 1334.68041号 [58] Lierler，Y。；Lifschitz，V.，《有限地面程序的又一个可判定类》，（Hill，P.M.；Warren，D.S.，《逻辑编程》，《第25届国际会议论文集》，逻辑编程，《第二十五届国际会议文献集》，2009年，美国加利福尼亚州帕萨迪纳，2009年7月14日至17日。逻辑程序设计，第25届国际会议论文集。逻辑编程，第25届国际会议论文集，ICLP 2009，美国加利福尼亚州帕萨迪纳，2009年7月14-17日，计算机科学讲义，第5649卷（2009），Springer），489-493·Zbl 1251.68064号 [59] Lierler，Y。；Maratea，M。；Ricca，F.，《系统、工程环境和竞赛》，AI Mag.，37，3，45-52（2016） [60] Lifschitz，V。；Turner，H.，Splitting a logic program，（Hentenryck，P.V.，logic Programming，Proceedings of the 11th International Conference on logic program，逻辑程序设计，Proceetings of the Sevent International Conference on-logic Programmings，Santa Marherita Ligure，意大利，1994年6月13日至18日（1994），麻省理工学院出版社） [61] Maher，M.J.，受限依赖性，Theor。计算。科学。，173, 1, 113-149 (1997) ·Zbl 0902.68042号 [62] Maier，D.，《关系数据库理论》（1983），计算机科学出版社·Zbl 0519.68082号 [63] 奥斯特罗斯基，M。；Schaub，T.，ASP模块CSP：紧贴系统，理论与实践。日志。程序。，12, 4-5, 485-503 (2012) ·Zbl 1260.68066号 [64] Papadimitriou，C。；Yannakakis，M.，关于图的简洁表示的注记，Inf.Comput。，71, 181-185 (1985) ·Zbl 0616.68041号 [65] Polleres，A.，《从SPARQL到规则（及其背后）》，（Williamson，C.L.；Zurko，M.E.；Patel-Schneider，P.F.；Shenoy，P.J.，《第十六届万维网国际会议论文集》，WWW 2007，加拿大阿尔伯塔省班夫，2007年5月8日至12日（2007年），ACM，787-796 [66] Redl，C.，《DLVHEX知识表示系统：最新进展（系统描述）》（2016），CoRR abs/1607.08864·Zbl 1379.68304号 [67] Ricca，F.，《DLV Java包装器》（The DLV Java wrapper，Buccafurri，F.），声明性编程联合会议，AGP-2003，意大利雷吉奥·卡拉布里亚，2003年9月3日至5日（2003），263-274 [68] Ricca，F。；加卢奇，L。；辛德劳，R。；德尔米，T。；格拉索，G。；Leone，N.，OntoDLV：基于ASP的企业本体系统，J.Log。计算。，19, 4, 643-670 (2009) ·Zbl 1192.68132号 [69] Samer，M.，量化CSP的变量依赖性，（Cervesato，I.；Veith，H。；Voronkov，A.，《编程逻辑、人工智能和推理》，第15届国际会议论文集。《编程逻辑、人工智能和推理》，第15届国际会议论文集，LPAR 2008，卡塔尔多哈，2008年11月22日至27日。《程序设计、人工智能和推理的逻辑》，第15届国际会议论文集。《程序设计、人工智能和推理的逻辑》，第15届国际会议论文集，LPAR 2008，卡塔尔多哈，2008年11月22-27日，计算机科学讲义，第5330卷（2008），斯普林格），512-527·Zbl 1182.68268号 [70] 萨默，M。；Szeider，S.，量化布尔公式的后门集，J.Autom。原因。，42, 1, 77-97 (2009) ·Zbl 1191.68353号 [71] Schaub，T。；Woltran，S.，Answer set编程已启动！，昆斯特尔。智力。，32、2-3、105-108（2018），编辑，《答案集编程专刊》 [72] Schüller，P.，hexlite解算器-HEX程序的轻量级和高效评估，（Calimeri，F.；Leone，N.；Manna，M.，《人工智能中的逻辑-第16届欧洲会议论文集》，人工智能逻辑-第十六届欧洲会议文献集，2019年5月7日至11日，意大利伦德，JELIA 2019。人工智能中的逻辑学——第16届欧洲会议论文集。《人工智能中的逻辑——第16届欧洲会议论文集》，JELIA 2019，Rende，意大利，2019年5月7日至11日，计算机科学讲义，第11468卷（2019），Springer），593-607·Zbl 1525.68147号 [73] Schüller，P。；Weinzierl，A.，《答案集应用程序编程：俄罗斯方块案例研究》（Vos，M.D.；Eiter，T.；Lierler，Y。；Toni，F.，《第31届逻辑编程国际会议技术交流论文集》。2015年8月31日至9月4日在爱尔兰科克举行的第31届逻辑编程国际会议的技术通信会议记录，ICLP 2015。第31届逻辑程序设计国际会议技术通讯录。《第31届国际逻辑程序设计会议技术通讯录》，2015年ICLP，爱尔兰科克，2015年8月31日至9月4日，CEUR研讨会论文集，第1433卷（2015），CEUR-WS.org）·Zbl 1407.68028号 [74] Strode，D.E.，敏捷软件开发项目的依赖分类法，Inf.Syst。正面。，18, 1, 23-46 (2016) [75] 苏斯曼，B。；Lierler，Y.，基于SMT的约束答案集求解器EZSMT（系统描述），（Carro，M.；King，A.；Saeedloei，N.；Vos，M。第32届逻辑程序设计国际会议的技术通信。第32届逻辑编程国际会议的技术交流，2016年10月16-21日，美国纽约市，ICLP 2016 TC。第32届逻辑程序设计国际会议的技术交流，2016年10月16日至21日，美国纽约市，国际逻辑程序设计协会，第52卷（2016年），达格斯图尔-莱布尼茨-泽特鲁姆-富尔信息学院，1:1-1:15·Zbl 1428.68284号 [76] Syrjänen，T.，包括配置模型中的诊断信息，（Lloyd，J.W.；Dahl，V.；Furbach，U.；Kerber，M.；Lau，K.；Palamidessi，C.；Pereira，L.M.；Sagiv，Y.；Stuckey，P。J.，计算逻辑-CL 2000，第一届国际会议。计算逻辑-CL 2000，第一届国际会议，英国伦敦，2000年7月24日至28日，会议记录。计算逻辑-CL 2000，第一届国际会议。计算逻辑-CL 2000，第一届国际会议，英国伦敦，2000年7月24日至28日，计算机科学论文集，第1861卷（2000），施普林格），837-851·Zbl 0983.68653号 [77] Terracina，G。；塞拉利昂，北卡罗来纳州。；Lio，V。；Panetta，C.，数据库和逻辑编程系统中递归查询的实验，理论与实践。日志。程序。，8, 2, 129-165 (2008) ·Zbl 1142.68338号 [78] Wolf，M.，《程序设计与分析》，（Wolf和M.，“计算机作为组件。计算机作为组件”，《计算机体系结构与设计中的Morgan Kaufmann系列》（2017），Morgan Koufmann-），221-319 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。