伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫(John P.Gallagher)。;曼努埃尔五世(Manuel V.Hermenegildo)。;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 用于程序验证的约束Horn子句的分析和转换。 (英语) Zbl 07776353号 理论与实践。日志。程序。 22,第6期,974-1042(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,理论与实践。日志。程序。22,第6号,974--1042(2022;Zbl 07776353) 全文: DOI程序 arXiv公司 OA许可证
菲利普·科纳;Michael Leuschel先生;乔昂·巴博萨;维托尔·桑托斯·科斯塔;维罗尼卡·达尔;曼努埃尔五世(Manuel V.Hermenegildo)。;何塞·莫拉莱斯(Jose F.Morales)。;Wielemaker,简;丹尼尔·迪亚兹;萨尔瓦多阿布雷乌;乔瓦尼·西亚托 五十年的序言及以后。 (英语) Zbl 07776350号 理论与实践。日志。程序。 22,第6号,776-858(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Körner}等人,《理论与实践》。日志。程序。22,编号6,776--858(2022;Zbl 07776350) 全文: DOI程序 arXiv公司 OA许可证
阿丽亚斯,华金;曼纽尔·卡罗;陈卓;戈帕尔·古普塔 使用目标定向约束答案集编程在事件演算中建模和推理。 (英语) Zbl 1530.68242号 理论与实践。日志。程序。 22,第1号,51-80(2022).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Arias}等人,《理论与实践》。日志。程序。22,编号1,51-80(2022;Zbl 1530.68242) 全文: DOI程序
凯利安·范德塞尔;乔·德弗里安特;Joost Vennekens FOLASP:\(\mathrm{FO}(\cdot)\)作为答案集求解器的输入语言。 (英语) Zbl 1530.68060号 理论与实践。日志。程序。 21,第6号,785-801(2021).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{K.Van Dessel}等人,《理论与实践》。日志。程序。21,第6号,785--801(2021;Zbl 1530.68060) 全文: DOI程序 arXiv公司
比肖克桑·卡夫;格雷姆·恒河;彼得·斯图基(Peter J.Stuckey)。;彼得·沙赫特;哈拉尔德·森德加德 支持转换的前提推理。 (英语) Zbl 1530.68065号 理论与实践。日志。程序。 21,第6号,700-716(2021).MSC公司:68号30 03B70号 68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Kafle}等人,《理论与实践》。日志。程序。21,第6号,700--716(2021;Zbl 1530.68065) 全文: DOI程序 arXiv公司
加西亚·孔特雷拉斯,伊莎贝尔;JoséF·莫拉莱斯。;曼努埃尔五世(Manuel V.Hermenegildo)。 增量和模块化上下文敏感分析。 (英语) Zbl 1472.68035号 理论与实践。日志。程序。 21,第2期,196-243(2021).MSC公司:68号30 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{I.Garcia-Contreras}等人,《理论与实践》。日志。程序。21,第2号,196--243(2021;Zbl 1472.68035) 全文: DOI程序 arXiv公司
叶卡捷琳娜·科门丹茨卡亚;德米特里·罗兹普洛哈斯;海宁·巴索尔德 新常态:我们不能消除合并结石的切口,但我们可以探索它们。 (英语) Zbl 1477.03241号 理论与实践。日志。程序。 20,第6号,990-1005(2020).MSC公司:05年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.Komendantskaya}等人,《理论与实践》。日志。程序。20,第6号,990--1005(2020;Zbl 1477.03241) 全文: DOI程序 arXiv公司
托马斯·艾特;拉斐尔·基塞尔 \(\mathrm{ASP}(\mathcal{AC})\):带代数约束的答案集编程。 (英语) Zbl 1471.68047号 理论与实践。日志。程序。 20,第6号,895-910(2020).MSC公司:68N17号 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{R.Kiesel},理论与实践。日志。程序。20,第6号,895--910(2020;Zbl 1471.68047) 全文: DOI程序 arXiv公司
皮埃尔·塔尔博特;埃里克·蒙弗罗伊;夏洛特·特拉切特 通过抽象解释进行模块化约束求解器协作。 (英语) Zbl 1468.68208号 理论与实践。日志。程序。 20,第6号,848-863(2020).MSC公司:68T20型 68N17号 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Talbot}等人,《理论与实践》。日志。程序。20,第6号,848--863(2020;Zbl 1468.68208) 全文: DOI程序 arXiv公司
弗雷德·梅斯纳德;埃蒂安·佩耶特;德国维达尔 CLP中的酒精测试。 (英语) Zbl 1468.68055号 理论与实践。日志。程序。 20,第5号,671-686(2020).MSC公司:68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Mesnard}等人,《理论与实践》。日志。程序。20,第5号,671--686(2020;Zbl 1468.68055) 全文: DOI程序 arXiv公司
安东尼乌斯·温齐尔;理查德·塔普;格哈德·弗里德里希 推进基于懒惰的ASP解决技术——重新启动、阶段保存、启发式等等。 (英语) Zbl 1468.68228号 理论与实践。日志。程序。 20,第5期,609-624(2020年).MSC公司:68立方英尺 68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Weinzierl}等人,《理论与实践》。日志。程序。20,第5号,609--624(2020;Zbl 1468.68228) 全文: DOI程序 arXiv公司
约阿奎因·阿里亚斯;曼纽尔·卡罗 表格CLP通用设计的描述、实现和评估。 (英语) Zbl 1472.68021号 理论与实践。日志。程序。 19,第3期,412-448(2019).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Arias}和\textit{M.Carro},理论实践。日志。程序。19,第3号,412--448(2019;Zbl 1472.68021) 全文: DOI程序 arXiv公司
克里斯托夫·雷德尔 在答案集程序中内联外部源。 (英语) Zbl 1472.68027号 理论与实践。日志。程序。 第3期第19页,第360-411页(2019年).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{C.Redl},理论与实践。日志。程序。19,第3号,360-411(2019;Zbl 1472.68027) 全文: DOI程序 arXiv公司
约阿奎因·阿里亚斯;曼纽尔·卡罗 使用表格CLP*评估抽象解释算法的实现。 (英语) Zbl 1434.68069号 理论与实践。日志。程序。 19,编号5-6,1107-1123(2019).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Arias}和\textit{M.Carro},理论与实践。日志。程序。19、编号5--6、1107--1123(2019;Zbl 1434.68069) 全文: DOI程序 arXiv公司
杜梅内克,杰苏斯·J·。;约翰·加拉赫(John P.Gallagher)。;萨米尔·根奈姆 通过部分评估对控制流进行细化,并将其应用于终止和成本分析。 (英语) Zbl 1434.68104号 理论与实践。日志。程序。 19,第5-6号,990-1005(2019).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Doménech}等人,《理论与实践》。日志。程序。19,编号5--6,990--1005(2019;Zbl 1434.68104) 全文: DOI程序 arXiv公司
弗朗西斯科·卡里梅里;乔瓦姆巴蒂斯塔·伊安尼;弗朗西斯科·帕琴察;西蒙娜·佩里;Jessica Zangari 带有过接地的增量答案集编程。 (英语) Zbl 1434.68555号 理论与实践。日志。程序。 19,编号5-6,957-973(2019).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Calimeri}等人,理论与实践。日志。程序。19,编号5--6,957--973(2019;Zbl 1434.68555) 全文: DOI程序 arXiv公司
贡萨古·耶尔瑙斯;温·范霍夫 约束逻辑编程中的反统一。 (英语) Zbl 1434.68076号 理论与实践。日志。程序。 19,编号5-6,773-789(2019).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{G.Yernaux}和\textit{W.Vanhoof},理论与实践。日志。程序。19,编号5--6,773--789(2019;Zbl 1434.68076) 全文: DOI程序 arXiv公司
艾尔维拉·阿尔伯特;米克尔波菲尔;克里斯蒂娜·博拉莱拉斯;恩里克·马丁·马汀;阿尔伯特·鲁比奥 由(有条件的)终止证明驱动的资源分析。 (英语) Zbl 1434.68101号 理论与实践。日志。程序。 19,编号5-6,722-739(2019).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,《理论与实践》。日志。程序。19,编号5--6722--739(2019;Zbl 1434.68101) 全文: DOI程序 arXiv公司
马里奥·阿尔维亚诺;尼古拉·利昂;维尔特里,皮尔弗兰西斯科;Jessica Zangari 通过本体论推理的应用增强魔术集。 (英语) Zbl 1434.68560号 理论与实践。日志。程序。 19,编号5-6,654-670(2019).MSC公司:68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,《理论与实践》。日志。程序。19,编号5--6,654--670(2019;Zbl 1434.68560) 全文: DOI程序 arXiv公司
米盖尔·阿雷亚斯;里卡多·罗查 隐式和显式并发表计算的表空间设计。 (英语) Zbl 1452.68035号 理论与实践。日志。程序。 18,编号5-6,950-992(2018).MSC公司:68N17号 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Areias}和\textit{R.Rocha},理论与实践。日志。程序。18、编号5--6950-992(2018;Zbl 1452.68035) 全文: DOI程序 arXiv公司
托姆·吕维思 约束处理规则中的并行性、并发性和分布:一项调查。 (英语) Zbl 1452.68042号 理论与实践。日志。程序。 18,编号5-6,759-805(2018).MSC公司:68甲19 68N17号 2010年第68季度 第68季度第42季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Frühwirth},理论与实践。日志。程序。18、编号5--6759--805(2018;Zbl 1452.68042) 全文: DOI程序 arXiv公司
比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。;格雷姆·恒河;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯图基(Peter J.Stuckey)。 使用约束Horn子句进行前提推理的迭代方法。 (英语) Zbl 1451.68075号 理论与实践。日志。程序。 18,编号3-4553-570(2018).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Kafle}等人,《理论与实践》。日志。程序。18、编号3--4、553--570(2018;Zbl 1451.68075) 全文: DOI程序 arXiv公司
弗兰蒂舍克·法尔卡;叶卡捷琳娜·科门丹茨基;凯文·哈蒙德 依赖类型推理和术语合成的相关证明Horn子句。 (英语) Zbl 1451.68323号 理论与实践。日志。程序。 18,编号3-4,484-501(2018).MSC公司:68伏15 03立方厘米35 68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{F.Farka}等人,《理论与实践》。日志。程序。18、编号3--4、484--501(2018;Zbl 1451.68323) 全文: DOI程序 arXiv公司
Kafle,比肖克桑;约翰·加拉赫(John P.Gallagher)。;皮埃尔·甘蒂 约束Horn子句验证中的树维度。 (英语) Zbl 1478.68165号 理论与实践。日志。程序。 18,第2号,224-251(2018).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Kafle}等人,《理论与实践》。日志。程序。18,第2号,224--251(2018;Zbl 1478.68165) 全文: DOI程序 arXiv公司
德国维达尔(编辑) 介绍用于验证的计算逻辑专题。 (英语) Zbl 1475.00076号 理论与实践。日志。程序。 18,第2期,122-125(2018).MSC公司:00B15号机组 68-06 03B70号 68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Vidal}(编辑),《理论与实践》。日志。程序。18,编号2,122-125(2018;Zbl 1475.00076) 全文: DOI程序
尤利亚·利勒;本杰明·苏斯曼 约束答案集规划与可满足性模理论的关系。 (英语) Zbl 1379.68285号 理论与实践。日志。程序。 2017年第4期第17页,第559-590页.MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lierler}和textit{B.Susman},理论与实践。日志。程序。17,第4号,559--590(2017;Zbl 1379.68285) 全文: DOI程序 arXiv公司
马塞洛·巴尔杜奇尼;尤利亚·利勒 约束答案集解算器{ezcsp公司}以及为什么集成模式很重要。 (英语) Zbl 1379.68038号 理论与实践。日志。程序。 17,第4期,462-515(2017).MSC公司:68N17号 68T20型 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Balduccini}和\textit{Y.Lierler},理论与实践。日志。程序。17,第4号,462--515(2017;Zbl 1379.68038) 全文: DOI程序 arXiv公司
穆苏诺里·班巴拉;本杰明·考夫曼;马克斯·奥斯特罗斯基;托尔斯滕·绍布 执着的人:下一代。 (英语) Zbl 1379.68040号 理论与实践。日志。程序。 17,第4号,408-461(2017).MSC公司:68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Banbara}等人,《理论与实践》。日志。程序。17,第4号,408--461(2017;Zbl 1379.68040) 全文: DOI程序 arXiv公司
阿戈斯蒂诺·多维尔(编辑) 前言。 (英语) Zbl 1379.68007号 理论与实践。日志。程序。 17,第4期,359-364(2017).MSC公司:68-06 68N17号 68T20型 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Dovier}(编辑),《理论与实践》。日志。程序。17,第4号,359--364(2017;Zbl 1379.68007) 全文: DOI程序
詹姆斯·切尼;阿尔贝托·莫米利亚诺 \(alpha\mathrm{Check}):机械化元理论模型检查器。 (英语) Zbl 1379.68236号 理论与实践。日志。程序。 17,第3号,311-352(2017).MSC公司:60年第68季度 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.切尼}和\textit{A.莫米利亚诺},理论与实践。日志。程序。17,No.3,311--352(2017;Zbl 1379.68236) 全文: DOI程序 arXiv公司
亚历杭德罗·塞拉诺;尤里安·黑格 带有绑定器、模式和通用量化的约束处理规则。 (英语) Zbl 1422.68030号 理论与实践。日志。程序。 17,No.5-6,992-1009(2017).MSC公司:68甲18 第68季度第42季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Serrano}和\textit{J.Hage},理论与实践。日志。程序。17,编号5--6992--1009(2017;Zbl 1422.68030) 全文: DOI程序 arXiv公司
叶卡捷琳娜·科门丹茨卡亚;李,岳 逻辑程序设计中的生产性同位语。 (英语) Zbl 1422.68025号 理论与实践。日志。程序。 17,编号5-6,906-923(2017).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.Komendantskaya}和\textit{Y.Li},理论与实践。日志。程序。17、编号5--6906--923(2017;Zbl 1422.68025) 全文: DOI程序 arXiv公司
迈克尔·弗兰克;迈克尔·科迪什 具有图形自同构的逻辑编程:与Prolog(工具描述)集成。 (英语) Zbl 1379.68063号 理论与实践。日志。程序。 16号5-6,688-702(2016).MSC公司:68N17号 05-04 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Frank}和\textit{M.Codish},理论与实践。日志。程序。16、编号5--6、688--702(2016;Zbl 1379.68063) 全文: DOI程序 arXiv公司
曼纽尔·比什勒;迈克尔·莫拉克;斯特凡·沃尔特兰 非基本规则在答案集编程中的威力。 (英语) Zbl 1379.68042号 理论与实践。日志。程序。 16,编号5-6,552-569(2016).MSC公司:68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bichler}等人,《理论与实践》。日志。程序。16、编号5--6552--569(2016;Zbl 1379.68042) 全文: DOI程序 arXiv公司
马可·卡洛蒂;塞尔吉奥·格雷科;克里斯蒂安·莫里纳罗;伊琳娜·特鲁比西纳 使用线性约束进行逻辑程序终止分析。 (英语) Zbl 1379.68050号 理论与实践。日志。程序。 16,第3期,353-377(2016).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Calautti}等人,《理论与实践》。日志。程序。16,第3号,353--377(2016;Zbl 1379.68050) 全文: DOI程序 arXiv公司
Dundua,贝西克;马里奥弗洛里多;特默尔库西亚;马林·米尔恰 CLP(\(\mathsf{H}\)):对冲的约束逻辑编程。 (英语) Zbl 1379.68057号 理论与实践。日志。程序。 16,第2期,141-162(2016).MSC公司:68N17号 68问题55 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Dundua}等人,理论与实践。日志。程序。16,第2号,141--162(2016;Zbl 1379.68057) 全文: DOI程序 arXiv公司
马可·卡洛蒂;塞尔吉奥·格雷科;弗朗西斯卡·斯佩萨诺;伊琳娜·特鲁比通娜 用函数符号检查逻辑程序自下而上评估的终止。 (英语) Zbl 1379.68051号 理论与实践。日志。程序。 15,第6号,854-889(2015).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Calautti}等人,《理论与实践》。日志。程序。15,第6号,854--889(2015;Zbl 1379.68051) 全文: DOI程序 arXiv公司
莫里斯·布吕诺格;亨德里克·布洛克;巴特·博加特;De Cat,Broes公司;斯特夫·德·普特;约阿希姆·扬森;安东尼·拉巴雷;简·拉蒙;马克·德纳克;四川省韦尔市 谓词逻辑作为建模语言:使用IDP3建模和解决一些机器学习和数据挖掘问题。 (英语) Zbl 1379.68279号 理论与实践。日志。程序。 15,第6期,783-817(2015).MSC公司:68T20型 68N17号 68T05型 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Bruynooghe}等人,《理论与实践》。日志。程序。15,第6号,783--817(2015;Zbl 1379.68279) 全文: DOI程序 arXiv公司
格雷戈里·杜克。;雷米·海默尔;马丁·苏尔兹曼 基于终止、汇合和一致CHR的类型推理。 (英语) Zbl 1309.68031号 理论与实践。日志。程序。 14,No.4-5,619-632(2014).MSC公司:68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.J.Duck}等人,《理论与实践》。日志。程序。14、编号4--5、619--632(2014;Zbl 1309.68031) 全文: DOI程序 arXiv公司
曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos);里卡多·罗查;保罗·莫拉 制表,合理的术语,和最后一起创造! (英语) Zbl 1307.68019号 理论与实践。日志。程序。 14,No.4-5,429-443(2014).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Mantadelis}等人,《理论与实践》。日志。程序。14、编号4--5、429--443(2014;Zbl 1307.68019) 全文: DOI程序 arXiv公司
阿德里安·里斯科;胡安·罗德里格斯·霍塔拉 函数逻辑编程的单数和复数函数。 (英语) Zbl 1286.68057号 理论与实践。日志。程序。 14,第1号,65-116(2014).MSC公司:68N17号 68甲18 68问题55 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Riesco}和\textit{J.Rodríguez-Hortalá},理论与实践。日志。程序。14,第1号,65--116(2014;Zbl 1286.68057) 全文: DOI程序 arXiv公司
卡巴列罗,R。;罗德里格斯-阿塔莱霍,M。;罗梅罗·迪亚斯,C.A。 CLP基于转换的实施,具有限定性和接近性。 (英语) Zbl 1295.68057号 理论与实践。日志。程序。 14,第1号,1-63(2014). 审核人:安东尼哈(普拉哈) MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.Caballero}等人,《理论与实践》。日志。程序。14,第1号,1--63(2014;Zbl 1295.68057) 全文: DOI程序 arXiv公司
穆苏诺里·班巴拉;苏,武藏;铃木田村;井上,胜美;托尔斯滕·绍布 答案集编程作为课程时间表的建模语言。 (英语) Zbl 1286.68040号 理论与实践。日志。程序。 13,No.4-5,783-798(2013).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Banbara}等人,《理论与实践》。日志。程序。13、编号4--5、783--798(2013;Zbl 1286.68040) 全文: DOI程序
De Cat,Broes公司;莫里斯·布吕诺格 检测和利用模型生成的功能依赖性。 (英语) Zbl 1286.68042号 理论与实践。日志。程序。 13,No.4-5,471-485(2013).MSC公司:68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.De Cat}和\textit{M.Bruynooghe},理论与实践。日志。程序。13、编号4--5、471--485(2013;Zbl 1286.68042) 全文: DOI程序
格雷戈里·杜克。 SMCHR:可满足性模约束处理规则。 (英语) Zbl 1260.68059号 理论与实践。日志。程序。 12,编号4-5,601-618(2012).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{G.J.Duck},理论与实践。日志。程序。12、编号4--5601-618(2012;Zbl 1260.68059) 全文: DOI程序 arXiv公司
伊斯兰教,穆罕默德·阿西富尔;罗马克里希南,C.R。;罗马克里希南,I.V。 连续随机变量概率逻辑程序中的推理。 (英语) Zbl 1260.68063号 理论与实践。日志。程序。 12,编号4-5505-523(2012).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Islam}等人,理论与实践。日志。程序。12、编号4--5、505--523(2012;Zbl 1260.68063) 全文: DOI程序 arXiv公司
迈克尔·科文顿。;罗伯特·巴格纳拉;理查德·奥基夫。;Wielemaker,简;西蒙·普莱斯 Prolog的编码指南。 (英语) Zbl 1255.68049号 理论与实践。日志。程序。 12,第6号,889-927(2012).MSC公司:68N17号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Covington}等人,《理论与实践》。日志。程序。12,第6号,889--927(2012;Zbl 1255.68049) 全文: DOI程序
艾尔维拉·阿尔伯特;普里阿雷纳斯;德国普埃布拉;曼纽尔·赫尔梅内吉尔多 抽象数组代码中的证书大小减少。 (英语) 兹比尔1247.68042 理论与实践。日志。程序。 12,第3期,283-318(2012).MSC公司:68N17号 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,《理论与实践》。日志。程序。12,第3号,283--318(2012;Zbl 1247.68042) 全文: DOI程序 arXiv公司
乔阿希姆·辛普夫;Shen,Kish(基什·申) \(\text{ECL}^{\text{i}}\text{PS}^{text{e}}\)–从LP到CLP。 (英语) Zbl 1244.68020号 理论与实践。日志。程序。 12,编号1-2,127-156(2012).MSC公司:68N17号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Schimpf}和\textit{K.Shen},理论与实践。日志。程序。12,编号1--2,127-156(2012;Zbl 1244.68020) 全文: DOI程序 arXiv公司
马西米利亚诺·卡塔菲;马尔科·加瓦内利;马达莱娜·诺纳托;斯特凡诺·阿尔维西;马可·弗朗西尼 使用CLP(FD)优化配水管网中阀门的位置。 (英语) Zbl 1222.68052号 理论与实践。日志。程序。 11,No.4-5,731-747(2011).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Cattafi}等人,《理论与实践》。日志。程序。11、编号4--5、731--747(2011;Zbl 1222.68052) 全文: DOI程序 arXiv公司
雷米·海默尔 线性逻辑并发约束语言的观测等价性。 (英语) Zbl 1222.68061号 理论与实践。日志。程序。 11,编号4-5469-485(2011).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.Haemmerlé},理论与实践。日志。程序。11、编号4--5、469--485(2011;Zbl 1222.68061) 全文: DOI程序 arXiv公司
马里奥·阿尔维亚诺;沃尔夫冈·费伯;尼古拉·利昂 具有功能的析取ASP:可判定查询和有效计算。 (英语) Zbl 1209.68086号 理论与实践。日志。程序。 10,编号4-6,497-512(2010).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,《理论与实践》。日志。程序。10,编号4--6497--512(2010;Zbl 1209.68086) 全文: DOI程序 arXiv公司
塞尔吉奥·格雷科;克里斯蒂安·莫里纳罗;伊琳娜·特鲁比西纳;埃斯特·赞帕诺 \(mathcal{NPD})atalog:一种逻辑语言,用于表示搜索和优化问题。 (英语) Zbl 1191.68150号 理论与实践。日志。程序。 10,第2期,125-166(2010).MSC公司:68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Greco}等人,《理论与实践》。日志。程序。10,编号2125-166(2010年;兹bl 1191.68150) 全文: DOI程序
乔恩·斯奈尔斯;彼得·范·威特;汤姆·施里杰弗斯;莱斯利·德科宁克 随着时间的推移:约束处理规则。 (英语) 兹比尔1186.68096 理论与实践。日志。程序。 10,第1期,1-47页(2010年).MSC公司:68甲15 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Sneyers}等人,《理论与实践》。日志。程序。10,第1号,1-47(2010;Zbl 1186.68096) 全文: DOI程序
保罗·曼卡雷拉;贾科莫·特雷尼;法里巴·萨德里;弗朗西丝卡·托尼;乌尔·恩德里斯 带约束的外推逻辑编程的CIFF证明过程:理论、实现和实验。 (英语) Zbl 1184.68161号 理论与实践。日志。程序。 9,第6号,691-750(2009).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Mancarella}等人,《理论与实践》。日志。程序。9,第6号,691--750(2009;Zbl 1184.68161) 全文: DOI程序
Estévez-Martín,S。;Hortalá-González,T。;罗德里格斯-阿塔莱霍,M。;del Vado-Vírseda,R。;Sáenz-Pérez,F。;安东尼奥·费尔南德斯。 关于CFLP中约束域(mathcal H,mathcal R)和(mathcal{FD})的合作。 (英语) Zbl 1177.68040号 理论与实践。日志。程序。 9,第4期,415-527(2009年).MSC公司:68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Estévez-Martín}等人,《理论与实践》。日志。程序。9,第4号,415--527(2009;Zbl 1177.68040) 全文: DOI程序
吉安卢卡·阿马托;弗朗西丝卡·斯科扎里 共享目标相关分析中的最优性。 (英语) Zbl 1181.68095号 理论与实践。日志。程序。 9,第5期,617-689(2009).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{G.Amato和\textit{F.Scozzari},理论与实践。日志。程序。9,第5号,617--689(2009;Zbl 1181.68095) 全文: DOI程序
莱斯利·德科宁克 逻辑算法满足CHR:具有规则优先级的约束处理规则的元复杂性结果。 (英语) Zbl 1166.68312号 理论与实践。日志。程序。 9,第2期,165-212(2009).MSC公司:68N17号 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{L.de Koninck},理论与实践。日志。程序。9,第2号,165--212(2009;Zbl 1166.68312) 全文: DOI程序
埃蒂安·佩耶特;弗雷德·梅斯纳德 二进制约束逻辑程序的非终止准则。 (英语) Zbl 1166.68008号 理论与实践。日志。程序。 9,第2期,145-164(2009).MSC公司:68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{埃里·佩耶特}和\textit{F.Mesnard},理论与实践。日志。程序。9,第2号,145--164(2009;Zbl 1166.68008) 全文: DOI程序
汤姆·施里杰弗斯;巴特·德梅恩;大卫·S·沃伦。 TCHR:表格CLP的框架。 (英语) Zbl 1148.68013号 理论与实践。日志。程序。 8,第4期,491-526(2008).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Schrijvers}等人,《理论与实践》。日志。程序。8,第4号,491--526(2008;Zbl 1148.68013) 全文: DOI程序
弗雷德·梅斯纳德;亚历山大·谢列布雷尼克 仿射级映射的递归对于\(\mathrm{CLP}({\mathbbR})\)是P-time可判定的。 (英语) Zbl 1128.68017号 理论与实践。日志。程序。 8,第1期,111-119(2008).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Mesnard}和\textit{A.Serebrenik},理论与实践。日志。程序。8,编号1,111--119(2008;Zbl 1128.68017) 全文: DOI程序