伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫(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) 全文: 内政部 arXiv公司 OA许可证
洛丽斯·波萨托;托马斯·艾特;卢西亚诺·塞拉菲尼 在\(\mathit{DL}\)-\(\mathit上进行推理{精简}_{\mathcal{R}}\)在ASP中具有可解除性。 (英语) 兹比尔07776342 理论与实践。日志。程序。 22,第2期,254-304(2022年).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzato}等人,《理论与实践》。日志。程序。22,编号2254-304(2022;兹bl 07776342) 全文: 内政部 arXiv公司
弗朗西斯科·卡利默里;弗朗西斯科·考特鲁西奥;卢卡·西内利;阿尔多·马尔祖洛;克洛迪奥,坚韧;乔治·特拉西纳;法国杜兰杜比夫;多米尼克·萨佩·马里尼尔 一种基于逻辑的框架,利用神经网络研究神经疾病的演变。 (英语) Zbl 1472.68187号 理论与实践。日志。程序。 21,第1号,80-124(2021).MSC公司:68T27型 68N17号 92-08 92-10 92B20型 92C20美元 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{F.Calimeri}等人,理论与实践。日志。程序。21,第1号,80-124(2021;Zbl 1472.68187) 全文: 内政部 arXiv公司
乔里·博曼森;Tomi Janhunen 使用加权比较器网络提升答案集优化。 (英语) Zbl 1472.68023号 理论与实践。日志。程序。 20,第4期,512-551(2020).MSC公司:68N17号 2012年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Bomanson}和\textit{T.Janhunen},理论与实践。日志。程序。20,第4号,512--551(2020;Zbl 1472.68023) 全文: 内政部 arXiv公司
卡明·多达罗;弗朗西斯科·里卡 用于扩展WASP的外部接口。 (英语) Zbl 1472.68183号 理论与实践。日志。程序。 20,第2期,225-248(2020年).MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{C.Dodaro}和\textit{F.Ricca},理论与实践。日志。程序。20,第2号,225--248(2020;Zbl 1472.68183) 全文: 内政部 arXiv公司
乔瓦尼·阿蒙多拉;卡明·多达罗;马可·马拉提亚 用于计算ASP程序的谨慎后果的抽象解算器。 (英语) Zbl 1434.68066号 理论与实践。日志。程序。 19,编号5-6,740-756(2019).MSC公司:68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Amendola}等人,《理论与实践》。日志。程序。19,编号5--6,740--756(2019;Zbl 1434.68066) 全文: 内政部 arXiv公司
马丁·格布瑟;罗兰·卡明斯基;本杰明·考夫曼;托尔斯滕·绍布 使用clipeo进行多快照ASP求解。 (英语) Zbl 1486.68027号 理论与实践。日志。程序。 19,第1号,27-82(2019).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人,《理论与实践》。日志。程序。19,第1号,27--82(2019;Zbl 1486.68027) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺;卡明·多达罗;马可·马拉提亚 答案集编程中的共享聚合集。 (英语) 兹比尔1451.68062 理论与实践。日志。程序。 18,编号3-4,301-318(2018).MSC公司:68N17号 68第05页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,《理论与实践》。日志。程序。18、编号3--4、301-318(2018;Zbl 1451.68062) 全文: 内政部 arXiv公司
Johannes Oetsch;约格·普勒;汉斯·托姆皮茨 逐步调试应答程序。 (英语) Zbl 1425.68053号 理论与实践。日志。程序。 18,第1期,30-80(2018).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Oetsch}等人,《理论与实践》。日志。程序。18,编号1,30--80(2018;Zbl 1425.68053) 全文: 内政部 arXiv公司
安德鲁·雷诺兹;塞萨尔·蒂内利;克拉克·巴雷特 SMT求解器中有限模型查找的约束求解。 (英语) Zbl 1379.68286号 理论与实践。日志。程序。 17,第4期,516-558(2017).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人,《理论与实践》。日志。程序。17,No.4,516--558(2017;Zbl 1379.68286) 全文: 内政部 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) 全文: 内政部 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) 全文: 内政部
季建民;刘芳芳;你,嘉慧 资金雄厚的操作员,用于普通混合MKNF知识库。 (英语) Zbl 1422.68220号 理论与实践。日志。程序。 17,编号5-6,889-905(2017).MSC公司:68立方英尺 68T27型 68层35 PDF格式BibTeX公司 XML格式引用 \textit{J.Ji}等人,《理论与实践》。日志。程序。17、编号5--6889--905(2017;Zbl 1422.68220) 全文: 内政部 arXiv公司
雷米·布罗奇宁;马可·马拉提亚;尤利亚·利勒 通过模板的析取答案集求解器。 (英语) Zbl 1379.68046号 理论与实践。日志。程序。 16,第4期,465-497(2016).MSC公司:68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Brochenin}等人,《理论与实践》。日志。程序。16,第4号,465--497(2016;Zbl 1379.68046) 全文: 内政部 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) 全文: 内政部 arXiv公司
你,嘉慧;张恒;张燕 在规则头中具有存在量化的析取逻辑程序。 (英语) Zbl 1314.68100号 理论与实践。日志。程序。 13,编号4-5563-578(2013).MSC公司:68N17号 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.-H.You}等人,理论与实践。日志。程序。13,编号4--5663-578(2013年;兹bl 1314.68100) 全文: 内政部
De Cat,Broes公司;莫里斯·布吕诺格 检测和利用模型生成的功能依赖性。 (英语) Zbl 1286.68042号 理论与实践。日志。程序。 13,编号4-5471-485(2013).MSC公司:68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.De Cat}和\textit{M.Bruynooghe},理论与实践。日志。程序。13、编号4--5、471--485(2013;Zbl 1286.68042) 全文: 内政部
格雷戈里·杜克。 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) 全文: 内政部 arXiv公司
马克斯·奥斯特罗斯基;托尔斯滕·绍布 ASP模块CSP:紧贴系统。 (英语) Zbl 1260.68066号 理论与实践。日志。程序。 12,编号4-5,485-503(2012).MSC公司:68N17号 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Ostrowski}和\textit{T.Schaub},理论与实践。日志。程序。12、编号4--5、485--503(2012;Zbl 1260.68066) 全文: 内政部 arXiv公司
尤利娅·利勒;米罗斯瓦·特鲁什琴斯基 模型生成器的转换系统–统一方法。 (英语) Zbl 1222.68063号 理论与实践。日志。程序。 11,No.4-5,629-646(2011).MSC公司:68N17号 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lierler}和\textit{M.Truszczynski},理论与实践。日志。程序。11、编号4--5、629--646(2011;Zbl 1222.68063) 全文: 内政部
克里斯蒂安·德雷舍尔;托比·沃尔什 一种求解约束答案集的平移方法。 (英语) Zbl 1209.68511号 理论与实践。日志。程序。 10,编号4-6,465-480(2010).MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{C.Drescher}和\textit{T.Walsh},理论与实践。日志。程序。10,编号4--6,465--480(2010;Zbl 1209.68511) 全文: 内政部 arXiv公司