伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫(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许可证
戴尔·米勒 逻辑编程的证明理论基础综述。 (英语) 兹伯利07776351 理论与实践。日志。程序。 22,第6号,859-904(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.Miller},理论与实践。日志。程序。22,第6号,859--904(2022;Zbl 07776351) 全文: 内政部 arXiv公司
菲利普·科纳;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) 全文: 内政部 arXiv公司 OA许可证
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;朱莉娅·萨皮娜;黛米斯·巴利斯 重写逻辑理论的符号专门化急板地. (英语) Zbl 1530.68130号 理论与实践。日志。程序。 22,第3期,444-495(2022年).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,《理论与实践》。日志。程序。22,编号3,444-495(2022;兹bl 1530.68130) 全文: 内政部 arXiv公司
洛丽斯·波萨托;托马斯·艾特;卢西亚诺·塞拉菲尼 在\(\mathit{DL}\)-\(\mathit上进行推理{精简}_{\mathcal{R}}\)在ASP中具有可解除性。 (英语) Zbl 1530.68244号 理论与实践。日志。程序。 22,第2期,254-304(2022年).MSC公司:第68页第27页 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzato}等人,《理论与实践》。日志。程序。22,编号2254-304(2022;兹bl 1530.68244) 全文: 内政部 arXiv公司
约翰·费希特。;马库斯·赫彻;帕特里克·蒂尔;斯特凡·沃尔特兰 利用数据库管理系统和树宽度进行计数。 (英语) Zbl 1530.68067号 理论与实践。日志。程序。 22,第1期,128-157(2022年).MSC公司:第68页,共15页 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Fichte}等人,《理论与实践》。日志。程序。22,编号1,128-157(2022;兹bl 1530.68067) 全文: 内政部 arXiv公司
劳拉·佐丹奴;塞塞迪尔·杜普雷,丹尼尔 一种ASP方法,用于加权条件知识库的有限多值语义下的神经网络推理。 (英语) Zbl 07595327号 理论与实践。日志。程序。 22,第4号,589-605(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}和\textit{D.Theseider Dupré},理论与实践。日志。程序。22,第4号,589--605(2022;Zbl 07595327) 全文: 内政部 arXiv公司
伦纳德·博塔;托马斯·梅耶;拉斐尔·佩尼亚洛萨 概率描述逻辑(mathcal{BALC})。 (英语) Zbl 1529.68285号 理论与实践。日志。程序。 21,第4号,404-427(2021).MSC公司:第68页第27页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Botha}等人,《理论与实践》。日志。程序。21,第4号,404--427(2021;Zbl 1529.68285) 全文: 内政部 arXiv公司
达米亚诺·阿佐利尼;法布里西奥·里古齐 概率逻辑程序中的优化概率。 (英语) Zbl 1522.68097号 理论与实践。日志。程序。 21,第5号,543-556(2021).MSC公司:68N17号 68层37 90立方厘米 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{D.Azzolini}和\textit{F.Riguzzi},理论与实践。日志。程序。21,第5号,543--556(2021;Zbl 1522.68097) 全文: 内政部 arXiv公司
佩德罗·卡巴拉;豪尔赫·范丁诺;路易斯·法利尼亚斯·德尔·塞罗 分裂认知逻辑程序。 (英语) Zbl 1522.68104号 理论与实践。日志。程序。 21,第3期,296-316(2021).MSC公司:68N17号 03B42号 第68页第27页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,《理论与实践》。日志。程序。21,第3号,296-316(2021;兹bl 1522.68104) 全文: 内政部 arXiv公司
乔里·博曼森;汤米·詹胡宁 使用加权比较网络促进答案集优化。 (英语) 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公司
格哈德·布鲁卡;马丁·迪勒;格奥尔格·海森伯格;托马斯·林斯比勒;斯特凡·沃尔特兰 用答案集编程解决高级论证问题。 (英语) Zbl 1472.68186号 理论与实践。日志。程序。 20,第3号,391-431(2020).MSC公司:第68页第27页 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.Brewka}等人,《理论与实践》。日志。程序。20,第3号,391--431(2020;Zbl 1472.68186) 全文: 内政部 arXiv公司
艾尔维拉·阿尔伯特;萨米尔·根奈姆;劳尔·古铁雷斯;马丁·马丁,恩里克 利用类型规范推理进行资源分析的转换方法。 (英语) Zbl 1472.68033号 理论与实践。日志。程序。 20,第3号,310-357(2020).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,《理论与实践》。日志。程序。20,第3号,310-357(2020;Zbl 1472.68033) 全文: 内政部
弗朗西斯科·卡利默里;卡明·多达罗;戴维·福斯卡;西蒙娜·佩里;Jessica Zangari 技术说明。有效地将(mathscr{I})-DLV接地器与ASP解算器耦合。 (英语) Zbl 1472.68179号 理论与实践。日志。程序。 20,第2期,205-224(2020).MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Calimeri}等人,《理论与实践》。日志。程序。20,第2号,205-224(2020;Zbl 1472.68179) 全文: 内政部 arXiv公司
马丁·格布瑟;马可·马拉提亚;弗朗西斯科·里卡 第七届答案集编程竞赛:设计与结果。 (英语) Zbl 1472.68026号 理论与实践。日志。程序。 20,第2期,176-204(2020).MSC公司:68N17号 第68页第27页 68立方英尺 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人,《理论与实践》。日志。程序。20,第2号,176--204(2020;Zbl 1472.68026) 全文: 内政部 arXiv公司
佩德罗·卡巴拉;豪尔赫·范丁诺;哈维尔·加里亚;哈维尔·罗梅罗;托尔斯滕·绍布 埃林戈:认知逻辑程序的求解器。 (英语) Zbl 1468.68053号 理论与实践。日志。程序。 20,第6号,834-847(2020).MSC公司:68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,《理论与实践》。日志。程序。20,第6号,834--847(2020;Zbl 1468.68053) 全文: 内政部 arXiv公司
佩德罗·卡巴拉;马丁·迪盖兹;托尔斯滕·绍布;安娜·舒曼 面向度量时态答案集编程。 (英语) Zbl 1468.68052号 理论与实践。日志。程序。 20,第5期,783-798(2020).MSC公司:68N17号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,《理论与实践》。日志。程序。20,编号5,783-798(2020;兹bl 1468.68052) 全文: 内政部 arXiv公司
埃琳娜·贝洛迪;马尔科·阿尔贝蒂;法布里西奥·里古齐;里卡多·泽斯 概率逻辑编程的MAP推理。 (英语) Zbl 1468.68051号 理论与实践。日志。程序。 20,第5期,641-655(2020年).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.Bellodi}等人,《理论与实践》。日志。程序。20,第5号,641--655(2020;Zbl 1468.68051) 全文: 内政部 arXiv公司
奥斯卡·马汀;阿尔贝托·维尔德乔;马丁·奥列特,纳西索 重写逻辑中的组合规范。 (英语) Zbl 1434.68301号 理论与实践。日志。程序。 20,第1期,44-98(2020年).MSC公司:60年第68季度 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{奥斯·马丁}等人,《理论与实践》。日志。程序。20,第1号,44--98(2020;Zbl 1434.68301) 全文: 内政部 arXiv公司
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;朱莉娅·萨皮纳;黛米斯·巴利斯 与纳瓦尔对莫德理论的符号分析。 (英语) Zbl 1434.68214号 理论与实践。日志。程序。 19,编号5-6,874-890(2019).MSC公司:2012年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,《理论与实践》。日志。程序。19,编号5-6-874-890(2019;兹bl 1434.68214) 全文: 内政部 arXiv公司
弗里克斯,Clémence;托尔斯滕·绍布;塞巴斯蒂安·谢尔霍恩;安妮·西格尔;菲利普·旺科 混合代谢网络完成。 (英语) Zbl 1486.92062号 理论与实践。日志。程序。 19,第1期,第83-108页(2019年).MSC公司:92C40型 92立方厘米 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Frioux}等人,理论与实践。日志。程序。19,第1号,83-108(2019年;兹bl 1486.92062) 全文: 内政部
马丁·格布瑟;罗兰·卡明斯基;本杰明·考夫曼;托尔斯滕·绍布 使用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公司
罗伯塔·卡莱加里;恩里科,丹蒂;玛丽亚尼,斯特凡诺;安德里亚·奥米奇尼 作为服务的逻辑编程。 (英语) Zbl 1452.68036号 理论与实践。日志。程序。 18,编号5-6,846-873(2018).MSC公司:68N17号 68米14 PDF格式BibTeX公司 XML格式引用 \textit{R.Calegari}等人,《理论与实践》。日志。程序。18、编号5--6、846--873(2018;Zbl 1452.68036) 全文: 内政部 arXiv公司
伊恩·詹特(Ian P.Gent)。;伊恩·米格尔;彼得·南丁格尔;Ciaran McCreesh;帕特里克·普洛瑟;尼尔·C·A·摩尔。;不值得,克里斯 并行约束求解的文献综述。 (英语) Zbl 1452.68177号 理论与实践。日志。程序。 18,编号5-6,725-758(2018).MSC公司:68T20型 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{I.P.Gent}等人,《理论与实践》。日志。程序。18、编号5--6725--758(2018;Zbl 1452.68177) 全文: 内政部 arXiv公司
大卫·沃伦。 自上而下和自下而上的评估程序整合。 (英语) 兹比尔1452.68040 理论与实践。日志。程序。 18,编号3-4,706-721(2018).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Warren},理论与实践。日志。程序。18、编号3--4、706--721(2018;Zbl 1452.68040) 全文: 内政部 arXiv公司
比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。;格雷姆·恒河;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯图基(Peter J.Stuckey)。 使用约束Horn子句进行前提推理的迭代方法。 (英语) 兹比尔1451.68075 理论与实践。日志。程序。 18,编号3-4,553-570(2018).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Kafle}等人,《理论与实践》。日志。程序。18、编号3--4、553--570(2018;Zbl 1451.68075) 全文: 内政部 arXiv公司
弗兰蒂舍克·法尔卡;叶卡捷琳娜·科门丹茨基;凯文·哈蒙德 依赖类型推理和术语合成的证明相关Horn子句。 (英语) Zbl 1451.68323号 理论与实践。日志。程序。 18,编号3-4,484-501(2018).MSC公司:68伏15 03B35型 68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{F.Farka}等人,《理论与实践》。日志。程序。18、编号3--4、484--501(2018;Zbl 1451.68323) 全文: 内政部 arXiv公司
马克·达勒姆;阿诺普·巴贾纳什;克劳斯·施耐德 ASP对带有缓冲处理单元的公开数据路径体系结构进行优化调度。 (英语) Zbl 1451.68029号 理论与实践。日志。程序。 18,编号3-4,438-451(2018).MSC公司:2007年7月68日 68平方米 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Dahlem}等人,《理论与实践》。日志。程序。18、编号3--4、438--451(2018;Zbl 1451.68029) 全文: 内政部 arXiv公司
佩德罗·卡巴拉;罗兰·卡明斯基;托尔斯滕·绍布;安娜·舒曼 有限迹上的时态答案集编程。 (英语) Zbl 1451.68256号 理论与实践。日志。程序。 18,编号3-4,406-420(2018).MSC公司:第68页第27页 03B44号 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,《理论与实践》。日志。程序。18、编号3--4、406--420(2018;Zbl 1451.68256) 全文: 内政部 arXiv公司
佩德罗·卡巴拉;豪尔赫·范丁诺;路易斯·法利尼亚斯·德尔·塞罗;大卫·皮尔斯 具有内涵集的功能性ASP:应用于Gelfond-Zhang骨料。 (英语) 兹比尔1451.68255 理论与实践。日志。程序。 18,编号3-4,390-405(2018).MSC公司:第68页第27页 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,《理论与实践》。日志。程序。18、编号3--4、390--405(2018;Zbl 1451.68255) 全文: 内政部 arXiv公司
罗伯托·阿马迪尼;毛里齐奥·加布里埃利;雅各布·毛罗 SUNNY-CP和MiniZin挑战。 (英语) Zbl 1425.68384号 理论与实践。日志。程序。 18,第1期,81-96(2018).MSC公司:68T20型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{R.Amadini}等人,《理论与实践》。日志。程序。18,第1号,81--96(2018;Zbl 1425.68384) 全文: 内政部 arXiv公司
德拉本特,Włodzimierz 逻辑+控制:关于程序构建和验证。 (英语) Zbl 1425.68051号 理论与实践。日志。程序。 18,第1号,1-29(2018).MSC公司:68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Drabent},理论与实践。日志。程序。18,编号1,1--29(2018;Zbl 1425.68051) 全文: 内政部 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公司
穆苏诺里·班巴拉;本杰明·考夫曼;马克斯·奥斯特罗斯基;托尔斯滕·绍布 粘人的:下一代。 (英语) Zbl 1379.68040号 理论与实践。日志。程序。 17,编号408-461(2017).MSC公司:68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Banbara}等人,《理论与实践》。日志。程序。17,第4号,408--461(2017;Zbl 1379.68040) 全文: 内政部 arXiv公司
詹姆斯·切尼;阿尔贝托·莫米利亚诺 \(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) 全文: 内政部 arXiv公司
克莱尔·莱夫雷;克里斯托弗·贝亚特里克斯;伊戈尔·斯特芬;劳伦特·加西亚 {ASPeRiX公司},一种用于答案集计算的一阶前向链接方法。 (英语) Zbl 1379.68075号 理论与实践。日志。程序。 17,第3号,266-310(2017).MSC公司:68N17号 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Lefèvre}等人,《理论与实践》。日志。程序。17,第3号,266--310(2017;Zbl 1379.68075) 全文: 内政部 arXiv公司
费利西达德·阿瓜多;佩德罗·卡巴拉;吉尔伯托·佩雷斯;康塞普西翁·维达尔;马丁·迪盖兹 带有变量的时态逻辑程序。 (英语) Zbl 1379.68288号 理论与实践。日志。程序。 17,第2期,226-243(2017).MSC公司:第68页第27页 03B44号 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Aguado}等人,理论与实践。日志。程序。17,No.2,226--243(2017;Zbl 1379.68288) 全文: 内政部 arXiv公司
利奥波多·贝托西;洛雷托·布拉沃 对等数据交换系统中的一致性和信任。 (英语) Zbl 1379.68021号 理论与实践。日志。程序。 17,第2期,148-204(2017).MSC公司:68米14 68N17号 第68页,共15页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Bertossi}和\textit{L.Bravo},理论与实践。日志。程序。17,第2号,148--204(2017;Zbl 1379.68021) 全文: 内政部
塞尔吉奥·安托伊;迈克尔·哈纳斯 Curry的默认规则。 (英语) Zbl 1379.68037号 理论与实践。日志。程序。 17,第2期,121-147(2017).MSC公司:68N17号 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Antoy}和\textit{M.Hanus},理论与实践。日志。程序。17,编号2121-147(2017;兹bl 1379.68037) 全文: 内政部 arXiv公司
毛里西奥索里奥;胡安·卡洛斯·尼维斯 作为二值模型的基于范围的论证语义。 (英语) Zbl 1379.68299号 理论与实践。日志。程序。 17,第1号,75-90(2017).MSC公司:第68页第27页 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Osorio}和\textit{J.C.Nieves},理论与实践。日志。程序。17,第1号,75-90(2017;Zbl 1379.68299) 全文: 内政部 arXiv公司
鲁本·韦博格;Dörthe Arndt;索菲·范·霍克;乔斯·德鲁;乔瓦尼·梅尔斯;托马斯·施泰纳;约阿金·加巴罗 实用性证明:超媒体API的组成和执行。 (英语) Zbl 1379.68018号 理论与实践。日志。程序。 17,第1号,1-48(2017).MSC公司:68英里11 PDF格式BibTeX公司 XML格式引用 \textit{R.Verborgh}等人,《理论与实践》。日志。程序。17,第1号,1--48(2017;Zbl 1379.68018) 全文: 内政部 arXiv公司
亚历杭德罗·塞拉诺;尤里安·黑格 带有绑定器、模式和通用量化的约束处理规则。 (英语) Zbl 1422.68030号 理论与实践。日志。程序。 17,No.5-6,992-1009(2017).MSC公司:68甲18 2012年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Serrano}和\textit{J.Hage},理论实践。日志。程序。17,编号5--6992--1009(2017;Zbl 1422.68030) 全文: 内政部 arXiv公司
Lee,Joohyng先生;尼基尔·罗尼;孟云松 用动作语言模理论表示混合自动机。 (英语) Zbl 1422.68154号 理论与实践。日志。程序。 17,编号5-6,924-941(2017).MSC公司:65年第68季度 68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Lee}等人,《理论与实践》。日志。程序。17,编号5--6924--941(2017;Zbl 1422.68154) 全文: 内政部 arXiv公司
阿米莉亚·哈里森;弗拉基米尔·利夫希茨;Dhanajay Raju 用GRINGO的输入语言完成课程。 (英语) Zbl 1422.68023号 理论与实践。日志。程序。 17,编号5-6,855-871(2017).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Harrison}等人,《理论与实践》。日志。程序。17、编号5--6、855--871(2017;Zbl 1422.68023) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺 通过不可满足核分析在命题限定中进行模型枚举。 (英语) 兹比尔1422.68217 理论与实践。日志。程序。 17,编号5-6,708-725(2017).MSC公司:第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano},理论与实践。日志。程序。17、编号5--6、708--725(2017;Zbl 1422.68217) 全文: 内政部 arXiv公司
阿米莉亚·哈里森;弗拉基米尔·利夫希茨;朱利安·迈克尔 证明无限公式。 (英语) Zbl 1379.68069号 理论与实践。日志。程序。 16,编号5-6,787-799(2016).MSC公司:68N17号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Harrison}等人,《理论与实践》。日志。程序。16、编号5--6787--799(2016;Zbl 1379.68069) 全文: 内政部 arXiv公司
阿米莉亚·哈里森;弗拉基米尔·利夫希茨 具有伸展原子的无限公式的稳定模型。 (英语) Zbl 1379.68068号 理论与实践。日志。程序。 16,编号5-6,771-786(2016).MSC公司:68N17号 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Harrison}和\textit{V.Lifschitz},理论与实践。日志。程序。16、编号5--6771--786(2016;Zbl 1379.68068) 全文: 内政部 arXiv公司
卡明·多达罗;菲利普·加斯泰格;尼古拉·利昂;本杰明·穆西奇;弗朗西斯科·里卡;克斯特安提恩·什切科提金 结合答案集编程和领域启发法解决工业难题(应用论文)。 (英语) Zbl 1379.68281号 理论与实践。日志。程序。 16,第5-6号,653-669(2016).MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{C.Dodaro}等人,《理论与实践》。日志。程序。16、编号5--6653--669(2016;Zbl 1379.68281) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺;卡明·多达罗 通过不可满足的核收缩实现任意时间的答案集优化。 (英语) Zbl 1379.68033号 理论与实践。日志。程序。 16,第5-6号,533-551(2016).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}和\textit{C.Dodaro},理论与实践。日志。程序。16、编号5--6533--551(2016;Zbl 1379.68033) 全文: 内政部 arXiv公司
Alpunte,M。;弗雷奇纳,F。;萨皮尼亚,J。;D.巴利斯。 通过使用\(\mathsf{ABETS}\)切片进行基于断言的分析(系统描述)。 (英语) Zbl 1379.68088号 理论与实践。日志。程序。 16,编号5-6,515-532(2016).MSC公司:68N20型 68N17号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,《理论与实践》。日志。程序。16、编号5--6、515--532(2016;Zbl 1379.68088) 全文: 内政部 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公司
汤姆·J·阿梅罗特。;Van den Bussche,简;威廉·R·马尔扎克。;彼得·阿尔瓦罗;约瑟夫·海勒斯坦(Joseph M.Hellerstein)。 将基于逻辑的分布式系统置于稳定的基础上。 (英语) Zbl 1379.68124号 理论与实践。日志。程序。 16,第4期,378-417(2016).MSC公司:2010年第68季度 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.J.Ameroot}等人,《理论与实践》。日志。程序。16,第4号,378--417(2016;Zbl 1379.68124) 全文: 内政部 arXiv公司
西奥多·帕特科斯;普列克索萨基斯,迪米特里斯;Abdelghani奇巴尼;亚西内·阿米拉特 一个用于动态和不确定领域推理的事件演算产生式规则系统。 (英语) Zbl 1379.68300号 理论与实践。日志。程序。 16,第3期,325-352(2016).MSC公司:第68页第27页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Patkos}等人,《理论与实践》。日志。程序。16,第3号,325--352(2016;Zbl 1379.68300) 全文: 内政部 arXiv公司
圭多州长;弗朗西斯科·奥利维埃里;西蒙·斯坎纳皮科;安东尼诺·罗托洛;克里斯塔尼·马特奥 目标概念背后的基本原理。 (英语) Zbl 1379.68295号 理论与实践。日志。程序。 16,第3期,296-324(2016).MSC公司:第68页第27页 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{G.Governatori}等人,《理论与实践》。日志。程序。16,第3号,296--324(2016;Zbl 1379.68295) 全文: 内政部 arXiv公司
罗伯特·科瓦尔斯基;法里巴·萨德里 没有逻辑编程的逻辑编程。 (英语) Zbl 1379.68095号 理论与实践。日志。程序。 16,第3期,269-295(2016).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Kowalski}和\textit{F.Sadri},理论与实践。日志。程序。16,第3号,269--295(2016;Zbl 1379.68095) 全文: 内政部 arXiv公司
达尼埃拉·因利赞;迈克尔·盖尔芬德 模块化动作语言\(\mathcal{ALM}\)。 (英语) Zbl 1379.68297号 理论与实践。日志。程序。 16,第2期,189-235(2016).MSC公司:第68页第27页 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Inclezan}和\textit{M.Gelfond},理论与实践。日志。程序。16,第2号,189--235(2016;Zbl 1379.68297) 全文: 内政部 arXiv公司
Besik 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) 全文: 内政部 arXiv公司
克劳迪娅·舒尔茨;弗朗西丝卡·托尼 使用论证证明答案集的合理性。 (英语) Zbl 1379.68301号 理论与实践。日志。程序。 16,第1期,59-110(2016).MSC公司:第68页第27页 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Schulz}和\textit{F.Toni},理论与实践。日志。程序。16,第1号,59-110(2016;Zbl 1379.68301) 全文: 内政部 arXiv公司
JoséF·莫拉莱斯。;曼纽尔·卡罗;曼纽尔·赫尔梅内吉尔多 用Prolog方言描述和优化抽象机器。 (英语) Zbl 1379.68079号 理论与实践。日志。程序。 16,第1期,1-58页(2016年).MSC公司:68N17号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Morales}等人,《理论与实践》。日志。程序。16,第1号,1-58(2016;Zbl 1379.68079) 全文: 内政部 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) 全文: 内政部 arXiv公司
莫里斯·布鲁诺;亨德里克·布洛克;巴特·博加特;De Cat,Broes公司;斯特夫·德·普特;约阿希姆·扬森;安东尼·拉巴尔;简·拉蒙;马克·德内克;四川省韦尔市 谓词逻辑作为建模语言:使用IDP3建模和解决一些机器学习和数据挖掘问题。 (英语) Zbl 1379.68279号 理论与实践。日志。程序。 15,第6期,783-817(2015).MSC公司:68T20型 68N17号 68T05型 第68页第27页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Bruynooghe}等人,《理论与实践》。日志。程序。15,第6号,783--817(2015;Zbl 1379.68279) 全文: 内政部 arXiv公司
斯特凡诺·比斯塔雷利;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西斯科·桑蒂尼 定时软并发约束程序:一种交错并行方法。 (英语) Zbl 1379.68087号 理论与实践。日志。程序。 15,第6期,743-782(2015).MSC公司:68甲19 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bistarelli}等人,《理论与实践》。日志。程序。15,第6号,743--782(2015;Zbl 1379.68087) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺;沃尔夫冈·费伯;马丁·格布瑟 在答案集编程中重写递归聚合:回到单调性。 (英语) 兹比尔1379.68034 理论与实践。日志。程序。 15,No.4-5,559-573(2015).MSC公司:第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,《理论与实践》。日志。程序。15、编号4--5、559--573(2015;Zbl 1379.68034) 全文: 内政部 arXiv公司
格雷姆·恒河;豪尔赫·纳瓦斯(Jorge A.Navas)。;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯图基(Peter J.Stuckey)。 Horn子句作为程序分析和转换的中间表示。 (英语) Zbl 1379.68089号 理论与实践。日志。程序。 15,No.4-5,526-542(2015).MSC公司:68N20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{G.Gange}等人,《理论与实践》。日志。程序。15,编号4--5,526--542(2015;Zbl 1379.68089) 全文: 内政部 arXiv公司
法律,马克;亚历山德拉·拉索;俄罗斯布罗达 学习答案集编程中的弱约束。 (英语) Zbl 1379.68073号 理论与实践。日志。程序。 15,编号4-5,511-525(2015).MSC公司:68N17号 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Law}等人,理论与实践。日志。程序。15、编号4--5、511--525(2015;Zbl 1379.68073) 全文: 内政部 arXiv公司
约翰·费希特。;特鲁什琴斯基,米洛斯奥;斯特凡·沃尔特兰 双正规逻辑程序——被遗忘的类。 (英语) Zbl 1379.68061号 理论与实践。日志。程序。 15,编号4-5495-510(2015).MSC公司:68N17号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Fichte}等人,《理论与实践》。日志。程序。15,编号4--5,495--510(2015;Zbl 1379.68061) 全文: 内政部 arXiv公司
马丁·格布瑟;阿米莉亚·哈里森;罗兰·卡明斯基;弗拉基米尔·利夫希茨;托尔斯滕·绍布 抽象外国佬。 (英语) Zbl 1379.68031号 理论与实践。日志。程序。 15,No.4-5,449-463(2015).MSC公司:68甲15 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人,《理论与实践》。日志。程序。15、编号4--5、449--463(2015;Zbl 1379.68031) 全文: 内政部 arXiv公司
莎拉·加格尔(Sarah A.Gaggl)。;诺伯特·曼恩;亚历山德罗·隆卡;约翰·沃纳(Johannes P.Wallner)。;斯特凡·沃尔特兰 改进了用于抽象论证的答案集编程编码。 (英语) 兹比尔1379.68292 理论与实践。日志。程序。 15,编号4-5434-448(2015).MSC公司:第68页第27页 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Gaggl}等人,《理论与实践》。日志。程序。15,编号4--5,434--448(2015;Zbl 1379.68292) 全文: 内政部 arXiv公司
德索特,贝诺特;马克·范·杜伦;汤姆·施里杰弗斯 表格作为带有分隔控件的库。 (英语) Zbl 1379.68054号 理论与实践。日志。程序。 15,No.4-5,419-433(2015).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{B.Desouter}等人,《理论与实践》。日志。程序。15、编号4--5、419--433(2015;Zbl 1379.68054) 全文: 内政部 arXiv公司
费伦斯,大安;盖伊,范登·布勒克;乔里斯·伦肯斯;迪米塔尔·施特里奥诺夫;伯恩德·古特曼;英戈·通;杰尔达·詹森斯;吕克·德·雷德 使用加权布尔公式的概率逻辑程序中的推理和学习。 (英语) Zbl 1379.68062号 理论与实践。日志。程序。 15,第3期,358-401(2015).MSC公司:68N17号 68T05型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{D.Fierens}等人,《理论与实践》。日志。程序。15,第3号,358--401(2015;Zbl 1379.68062) 全文: 内政部 arXiv公司
莫雷诺,法拉斯基;卡洛斯·奥拉特;卡图西亚帕拉米德斯 时间并发约束程序的抽象解释。 (英语) Zbl 1379.68060号 理论与实践。日志。程序。 2015年第312-357号第15页.MSC公司:第68页第17页 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Falaschi}等人,《理论与实践》。日志。程序。15,第3号,312--357(2015;Zbl 1379.68060) 全文: 内政部 arXiv公司
毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo);保罗·塔切拉;赫伯特,威克利基 展开CHR程序。 (英语) Zbl 1379.68064号 理论与实践。日志。程序。 15,第3期,264-311(2015).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Gabbrielli}等人,《理论与实践》。日志。程序。15,第3号,264--311(2015;Zbl 1379.68064) 全文: 内政部 arXiv公司
埃琳娜·贝洛迪;法布里西奥·里古齐 通过搜索子句空间实现概率逻辑程序的结构学习。 (英语) Zbl 1379.68269号 理论与实践。日志。程序。 15,第2期,169-212(2015).MSC公司:68T05型 68N17号 68T20型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{E.Bellodi}和\textit{F.Riguzzi},理论与实践。日志。程序。15,第2号,169--212(2015;Zbl 1379.68269) 全文: 内政部 arXiv公司
佐藤泰介;久保田,Keiichi 维特比在PRISM培训。 (英语) Zbl 1379.68272号 理论与实践。日志。程序。 15,第2期,147-168(2015).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{T.Sato}和\textit{K.Kubota},理论与实践。日志。程序。15,第2号,147--168(2015;Zbl 1379.68272) 全文: 内政部 arXiv公司
詹姆斯·库森(编辑);吕克·德·雷德(编辑);安吉丽卡·基米格(编辑);佐藤泰介(编辑) 关于概率、逻辑和学习的特刊介绍。 (英语) Zbl 1379.68005号 理论与实践。日志。程序。 15,第2期,145-146(2015).MSC公司:68-06 68N17号 68T05型 第68页第27页 68层37 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Cussens}(编辑)等人,《理论与实践》。日志。程序。15,第2号,145--146(2015;Zbl 1379.68005) 全文: 内政部
霍尔格·胡斯;罗兰·卡明斯基;马吕斯·林道尔;托尔斯滕·绍布 aspeed:通过答案集编程进行求解器调度。 (英语) Zbl 1379.68283号 理论与实践。日志。程序。 15,第1期,117-142(2015).MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{H.Hoos}等人,《理论与实践》。日志。程序。15,第117-142号(2015年;兹bl 1379.68283) 全文: 内政部 arXiv公司
埃斯拉·埃尔登;乌穆特·奥斯托克 为生物医学查询生成解释。 (英语) Zbl 1379.68059号 理论与实践。日志。程序。 15,第1期,35-78(2015).MSC公司:68N17号 68立方英尺 68层35 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{E.Erdem}和\textit{U.Oztok},理论与实践。日志。程序。15,第1号,第35--78条(2015;Zbl 1379.68059) 全文: 内政部 arXiv公司
佐藤泰介;菲利普·迈耶 循环解释图的无限概率计算。 (英语) 兹比尔1302.68054 理论与实践。日志。程序。 14,第6号,909-937(2014).MSC公司:68N17号 2012年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Sato}和\textit{P.Meyer},理论与实践。日志。程序。14,第6号,909--937(2014;Zbl 1302.68054) 全文: 内政部 arXiv公司
马丁·斯洛塔;约昂·莱特 基于SE模型的语义规则更新的兴衰。 (英语) Zbl 1302.68254号 理论与实践。日志。程序。 2014年第6期第14期第869-704页.MSC公司:68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Slota}和\textit{J.Leite},理论与实践。日志。程序。14,第6号,869--704(2014;Zbl 1302.68254) 全文: 内政部 arXiv公司
李·奈什;哈拉尔德·森德加德 逻辑编程中的真理与信息。 (英语) Zbl 1302.68053号 理论与实践。日志。程序。 14,第6期,803-840(2014).MSC公司:68N17号 03B50号 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Naish}和\textit{H.Söndergaard},理论与实践。日志。程序。14,编号6803-840(2014;兹bl 1302.68053) 全文: 内政部 arXiv公司
A.塞拉诺。;洛佩兹·加西亚,P。;M.V.Hermenegildo。 通过使用大小类型的抽象解释对逻辑程序进行资源使用分析。 (英语) Zbl 1307.68022号 理论与实践。日志。程序。 14,No.4-5,739-754(2014).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Serrano}等人,《理论与实践》。日志。程序。14、编号4--5、739--754(2014;Zbl 1307.68022) 全文: 内政部 arXiv公司
安蒂奇,克里斯蒂安 答案集程序的级联产品。 (英语) Zbl 1309.68026号 理论与实践。日志。程序。 14,No.4-5,711-723(2014).MSC公司:68N17号 70年第68季度 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{C.Antić},理论与实践。日志。程序。14、编号4--5、711--723(2014;Zbl 1309.68026) 全文: 内政部 arXiv公司
埃琳娜·贝洛迪;伊芙琳娜·拉姆;法布里西奥·里古齐;维托尔·桑托斯·科斯塔;里卡多·泽斯 概率逻辑编程的提升变量消除。 (英语) Zbl 1309.68027号 理论与实践。日志。程序。 14,No.4-5,681-695(2014).MSC公司:68N17号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{E.Bellodi}等人,《理论与实践》。日志。程序。14、编号4--5、681--695(2014;Zbl 1309.68027) 全文: 内政部 arXiv公司
路易斯·莫尼兹·佩雷拉;艾曼纽尔·安娜·迪茨;斯特芬·Hölldobler 带有副作用的上下文诱因推理。 (英语) Zbl 1309.68176号 理论与实践。日志。程序。 14,No.4-5,633-648(2014).MSC公司:第68页第27页 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Pereira}等人,《理论与实践》。日志。程序。14、编号4--5、633--648(2014;Zbl 1309.68176) 全文: 内政部 arXiv公司
迈克尔·盖尔芬德;张元林 恶性循环原理和带有聚合的逻辑程序。 (英语) Zbl 1309.68032号 理论与实践。日志。程序。 14,No.4-5,587-601(2014).MSC公司:68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Gelfond}和\textit{Y.Zhang},理论与实践。日志。程序。14,编号4-587-601(2014;兹bl 1309.68032) 全文: 内政部 arXiv公司
霍尔格·胡斯;马吕斯·林道尔;托尔斯滕·绍布 对夹2:答案集编程算法选择的进展。 (英语) Zbl 1307.68016号 理论与实践。日志。程序。 14,No.4-5,569-585(2014).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{H.Hoos}等人,《理论与实践》。日志。程序。14、编号4--5、569--585(2014;Zbl 1307.68016) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺;沃尔夫冈·费伯;斯特凡·沃尔特兰 ASP中超相干问题的复杂性。 (英语) Zbl 1312.68034号 理论与实践。日志。程序。 14,第339-361号(2014).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,《理论与实践》。日志。程序。14,第3号,339--361(2014;Zbl 1312.68034) 全文: 内政部 arXiv公司
阿娜·索菲亚·戈麦斯;何塞·朱利奥·阿尔弗雷斯;Swift,Terrance公司 混合MKNF知识库查询应答的目标导向实现。 (英语) Zbl 1286.68427号 理论与实践。日志。程序。 14,第2期,239-264(2014).MSC公司:68立方英尺 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Gomes}等人,《理论与实践》。日志。程序。14,第2号,239--264(2014;Zbl 1286.68427) 全文: 内政部
Lopez-Fraguas,Francisco J。;马丁·马丁,恩里克;胡安·罗德里格斯·霍塔拉;詹姆·桑切斯·埃尔南德斯 重写和缩小具有调用时选择语义的构造函数系统。 (英语) Zbl 1286.68265号 理论与实践。日志。程序。 14,第2期,165-213(2014).MSC公司:2012年第68季度 03B70号 68问题55 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.J.López-Fraguas}等人,《理论与实践》。日志。程序。14,第2号,165--213(2014;Zbl 1286.68265) 全文: 内政部 arXiv公司
莱因哈德·皮克勒;斯特凡·吕梅尔;斯泽德,斯特凡;斯特凡·沃尔特兰 带权重约束的可追踪答案集编程:有界树宽是不够的。 (英语) Zbl 1310.68053号 理论与实践。日志。程序。 14,第2期,141-164(2014).MSC公司:68N17号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Pichler}等人,《理论与实践》。日志。程序。14,第2号,141--164(2014;Zbl 1310.68053) 全文: 内政部 arXiv公司
阿德里安·里斯科;胡安·罗德里格斯·霍塔拉 函数逻辑编程的单数和复数函数。 (英语) 兹比尔1286.68057 理论与实践。日志。程序。 14,第1期,65-116(2014).MSC公司:68N17号 68甲18 68问题55 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Riesco}和\textit{J.Rodríguez-Hortalá},理论与实践。日志。程序。14,第1号,65--116(2014;Zbl 1286.68057) 全文: 内政部 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) 全文: 内政部 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) 全文: 内政部
马里奥·阿尔维亚诺;拉斐尔·佩尼亚洛萨 模糊答案集近似值。 (英语) Zbl 1298.68058号 理论与实践。日志。程序。 13,编号4-5,753-767(2013). 审核人:Ion Iancu(克雷奥瓦) MSC公司:68N17号 68立方英尺 68层37 68层35 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}和\textit{R.Peñaloza},理论与实践。日志。程序。13,编号4--5,753--767(2013;Zbl 1298.68058) 全文: 内政部
约阿希姆·扬森;阿尔伯特·乔里森;杰尔达·詹森斯 正在将\(\mathrm{input}^\ast\)FO\((\cdot)\)归纳定义编译为IDP3的表格序言规则。 (英语) Zbl 1286.68047号 理论与实践。日志。程序。 13,No.4-5,691-704(2013).MSC公司:68N17号 03B70号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Jansen}等人,《理论与实践》。日志。程序。13、编号4--5、691--704(2013;Zbl 1286.68047) 全文: 内政部
罗兰·卡明斯基;托尔斯滕·绍布;安妮·西格尔;圣地亚哥维德拉 ASP.逻辑信令网络中的最小干预策略。 (英语) Zbl 1286.68048号 理论与实践。日志。程序。 13,编号4-5675-690(2013).MSC公司:68N17号 92立方厘米 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Kaminski}等人,《理论与实践》。日志。程序。13、编号4--5、675--690(2013;Zbl 1286.68048) 全文: 内政部
亚历杭德罗·阿贝莱兹;夏洛特·特拉切特;菲利普·科多涅特 使用顺序运行时分布进行SAT局部搜索的并行加速预测。 (英语) Zbl 1286.68405号 理论与实践。日志。程序。 13,编号4-5,625-639(2013).MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Arbelaez}等人,《理论与实践》。日志。程序。13、编号4--5、625--639(2013;Zbl 1286.68405) 全文: 内政部
马塞洛·巴尔杜奇尼 具有非Herbrand部分功能的ASP:一种实用的语言和系统。 (英语) Zbl 1286.68039号 理论与实践。日志。程序。 13,编号4-5547-561(2013).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Balduccini},理论与实践。日志。程序。13、编号4--5、547--561(2013;Zbl 1286.68039) 全文: 内政部
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) 全文: 内政部
阮富兰;巴特·德梅恩 Prolog的表示共享。 (英语) Zbl 1272.68080号 理论与实践。日志。程序。 13,第1期,71-106(2013).MSC公司:68N17号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.-L.Nguyen}和\textit{B.Demoen},理论与实践。日志。程序。13、第1号、第71-106号(2013;Zbl 1272.68080) 全文: 内政部