娜塔莉亚·斯图洛娃;JoséF·莫拉莱斯。;曼努埃尔五世(Manuel V.Hermenegildo)。 通过非侵入性属性缓存进行实际运行时检查。 (英语) Zbl 1379.68102号 理论实践。日志。程序。 15,No.4-5,726-741(2015).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{N.Stulova}等人,《理论与实践》。日志。程序。15,编号4--5,726--741(2015;Zbl 1379.68102) 全文: DOI程序 arXiv公司
弗雷德·梅斯纳德;埃蒂安·佩耶特;德国维达尔 逻辑编程中的一致性测试。 (英语) Zbl 1379.68078号 理论实践。日志。程序。 15,No.4-5,711-725(2015).MSC公司:第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{F.Mesnard}等人,《理论与实践》。日志。程序。15,编号4--5,711--725(2015;Zbl 1379.68078) 全文: DOI程序 arXiv公司
马可·曼纳;弗朗西斯科·里卡;乔治·特拉西纳 通过ASP处理主键冲突以查询大量不一致的数据。 (英语) Zbl 1379.68114号 理论实践。日志。程序。 15,No.4-5,696-710(2015).MSC公司:第68页,共15页 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{M.Manna}等人,《理论与实践》。日志。程序。15,编号4-5-696-710(2015;兹bl 1379.68114) 全文: DOI程序 arXiv公司
英格玛达塞维尔;Matthias范德哈伦;杨森,格尔达;马克·德内克 用于构建逻辑的组合框架中模板的语义。 (英语) Zbl 1379.68092号 理论实践。日志。程序。 15,编号4-5681-695(2015).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Dasseville}等人,《理论与实践》。日志。程序。15,编号4--5,681--695(2015;Zbl 1379.68092) 全文: DOI程序 arXiv公司
佩德罗·卡巴拉;马丁·迪格斯;康塞普西翁维达尔 时间平衡逻辑的无限编码。 (英语) Zbl 1379.68047号 理论实践。日志。程序。 15,编号4-5,666-680(2015).MSC公司:第68页第17页 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,《理论与实践》。日志。程序。15,编号4--5,666--680(2015;Zbl 1379.68047) 全文: DOI程序
马克西米利亚诺·克里斯蒂亚;吉安弗兰科·罗西;克劳迪娅·弗莱德曼 使用集合将部分函数添加到约束逻辑编程中。 (英语) Zbl 1379.68053号 理论实践。日志。程序。 15,No.4-5,651-665(2015).MSC公司:第68页第17页 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Cristiá}等人,《理论与实践》。日志。程序。15,编号4--5,651--665(2015;Zbl 1379.68053) 全文: DOI程序 arXiv公司
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 通过线性化约束Horn子句来证明命令式程序的正确性。 (英语) Zbl 1379.68093号 理论实践。日志。程序。 15,编号4-5,635-650(2015).MSC公司:68号30 第68页第17页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,理论与实践。日志。程序。15,编号4--5,635--650(2015;Zbl 1379.68093) 全文: DOI程序 arXiv公司
费利西达·阿瓜多;佩德罗·卡巴拉;大卫·皮尔斯;吉尔伯托·佩雷斯;康塞普西翁维达尔 均衡逻辑的指称语义。 (英语) Zbl 1379.68032号 理论实践。日志。程序。 15,编号4-5,620-634(2015).MSC公司:第68页第17页 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Aguado}等人,理论与实践。日志。程序。15、编号4--5、620--634(2015;Zbl 1379.68032) 全文: DOI程序 arXiv公司
劳拉·科蓬恩;埃米利亚·奥伊卡里宁;汤米·詹胡宁;苏伊拉,劳拉 使用答案集编程优化系统发育超级树。 (英语) Zbl 1379.92038号 理论实践。日志。程序。 15,编号4-5,604-619(2015).MSC公司:92D15型 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{L.Koponen}等人,《理论与实践》。日志。程序。15、编号4--5、604--619(2015;Zbl 1379.92038) 全文: DOI程序 arXiv公司
马里奥·阿尔维亚诺;拉斐尔·佩尼亚洛萨 基于可满足性模理论的模糊答案集计算。 (英语) Zbl 1379.68036号 理论实践。日志。程序。 15,编号4-5,588-603(2015).MSC公司:第68页第17页 03B52号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}和\textit{R.Peñaloza},理论与实践。日志。程序。15、编号4--5、588--603(2015;Zbl 1379.68036) 全文: DOI程序 arXiv公司
马里奥·阿尔维亚诺;尼古拉·利昂 答案集编程中GZ聚合的复杂性和编译。 (英语) Zbl 1379.68035号 理论实践。日志。程序。 15,编号4-5574-587(2015).MSC公司:第68页第17页 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}和\textit{N.Leone},理论与实践。日志。程序。15,编号4--5,574--587(2015;Zbl 1379.68035) 全文: DOI程序 arXiv公司
马里奥·阿尔维亚诺;沃尔夫冈·费伯;马丁·格布瑟 在答案集编程中重写递归聚合:回到单调性。 (英语) Zbl 1379.68034号 理论实践。日志。程序。 15,编号4-5559-573(2015).MSC公司:第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,《理论与实践》。日志。程序。15、编号4--5、559--573(2015;Zbl 1379.68034) 全文: DOI程序 arXiv公司
周能发;罗马人Barták;阿戈斯蒂诺·多维尔 规划为表格逻辑编程。 (英语) Zbl 1379.68287号 理论实践。日志。程序。 15,No.4-5,543-558(2015).MSC公司:68T20型 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{N.-F.Zhou}等人,理论与实践。日志。程序。15,编号4--5,543--558(2015;Zbl 1379.68287) 全文: DOI程序 arXiv公司
格雷姆·恒河;豪尔赫·纳瓦斯(Jorge A.Navas)。;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯图基(Peter J.Stuckey)。 Horn子句作为程序分析和转换的中间表示。 (英语) Zbl 1379.68089号 理论实践。日志。程序。 15,No.4-5,526-542(2015).MSC公司:68N20型 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{G.Gange}等人,《理论与实践》。日志。程序。15,编号4--5,526--542(2015;Zbl 1379.68089) 全文: DOI程序 arXiv公司
法律,马克;亚历山德拉·拉索;俄罗斯布罗达 学习答案集编程中的弱约束。 (英语) Zbl 1379.68073号 理论实践。日志。程序。 15,编号4-5,511-525(2015).MSC公司:第68页第17页 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Law}等人,理论与实践。日志。程序。15、编号4--5、511--525(2015;Zbl 1379.68073) 全文: DOI程序 arXiv公司
约翰·费希特。;特鲁什琴斯基,米洛斯奥;斯特凡·沃尔特兰 双正规逻辑程序——被遗忘的类。 (英语) Zbl 1379.68061号 理论实践。日志。程序。 15,No.4-5,495-510(2015).MSC公司:第68页第17页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Fichte}等人,《理论与实践》。日志。程序。15,编号4--5,495--510(2015;Zbl 1379.68061) 全文: DOI程序 arXiv公司
克雷格·布莱克摩尔;奥利弗·雷;科尔斯汀·埃德尔 一种逻辑编程方法,用于预测嵌入式软件的有效编译器设置。 (英语) Zbl 1379.68043号 理论实践。日志。程序。 15,No.4-5,481-494(2015).MSC公司:第68页第17页 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Blackmore}等人,理论与实践。日志。程序。15,编号4--5,481--494(2015;Zbl 1379.68043) 全文: DOI程序
巴特·博加特;盖伊,范登·布勒克 使用近似不动点理论进行逻辑程序的知识编译。 (英语) Zbl 1379.68045号 理论实践。日志。程序。 15,No.4-5,464-480(2015).MSC公司:第68页第17页 68N20型 68问题55 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Bogaerts}和\textit{G.Van den Broeck},理论与实践。日志。程序。15,编号4--5,464--480(2015;Zbl 1379.68045) 全文: DOI程序 arXiv公司
马丁·格布瑟;阿米莉亚·哈里森;罗兰·卡明斯基;弗拉基米尔·利夫希茨;托尔斯滕·绍布 抽象外国佬。 (英语) Zbl 1379.68031号 理论实践。日志。程序。 15,No.4-5,449-463(2015).MSC公司:68甲15 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人,《理论与实践》。日志。程序。15、编号4--5、449--463(2015;Zbl 1379.68031) 全文: DOI程序 arXiv公司
莎拉·加格尔(Sarah A.Gaggl)。;诺伯特·曼恩;亚历山德罗·隆卡;约翰·沃纳(Johannes P.Wallner)。;斯特凡·沃尔特兰 改进了用于抽象论证的答案集编程编码。 (英语) Zbl 1379.68292号 理论实践。日志。程序。 15,No.4-5,434-448(2015).MSC公司:68T27型 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Gaggl}等人,《理论与实践》。日志。程序。15,编号4--5434-448(2015年;兹bl 1379.68292) 全文: DOI程序 arXiv公司
德索特,贝诺特;马尔科·范杜伦;汤姆·施里杰弗斯 表格作为带有分隔控件的库。 (英语) Zbl 1379.68054号 理论实践。日志。程序。 15,No.4-5,419-433(2015).MSC公司:第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{B.Desouter}等人,《理论与实践》。日志。程序。15、编号4--5、419--433(2015;Zbl 1379.68054) 全文: DOI程序 arXiv公司
托马斯·艾特(编辑);弗朗西丝卡·托尼(编辑) 第31届逻辑程序设计国际会议专题介绍。 (英语) Zbl 1379.68008号 理论实践。日志。程序。 15,No.4-5,413-418(2015).MSC公司:68-06 第68页第17页 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}(编辑)和\textit{F.Toni}(主编),理论与实践。日志。程序。15、编号4--5、413--418(2015;Zbl 1379.68008) 全文: DOI程序