理查德·塔普;安东尼乌斯·温齐尔;格哈德·弗里德里希 ASP中的冲突泛化:学习正确有效的非基础约束。 (英语) Zbl 1468.68174号 理论实践。日志。程序。 20,第5期,799-814(2020).MSC公司:68T05型 第68页第17页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Taupe}等人,理论与实践。日志。程序。20,编号:5799-814(2020;兹bl 1468.68174) 全文: DOI程序 arXiv公司
佩德罗·卡巴拉;马丁·迪格斯;托尔斯滕·绍布;安娜·舒曼 面向度量时态答案集编程。 (英语) Zbl 1468.68052号 理论实践。日志。程序。 20,第5期,783-798(2020).MSC公司:第68页第17页 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,《理论与实践》。日志。程序。20,第5号,783--798(2020;Zbl 1468.68052) 全文: DOI程序 arXiv公司
佩德罗·卡巴拉;豪尔赫·范丁诺;尤利亚·利勒 模块化答案集编程是一种形式规范语言。 (英语) Zbl 1468.68119号 理论实践。日志。程序。 20,第5期,767-782(2020年).MSC公司:60年第68季度 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,《理论与实践》。日志。程序。20,第5号,767--782(2020;Zbl 1468.68119) 全文: DOI程序 arXiv公司
劳拉·佐丹奴;塞塞迪尔·杜普雷,丹尼尔 在概念软件多参考轻量级DL中进行推理的ASP方法。 (英语) Zbl 1468.68212号 理论实践。日志。程序。 20,第5期,751-766(2020).MSC公司:68T27型 第68页第17页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}和\textit{D.Theseider Dupré},理论与实践。日志。程序。20,第5号,751--766(2020;Zbl 1468.68212) 全文: DOI程序 arXiv公司
豪尔赫·范丁诺;弗拉基米尔·利夫希茨;帕特里克·吕内;托尔斯滕·绍布 使用验证紧密逻辑程序国歌和吸血鬼. (英语) Zbl 1468.68127号 理论实践。日志。程序。 20,编号5735-750(2020).MSC公司:60年第68季度 07年3月 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{J.Fandinno}等人,《理论与实践》。日志。程序。20,编号5,735--750(2020;Zbl 1468.68127) 全文: DOI程序 arXiv公司
乔瓦姆巴蒂斯塔·伊安尼;弗朗西斯科·帕琴察;Jessica Zangari 通过定制的简化对过度接地逻辑程序进行增量维护。 (英语) Zbl 1468.68223号 理论实践。日志。程序。 20,第5期,719-734(2020).MSC公司:68立方英尺 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{G.Ianni}等人,《理论与实践》。日志。程序。20,编号5,719--734(2020;Zbl 1468.68223) 全文: DOI程序 arXiv公司
阿尔法诺,詹文琴佐;塞尔吉奥·格雷科;弗朗西斯科·帕里西;伊琳娜·特鲁比西纳 抽象论证框架的语义:逻辑编程方法。 (英语) Zbl 1468.68211号 理论实践。日志。程序。 20,第5期,703-718(2020).MSC公司:68T27型 第68页第17页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.Alfano}等人,《理论与实践》。日志。程序。20,编号5,703–718(2020;兹bl 1468.68211) 全文: DOI程序 arXiv公司
乔治·巴里扬尼斯;伊利亚斯·塔赫马齐迪斯;巴萨基斯、索蒂利斯;格里戈里斯·安东尼奥;马里奥·阿尔维亚诺;伊曼纽尔·帕帕达基斯 答案集编程中使用定性理论进行编码和推理的通用方法。 (英语) Zbl 1468.68218号 理论实践。日志。程序。 20,第5期,687-702(2020).MSC公司:68立方英尺 第68页第17页 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Baryannis}等人,《理论与实践》。日志。程序。20,第5号,687--702(2020;Zbl 1468.68218) 全文: DOI程序 arXiv公司
弗雷德·梅斯纳德;埃蒂安·佩耶特;德国维达尔 CLP中的酒精测试。 (英语) Zbl 1468.68055号 理论实践。日志。程序。 20,第5号,671-686(2020).MSC公司:第68页第17页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Mesnard}等人,《理论与实践》。日志。程序。20,第5号,671--686(2020;Zbl 1468.68055) 全文: DOI程序 arXiv公司
法哈德·沙克林;戈帕尔·古普塔 支持向量机模型的白盒归纳:可解释的人工智能与逻辑编程。 (英语) Zbl 1468.68171号 理论实践。日志。程序。 20,第5期,656-670(2020).MSC公司:68T05型 第68页第17页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Shakerin}和\textit{G.Gupta},理论与实践。日志。程序。20,第5号,656--670(2020;Zbl 1468.68171) 全文: DOI程序 arXiv公司
埃琳娜·贝洛迪;马尔科·阿尔贝蒂;法布里西奥·里古齐;里卡多·泽斯 概率逻辑规划的MAP推理。 (英语) 兹比尔1468.68051 理论实践。日志。程序。 20,编号5641-655(2020).MSC公司:第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{E.Bellodi}等人,《理论与实践》。日志。程序。20,第5号,641--655(2020;Zbl 1468.68051) 全文: DOI程序 arXiv公司
卡明·多达罗;托马斯·艾特;保罗·奥格里斯;康斯坦丁·舍科提欣 使用强化学习管理流推理的缓存策略。 (英语) Zbl 1468.68152号 理论实践。日志。程序。 20,第5号,625-640(2020).MSC公司:68T05型 68T20型 68周27 PDF格式BibTeX公司 XML格式引用 \textit{C.Dodaro}等人,《理论与实践》。日志。程序。20,第5号,625--640(2020;Zbl 1468.68152) 全文: DOI程序 arXiv公司
安东尼乌斯·温齐尔;理查德·塔普;格哈德·弗里德里希 先进的惰性基础ASP解决技术–重启、阶段节省、启发式等。 (英语) Zbl 1468.68228号 理论实践。日志。程序。 20,第5期,609-624(2020年).MSC公司:68立方英尺 第68页第17页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Weinzierl}等人,《理论与实践》。日志。程序。20,第5号,609--624(2020;Zbl 1468.68228) 全文: DOI程序 arXiv公司
亚历山德罗·布里干纳;弗朗西斯科·法比亚诺;阿戈斯蒂诺·多维尔;恩里科·蓬泰利 ASP中多智能体认知规划建模。 (英语) Zbl 1468.68251号 理论实践。日志。程序。 20,第5号,593-608(2020).MSC公司:第68页第42页 第68页第17页 68T20型 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Burigana}等人,《理论与实践》。日志。程序。20,第5号,593--608(2020;Zbl 1468.68251) 全文: DOI程序 arXiv公司
弗朗西斯科·里卡(编辑);亚历山德拉·拉索(编辑) 第36届逻辑程序设计国际会议简介。特刊I。 (英语) 兹比尔1468.68018 理论实践。日志。程序。 20,第5期,587-592(2020年).MSC公司:68-06 第68页第17页 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{F.Ricca}(编辑)和textit{A.Russo}(主编),理论与实践。日志。程序。20,第5号,587--592(2020;Zbl 1468.68018) 全文: DOI程序