伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫(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许可证
戴尔·米勒 逻辑编程的证明理论基础综述。 (英语) Zbl 07776351号 理论与实践。日志。程序。 第6号第22页,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许可证
博扎托,洛里斯;托马斯·艾特;卢西亚诺·塞拉菲尼 在\(\mathit{DL}\)-\(\mathit上进行推理{精简}_{\mathcal{R}}\)在ASP中具有可解除性。 (英语) Zbl 1530.68244号 理论与实践。日志。程序。 22,第2期,254-304(2022年)。MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzato}等人,《理论与实践》。日志。程序。22、编号2、254--304(2022;Zbl 1530.68244) 全文: 内政部 arXiv公司
弗兰兹·巴德;帕特里克·科普曼;弗里德里希·米歇尔;安妮·亚斯敏(Anni-Yasmin Turhan);本杰明·扎里丝 使用\(\ mathcal进行带值限制的高效TBox推理{FL}_0(飞行高度层)\mathit{wer}\)推理器。 (英语) Zbl 1530.68243号 理论与实践。日志。程序。 162-192年第2号第22页(2022年)。MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人,《理论与实践》。日志。程序。22,第2号,162--192(2022;Zbl 1530.68243) 全文: 内政部 arXiv公司 OA许可证
伊曼纽尔·德·安吉利斯;毛里齐奥·普罗埃蒂;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西 使用约束Horn子句验证基于变形的契约。 (英语) Zbl 07595325号 理论与实践。日志。程序。 22,第4期,555-572(2022)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}等人,理论与实践。日志。程序。22,第4号,555--572(2022;Zbl 07595325) 全文: 内政部 arXiv公司
伦纳德·博塔;托马斯·梅耶;拉斐尔·佩尼亚洛萨 概率描述逻辑(mathcal{BALC})。 (英语) Zbl 1529.68285号 理论与实践。日志。程序。 21,第4号,404-427(2021)。MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Botha}等人,《理论与实践》。日志。程序。21,第4号,404--427(2021;Zbl 1529.68285) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺;巴特萨基斯,索蒂里斯;乔治·巴里扬尼斯 回答集编程中的模态逻辑S5的可满足性。 (英语) 兹比尔1522.68714 理论与实践。日志。程序。 21,第5期,527-542(2021)。MSC公司:68伏15 03B45号 68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,《理论与实践》。日志。程序。21,编号52527-542(2021;兹bl 1522.68714) 全文: 内政部 arXiv公司
Zeynep G.萨里巴特。;托马斯·艾特 答案集程序的基于省略的抽象。 (英语) Zbl 1472.68029号 理论与实践。日志。程序。 21,第2期,145-195(2021); 勘误表同上,第21号,第2,292(2021)。MSC公司:68N17号 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Z.G.Saribatur}和\textit{T.Eiter},理论与实践。日志。程序。21,第2号,145--195(2021;Zbl 1472.68029) 全文: 内政部 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公司
德利沃里亚斯,Stathis;米歇尔·勒克莱尔;玛丽·劳雷·穆格尼尔;费德里科·乌利亚纳 描述追赶变体中的有界性。 (英语) Zbl 1472.68188号 理论与实践。日志。程序。 21,第1号,第51-79页(2021年)。MSC公司:68T27型 第68页,共15页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.Delivorias}等人,理论与实践。日志。程序。21,第1号,51--79(2021;Zbl 1472.68188) 全文: 内政部 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) 全文: 内政部
劳拉·佐丹奴;塞塞迪尔·杜普雷,丹尼尔 在概念软件多参考轻量级DL中进行推理的ASP方法。 (英语) Zbl 1468.68212号 理论与实践。日志。程序。 20,第5期,751-766(2020)。MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}和\textit{D.Theseider Dupré},理论与实践。日志。程序。20,第5号,751--766(2020;Zbl 1468.68212) 全文: 内政部 arXiv公司
豪尔赫·范丁诺;弗拉基米尔·利夫希茨;帕特里克·吕内;托尔斯滕·绍布 使用验证紧密逻辑程序国歌和吸血鬼。 (英语) Zbl 1468.68127号 理论与实践。日志。程序。 20,编号5735-750(2020)。MSC公司:60年第68季度 03C07号机组 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Fandinno}等人,《理论与实践》。日志。程序。20,编号5,735--750(2020;Zbl 1468.68127) 全文: 内政部 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) 全文: 内政部 arXiv公司
奥斯卡·马汀;阿尔贝托·维尔德乔;马丁·奥列特,纳西索 重写逻辑中的组合规范。 (英语) 兹比尔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公司
弗朗西斯科·卡里梅里;西蒙娜·佩里;Jessica Zangari 通过基于启发式的分解优化答案集计算。 (英语) Zbl 1472.68024号 理论与实践。日志。程序。 19,第4期,603-628(2019)。MSC公司:68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Calimeri}等人,理论与实践。日志。程序。19,第4号,603--628(2019;Zbl 1472.68024) 全文: 内政部 arXiv公司
里卡多·泽斯;朱塞佩·科塔;伊芙琳娜·拉姆;埃琳娜·贝洛迪;法布里西奥·里古齐 带有精确公式的概率DL推理:基于Prolog的方法。 (英语) Zbl 1472.68194号 理论与实践。日志。程序。 19,第3号,449-476(2019)。MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Zese}等人,《理论与实践》。日志。程序。19,第3号,449--476(2019;Zbl 1472.68194) 全文: 内政部 arXiv公司
克里斯托夫·雷德尔 在答案集程序中内联外部源。 (英语) Zbl 1472.68027号 理论与实践。日志。程序。 19,第3号,360-411(2019)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{C.Redl},理论与实践。日志。程序。19,第3号,360-411(2019;Zbl 1472.68027) 全文: 内政部 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) 全文: 内政部 arXiv公司
乔瓦尼·阿蒙多拉;卡明·多达罗;弗朗西斯科·里卡 用更少的资源获得更好的准相干答案集。 (英语) Zbl 1434.68067号 理论与实践。日志。程序。 19,编号5-6,757-772(2019)。MSC公司:68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Amendola}等人,《理论与实践》。日志。程序。19,编号5--6,757--772(2019;Zbl 1434.68067) 全文: 内政部 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) 全文: 内政部 arXiv公司
豪尔赫·范丁诺;克劳迪娅·舒尔茨 回答答案集编程中的“为什么”——解释方法的调查。 (英语) Zbl 1486.68026号 理论与实践。日志。程序。 19,第2期,114-203(2019)。MSC公司:68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.范迪诺}和\textit{C.舒尔茨},理论与实践。日志。程序。19,第2号,114--203(2019;Zbl 1486.68026) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺;卡明·多达罗;Järvisalo,马蒂;马可·马拉提亚;亚历山德罗·普雷维蒂 ASP中通过最小模型和不可满足的核心进行谨慎推理。 (英语) Zbl 1451.68267号 理论与实践。日志。程序。 18,编号3-4,319-336(2018)。MSC公司:68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,《理论与实践》。日志。程序。18、编号3--4、319--336(2018;Zbl 1451.68267) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺;卡明·多达罗;马可·马拉提亚 答案集编程中的共享聚合集。 (英语) Zbl 1451.68062号 理论与实践。日志。程序。 18,编号3-4,301-318(2018)。MSC公司:68N17号 68第05页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,《理论与实践》。日志。程序。18,编号3-4301-318(2018;兹bl 1451.68062) 全文: 内政部 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.Baldcucini}和\textit{Y.Lierler},理论实践。日志。程序。17,第4号,462--515(2017;Zbl 1379.68038) 全文: 内政部 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公司},一种用于答案集计算的一阶前向链接方法。 (英语) 兹比尔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公司
Wałga,Przemys aw Andrzej;卡尔·舒尔茨;梅胡尔·巴特 基于答案集编程模理论的非单调空间推理。 (英语) Zbl 1379.68303号 理论与实践。日志。程序。 17,第2期,205-225(2017)。MSC公司:68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Wa等,理论与实践。日志。程序。17,第2号,205--225(2017;Zbl 1379.68303) 全文: 内政部 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公司
弗拉基米尔·利夫希茨 答案集编程方面的成就。 (英语) Zbl 1422.68027号 理论与实践。日志。程序。 17,编号5-6,961-973(2017)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{V.Lifschitz},理论与实践。日志。程序。17、编号5--6、961--973(2017;Zbl 1422.68027) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺 通过不可满足核分析在命题限定中进行模型枚举。 (英语) Zbl 1422.68217号 理论与实践。日志。程序。 17,编号5-6,708-725(2017)。MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano},理论与实践。日志。程序。17、编号5--6、708--725(2017;Zbl 1422.68217) 全文: 内政部 arXiv公司
洛佩兹·加西亚,P。;M.克莱门。;美国利卡特。;M.V.Hermenegildo。 用于静态分析参数资源使用情况的通用框架。 (英语) Zbl 1379.68097号 理论与实践。日志。程序。 16,编号5-6,849-865(2016)。MSC公司:68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{P.Lopez-Garcia}等人,《理论与实践》。日志。程序。16、编号5--6849--865(2016;Zbl 1379.68097) 全文: 内政部 arXiv公司
劳拉·佐丹奴;丹尼尔·塞塞德尔·杜普雷 ASP在合理扩展中实现最小牵连SROEL公司。 (英语) Zbl 1379.68294号 理论与实践。日志。程序。 16,编号5-6,738-754(2016)。MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}和\textit{D.T.Dupré},理论与实践。日志。程序。16、编号5--6738--754(2016;Zbl 1379.68294) 全文: 内政部 arXiv公司
高,田田;保罗·福多;迈克尔·基弗 超一致性和字谜。 (英语) Zbl 1379.68293号 理论与实践。日志。程序。 16,编号5-6,703-720(2016)。MSC公司:68T27型 03B53号 03B65号 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{T.Gao}等人,《理论与实践》。日志。程序。16、编号5--6703--720(2016;Zbl 1379.68293) 全文: 内政部 arXiv公司
巴特·博加特;汤米·詹胡宁;沙哈卜·塔沙罗菲 稳定-不稳定语义:用常规逻辑程序超越NP。 (英语) Zbl 1379.68044号 理论与实践。日志。程序。 16,编号5-6,570-586(2016)。MSC公司:68N17号 2015年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Bogaerts}等人,《理论与实践》。日志。程序。16、编号5--6570--586(2016;Zbl 1379.68044) 全文: 内政部 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公司
雷米·布罗奇宁;马可·马拉提亚;尤利亚·利勒 通过模板的虚拟答案集求解器。 (英语) 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公司
马可·卡洛蒂;塞尔吉奥·格雷科;克里斯蒂安·莫里纳罗;伊琳娜·特鲁比西纳 使用线性约束进行逻辑程序终止分析。 (英语) Zbl 1379.68050号 理论与实践。日志。程序。 16,第3期,353-377(2016)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Calautti}等人,《理论与实践》。日志。程序。16,第3号,353--377(2016;Zbl 1379.68050) 全文: 内政部 arXiv公司
Akihisa山田;莎拉·温克勒;Nao Hirokawa;阿尔特·米德尔多普 AC-KBO再次访问。 (英语) Zbl 1379.68277号 理论与实践。日志。程序。 16,第2期,163-188(2016)。MSC公司:68吨15 06年06月06日 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Yamada}等人,《理论与实践》。日志。程序。16,第2号,163--188(2016;Zbl 1379.68277) 全文: 内政部
马可·卡洛蒂;塞尔吉奥·格雷科;弗朗西斯卡·斯佩萨诺;伊琳娜·特鲁比西纳 用函数符号检查逻辑程序自下而上评估的终止。 (英语) 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公司
劳拉·科蓬恩;埃米利亚·奥伊卡里宁;汤米·詹胡宁;苏伊拉,劳拉 使用答案集编程优化系统发育超级树。 (英语) Zbl 1379.92038号 理论与实践。日志。程序。 15,编号4-5604-619(2015)。MSC公司:92D15型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{L.Koponen}等人,《理论与实践》。日志。程序。15、编号4--5、604--619(2015;Zbl 1379.92038) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺;拉斐尔·佩尼亚洛萨 基于可满足性模理论的模糊答案集计算。 (英语) Zbl 1379.68036号 理论与实践。日志。程序。 15,编号4-5588-603(2015)。MSC公司:68N17号 03B52号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}和\textit{R.Peñaloza},理论与实践。日志。程序。15、编号4--5、588--603(2015;Zbl 1379.68036) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺;沃尔夫冈·费伯;马丁·格布瑟 在答案集编程中重写递归聚合:回到单调性。 (英语) Zbl 1379.68034号 理论与实践。日志。程序。 15,No.4-5,559-573(2015)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,《理论与实践》。日志。程序。15、编号4--5、559--573(2015;Zbl 1379.68034) 全文: 内政部 arXiv公司
金·鲍特斯;史蒂文·肖卡特;马丁·德·科克;德克·弗梅尔 使用可能性理论描述和扩展答案集语义。 (英语) Zbl 1379.68041号 理论与实践。日志。程序。 15,第1期,79-116(2015)。MSC公司:68N17号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{K.Bauters}等人,《理论与实践》。日志。程序。15,编号1,79--116(2015;Zbl 1379.68041) 全文: 内政部 arXiv公司
巴特·博加特;约阿希姆·詹森;莫里斯·布吕诺格;De Cat,Broes公司;Joost Vennekens;马克·德内克 使用线性时间演算理论模拟动态系统。 (英语) Zbl 1307.68013号 理论与实践。日志。程序。 14,No.4-5,477-492(2014)。MSC公司:68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bogaerts}等人,《理论与实践》。日志。程序。14、编号4--5、477--492(2014;Zbl 1307.68013) 全文: 内政部 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) 全文: 内政部 arXiv公司
塞尔吉奥·格雷科;克里斯蒂安·莫里纳罗;伊琳娜·特鲁比西纳 带函数符号的逻辑编程:通过程序装饰检查自下而上求值的终止。 (英语) Zbl 1286.68045号 理论与实践。日志。程序。 13,No.4-5,737-752(2013)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.Greco}等人,《理论与实践》。日志。程序。13、编号4--5、737--752(2013;Zbl 1286.68045) 全文: 内政部
罗尔夫·施维特 就业难题:通过受控的自然语言处理接受挑战。 (英语) Zbl 1295.68191号 理论与实践。日志。程序。 13,No.4-5,487-501(2013)。 审核人:埃里克·马丁(悉尼) MSC公司:68立方英尺 68N17号 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{R.Schwitter},理论与实践。日志。程序。13、编号4--5、487--501(2013;Zbl 1295.68191) 全文: 内政部
弗雷德里克·迈尔 可定义逻辑和逻辑编程在良好语义基础下的可互定义性。 (英语) 兹比尔1272.68079 理论与实践。日志。程序。 13,第1期,107-142(2013)。MSC公司:68N17号 68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Maier},理论与实践。日志。程序。13,第1号,107--142(2013;Zbl 1272.68079) 全文: 内政部
胡安·卡洛斯·尼维斯;毛里西奥索里奥;科尔特斯,尤利西斯 可能性析取程序的语义。 (英语) Zbl 1272.68081号 理论与实践。日志。程序。 13,第1号,33-70(2013)。MSC公司:68N17号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Nieves}等人,《理论与实践》。日志。程序。13、第1号、第33-70号(2013;Zbl 1272.68081) 全文: 内政部
托马斯·艾特;埃斯拉·埃尔登;哈尔特·埃尔多安;迈克尔·芬克 在答案集编程中寻找相似/不同的解决方案。 (英语) Zbl 1266.68081号 理论与实践。日志。程序。 13,第3号,303-359(2013)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,《理论与实践》。日志。程序。13,编号303-359(2013;兹bl 1266.68081) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺;沃尔夫冈·费伯;尼古拉·利昂;玛娜,马可 带存在量词的析取数据日志:语义、可判定性和复杂性问题。 (英语) Zbl 1260.68055号 理论与实践。日志。程序。 12,No.4-5,701-718(2012)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,《理论与实践》。日志。程序。12,编号4--5701-718(2012年;兹bl 1260.68055) 全文: 内政部 arXiv公司
托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳;克里斯托夫·雷德尔 与外部源冲突驱动的ASP解决方案。 (英语) Zbl 1260.68060号 理论与实践。日志。程序。 12,编号4-5,659-679(2012)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,《理论与实践》。日志。程序。12、编号4--5、659--679(2012;Zbl 1260.68060) 全文: 内政部 arXiv公司
弗拉基米尔·利夫希茨;卡尔·皮乔塔;杨芳凯 零值关系理论和非Herbrand稳定模型。 (英语) Zbl 1260.68064号 理论与实践。日志。程序。 12,编号4-5,565-582(2012)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{V.Lifschitz}等人,《理论与实践》。日志。程序。12、编号4--5、565--582(2012;Zbl 1260.68064) 全文: 内政部 arXiv公司
埃里克·马丁。 逻辑程序的上下文假设和语义。 (英语) Zbl 1448.68204号 理论与实践。日志。程序。 12,第6期,843-887(2012)。MSC公司:68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{艾拉·马丁},理论与实践。日志。程序。12,第6号,843--887(2012;Zbl 1448.68204) 全文: 内政部
杰罗·扬森;德克·维尔梅尔;史蒂文·肖卡特;马丁·德·科克 将模糊答案集编程简化为模糊逻辑中的模型查找。 (英语) Zbl 1255.68051号 理论与实践。日志。程序。 12,第6号,811-842(2012)。MSC公司:68N17号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{J.Janssen}等人,《理论与实践》。日志。程序。12,第6号,811--842(2012;Zbl 1255.68051) 全文: 内政部
艾尔维拉·阿尔伯特;普里阿雷纳斯;德国普埃布拉;曼纽尔·赫尔梅内吉尔多 在携带代码的抽象中减少证书大小。 (英语) Zbl 1247.68042号 理论与实践。日志。程序。 12,第3期,283-318(2012)。MSC公司:68N17号 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,《理论与实践》。日志。程序。12,第3号,283--318(2012;Zbl 1247.68042) 全文: 内政部 arXiv公司
罗伯特·布鲁迈耶;Järvisalo,马蒂 答案集求解器开发的测试和调试技术。 (英语) Zbl 1206.68292号 理论与实践。日志。程序。 10,编号4-6,741-758(2010)。MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Brummayer}和\textit{M.Järvisalo},理论与实践。日志。程序。10,编号4--6,741--758(2010;Zbl 1206.68292) 全文: 内政部 arXiv公司
弗朗西丝卡·莉西。 数据库中的归纳逻辑编程:从Datalog到\(\mathcal{DL}+\text{LOG}^{neg\vee}\)。 (英语) 兹比尔1200.68087 理论与实践。日志。程序。 10,第3期,331-359(2010)。MSC公司:第68页,共15页 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.A.Lisi},理论与实践。日志。程序。10,第3号,331--359(2010;Zbl 1200.68087) 全文: 内政部
乔安娜·Józefowska;阿格涅斯卡·艾维诺维奇;Łukaszewski,托马兹 语义在从规则描述逻辑的知识库中挖掘频繁模式中的作用。 (英语) Zbl 1200.68226号 理论与实践。日志。程序。 10,第3期,251-289(2010)。MSC公司:68立方英尺 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{Józefowska}等人,《理论与实践》。日志。程序。10,第3号,251--289(2010;Zbl 1200.68226) 全文: 内政部
大卫·皮尔斯;汉斯·托姆皮茨;斯特凡·沃尔特兰 平衡逻辑和嵌套逻辑程序的特征:简化和复杂性。 (英语) Zbl 1186.68100号 理论与实践。日志。程序。 9,第5期,565-616(2009)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.Pearce}等人,《理论与实践》。日志。程序。9,第5号,565--616(2009;Zbl 1186.68100) 全文: 内政部
Joost Vennekens;马克·德纳克;莫里斯·布吕诺格 CP-logic:一种因果概率事件及其与逻辑编程的关系的语言。 (英语) Zbl 1179.68025号 理论与实践。日志。程序。 9,第3期,245-308(2009)。MSC公司:68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Vennekens}等人,《理论与实践》。日志。程序。9,第3号,245--308(2009;Zbl 1179.68025) 全文: 内政部
萨布丽娜·Baselice;皮耶罗·A·博纳蒂。;乔瓦尼·克里斯库洛 关于有限递归程序。 (英语) Zbl 1166.68311号 理论与实践。日志。程序。 9,第2期,213-238(2009)。MSC公司:68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Baselice}等人,《理论与实践》。日志。程序。9,第2号,213--238(2009;Zbl 1166.68311) 全文: 内政部
埃蒂安·佩耶特;弗雷德·梅斯纳德 二进制约束逻辑程序的非终止准则。 (英语) Zbl 1166.68008号 理论与实践。日志。程序。 9,第2期,145-164(2009)。MSC公司:68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{埃里·佩耶特}和\textit{F.Mesnard},理论与实践。日志。程序。9,编号2145-164(2009年;兹bl 1166.68008) 全文: 内政部