哈娜·乔克勒;帕斯卡·凯塞利;丹尼尔·克罗宁;斯特里赫曼(Ofer Strichman) 学习软件错误的语言。 (英语) Zbl 1437.68071号 J.阿蒂夫。智力。研究(JAIR) 67, 881-903 (2020).MSC公司:68问题32 68号30 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}等人,J.Artif。智力。研究(JAIR)67,881--903(2020;Zbl 1437.68071) 全文: 内政部
扎克·菲茨西蒙斯;马丁·拉克纳 单峰选民的不完全偏好。 (英语) Zbl 1437.91171号 J.阿蒂夫。智力。研究(JAIR) 67, 797-833 (2020).MSC公司:91B12号机组 2017年第68季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{Z.Fitzsimmons}和\textit{M.Lackner},J.Artif。智力。研究(JAIR)67,797--833(2020;Zbl 1437.91171) 全文: 内政部 arXiv公司
安娜·玛丽亚·柯克曼;杰罗姆·朗;阿尼亚·雷伊;约尔格·罗特;希尔马尔·沙德拉克;莱娜·申德 具有顺序偏好和阈值的享乐游戏。 (英语) Zbl 1444.91017号 J.阿蒂夫。智力。研究(JAIR) 67, 705-756 (2020).MSC公司:91A12号机组 91B08型 91A68型 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Kerkmann}等人,J.Artif。智力。研究(JAIR)67,705--756(2020;Zbl 1444.91017) 全文: 内政部 链接
玛格丽塔·帕斯·卡斯特罗;奇亚拉·皮亚琴蒂尼;安德烈·奥古斯托·西雷;克里斯托弗·贝克 用基于松弛决策图的启发式算法解决无删除规划问题。 (英语) Zbl 1437.68163号 J.阿蒂夫。智力。研究(JAIR) 67, 607-651 (2020).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Castro}等人,J.Artif。智力。研究(JAIR)67,607--651(2020;Zbl 1437.68163) 全文: 内政部
刘乐茂;安德鲁·芬奇;Masao Utiyama;小一郎住田 序列到序列学习目标双向递归神经网络协议。 (英语) Zbl 1437.68153号 J.阿蒂夫。智力。研究(JAIR) 67, 581-606 (2020).MSC公司:68T05型 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{L.Liu}等人,J.Artif。智力。研究(JAIR)67,581--606(2020;Zbl 1437.68153) 全文: 内政部
多尔·阿兹蒙;罗尼·斯特恩;阿里尔·费尔纳;格伦·瓦格纳;罗马人Barták;周能发 稳健的多代理路径查找和执行。 (英语) Zbl 1437.68174号 J.阿蒂夫。智力。研究(JAIR) 67, 549-579 (2020).MSC公司:第68页第42页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Atzmon}等人,J.Artif。智力。研究(JAIR)67,549--579(2020;Zbl 1437.68174) 全文: 内政部
马克西姆·查伯特;克莉丝汀·索尔农 精确覆盖问题的全局约束:概念聚类的应用。 (英语) Zbl 1437.68130号 J.阿蒂夫。智力。研究(JAIR) 67, 509-547 (2020).MSC公司:68卢比 68周05 90C26型 PDF格式BibTeX公司 XML格式引用 \textit{M.Chabert}和\textit{C.Solnon},J.Artif。智力。研究(JAIR)67,509--547(2020;Zbl 1437.68130) 全文: 内政部
埃雷尔·塞加尔·哈列维;阿维纳坦·哈西迪姆;哈里斯·阿齐兹 公平分配,减少差异。 (英语) Zbl 1444.91108号 J.阿蒂夫。智力。研究(JAIR) 67, 471-507 (2020).MSC公司:91B32型 91B08型 PDF格式BibTeX公司 XML格式引用 \textit{E.Segal-Halevi}等人,J.Artif。智力。研究(JAIR)67,471--507(2020;Zbl 1444.91108) 全文: 内政部 arXiv公司 链接
斯特凡·门格尔;罗曼·沃伦 带有辅助变量的CNF编码的图形宽度度量。 (英语) Zbl 1437.68133号 J.阿蒂夫。智力。研究(JAIR) 67, 409-436 (2020).MSC公司:68兰特 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Mengel}和\textit{R.Wallon},J.Artif。智力。研究(JAIR)67,409--436(2020;Zbl 1437.68133) 全文: 内政部 arXiv公司
威廉·科恩;杨,范;凯瑟琳·里瓦德·马扎蒂斯 TensorLog:使用深度学习基础设施实现的概率数据库。 (英语) Zbl 1434.68141号 J.阿蒂夫。智力。研究(JAIR) 67, 285-325 (2020).MSC公司:第68页,共15页 03B48 03B70号 68N17号 2017年10月68日 PDF格式BibTeX公司 XML格式引用 \textit{W.Cohen}等人,J.Artif。智力。研究(JAIR)67,285--325(2020;Zbl 1434.68141) 全文: 内政部
迈克尔·卡什莫尔;丹尼尔·马加泽尼;帕里萨·泽塔比 基于可满足性模理论的混合系统规划。 (英语) Zbl 1434.68545号 J.阿蒂夫。智力。研究(JAIR) 67, 235-283 (2020).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Cashmore}等人,J.Artif。智力。研究(JAIR)67,235--283(2020;Zbl 1434.68545) 全文: 内政部
拉米亚罗摩克里希南;埃西·卡马尔;Debadeepta,戴伊;埃里克·霍维茨;朱莉·沙阿 盲点检测用于安全的sim-to real传输。 (英语) Zbl 1442.68202号 J.阿蒂夫。智力。研究(JAIR) 67, 191-234 (2020).MSC公司:68T05型 第68页第42页 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramakrishnan}等人,J.Artif。智力。研究(JAIR)67,191--234(2020;Zbl 1442.68202) 全文: 内政部
詹德里克·塞普;托马斯·凯勒;马尔特·赫尔默特 最优经典规划的饱和成本分割。 (英语) Zbl 1442.68220号 J.阿蒂夫。智力。研究(JAIR) 67, 129-167 (2020).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Seipp}等人,J.Artif。智力。研究(JAIR)67,129--167(2020;Zbl 1442.68220) 全文: 内政部
罗纳德·奥尔特纳 基于马尔可夫链集中的强化学习的遗憾界。 (英语) Zbl 1442.68198号 J.阿蒂夫。智力。研究(JAIR) 67, 115-128 (2020).MSC公司:68T05型 60埃15 60J20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Ortner},J.Artif。智力。研究(JAIR)67,115-128(2020;Zbl 1442.68198) 全文: 内政部 arXiv公司
里维拉,尼古拉;卡洛斯·埃尔南德斯;尼科拉斯·霍尔马扎巴尔;Jorge A.Baier。 网格路径规划的(2^k)邻里。 (英语) Zbl 1494.68256号 J.阿蒂夫。智力。研究(JAIR) 67, 81-113 (2020).MSC公司:68T20型 68T40型 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{N.Rivera}等人,J.Artif。智力。研究(JAIR)67,81-113(2020;Zbl 1494.68256) 全文: 内政部
伯恩哈德·布利姆;迈克尔·莫拉克;摩尔多瓦,马吕斯;斯特凡·沃尔特兰 树宽对答案集程序的接地和求解的影响。 (英语) Zbl 1494.68040号 J.阿蒂夫。智力。研究(JAIR) 67, 35-80 (2020).MSC公司:68N17号 2017年第68季度 68年第27季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Bliem}等人,J.Artif。智力。研究(JAIR)67,35-80(2020;Zbl 1494.68040) 全文: 内政部
埃里克·迈克尔·蒂蒙斯;威廉姆斯,布莱恩·查尔斯 基于边界冲突的最佳优先枚举及其在大规模混合估计中的应用。 (英语) Zbl 1494.68258号 J.阿蒂夫。智力。研究(JAIR) 67, 1-34 (2020).MSC公司:68T20型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Timmons}和\textit{B.C.Williams},J.Artif。智力。研究(JAIR)67,1-34(2020;Zbl 1494.68258) 全文: 内政部