Wałęga、PrzemysÞaw;米夏·扎维兹基;Cuenca Grau,贝尔纳多 具有度量时态运算符的数据日志程序的有限可物性。 (英语) Zbl 1506.68015号 J.阿蒂夫。智力。研究(JAIR) 76, 471-521 (2023).MSC公司:68N17号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.WałÉga}等人,J.Artif。智力。研究(JAIR)76,471--521(2023;Zbl 1506.68015) 全文: 内政部
彼得·琼森;维克托·拉盖克维斯特;塞巴斯蒂安·奥德尼亚克 无限域约束满足中的计算捷径。 (英语) Zbl 1502.68273号 J.阿蒂夫。智力。研究(JAIR) 75, 793-831 (2022).MSC公司:68T20型 65年第68季度 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Jonsson}等人,J.Artif。智力。研究(JAIR)75,793--831(2022;Zbl 1502.68273) 全文: 内政部 arXiv公司
维托里奥·比洛;米歇尔·弗拉米尼;摩纳哥,Gianpiero;卢卡·莫斯卡德利 买方预选的定价问题。 (英语) Zbl 1512.91060号 J.阿蒂夫。智力。研究(JAIR) 74, 1791-1822 (2022).MSC公司:91B24型 2017年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{V.Biló}等人,J.Artif。智力。研究(JAIR)74,1791-1822(2022;Zbl 1512.91060) 全文: 内政部
罗德里戈·托罗·伊卡尔特;Klassen,Toryn Q。;理查德·瓦伦扎诺;希拉·麦克拉伊思。 奖励机器:在强化学习中利用奖励功能结构。 (英语) Zbl 1522.68482号 J.阿蒂夫。智力。研究(JAIR) 73, 173-208 (2022).MSC公司:68T05型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Toro Icarte}等人,J.Artif。智力。研究(JAIR)73、173--208(2022年;Zbl 1522.68482) 全文: 内政部 arXiv公司
简·马利 对对象集进行排序:避免不可能结果的复杂性。 (英语) Zbl 1522.91112号 J.阿蒂夫。智力。研究(JAIR) 73,1-65(2022).MSC公司:91B14号机组 91B08型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Maly}、J.Artif。智力。研究(JAIR)73,1-65(2022;Zbl 1522.91112) 全文: 内政部 arXiv公司
约翰·利维埃拉托斯;Phokion G.科莱蒂斯。;Lefteris Kirousis公司 关于非独裁聚合的计算复杂性。 (英语) 兹比尔1518.68144 J.阿蒂夫。智力。研究(JAIR) 72, 137-183 (2021).MSC公司:65年第68季度 68T20型 第68页第42页 68瓦40 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Livieratos}等人,J.Artif。智力。研究(JAIR)72,137--183(2021;Zbl 1518.68144) 全文: 内政部
尼古拉斯·博伊梅尔;罗伯特·布雷德里克;克劳斯·海格;罗尔夫·尼德迈尔 稳定婚姻中的贿赂和控制。 (英语) Zbl 1519.91175号 J.阿蒂夫。智力。研究(JAIR) 71993-1048(2021).MSC公司:91B68型 2017年第68季度 65年第68季度 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Boehmer}等人,J.Artif。智力。研究(JAIR)71,993--1048(2021;Zbl 1519.91175) 全文: 内政部 arXiv公司
托莫莱顿;约翰·沃纳(Johannes P.Wallner)。;Järvisalo,马蒂 基于假设的论证的声明性算法和复杂性结果。 (英语) Zbl 1519.68254号 J.阿蒂夫。智力。研究(JAIR) 71, 265-318 (2021).MSC公司:68T27型 68N17号 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Lehtonen}等人,J.Artif。智力。研究(JAIR)71,265--318(2021;Zbl 1519.68254) 全文: 内政部
库泽·埃尔卡,Ondřej 用计数量词对二变量片段进行加权一阶模型计数。 (英语) Zbl 1510.68109号 J.阿蒂夫。智力。研究(JAIR) 70, 1281-1307 (2021).MSC公司:68T27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kuíelka},J.Artif(阿蒂夫)。智力。研究(JAIR)701281--1307(2021;Zbl 1510.68109) 全文: 内政部 arXiv公司
亚历山大·什利夫曼;彼得·琼森 有限域规划中计算对称性的计算复杂性。 (英语) Zbl 1512.68313号 J.阿蒂夫。智力。研究(JAIR) 70, 1183-1221 (2021).MSC公司:68T20型 20对25 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Shleyfman}和\textit{P.Jonsson},J.Artif。智力。决议(JAIR)701183-1221(2021年;兹bl 1512.68313) 全文: 内政部
丹尼尔·布兰科(Daniel Furelos-Blanco);法律,马克;安德斯·琼森;俄罗斯布罗达;亚历山德拉·拉索 用于强化学习的子目标自动机的归纳和开发。 (英语) Zbl 1512.68275号 J.阿蒂夫。智力。研究(JAIR) 70, 1031-1116 (2021).MSC公司:68T05型 68N17号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Furelos-Blanco}等人,J.Artif。智力。研究(JAIR)70,1031--1116(2021;Zbl 1512.68275) 全文: 内政部 arXiv公司
尼基尔·维亚斯;莱恩·威廉姆斯 在超强ETH上。 (英语) Zbl 1512.68115号 J.阿蒂夫。智力。研究(JAIR) 70, 473-495 (2021).MSC公司:65年第68季度 68兰特 68T20型 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{N.Vyas}和\textit{R.Williams},J.Artif。智力。决议(JAIR)70473-495(2021;兹比尔1512.68115) 全文: 内政部
斯蒂芬·瓦尔钦;简·麦克唐纳;萨沙·豪赫;吉塔·库蒂尼奥克 理解二进制分类器决策的计算复杂性。 (英语) Zbl 1512.68116号 J.阿蒂夫。智力。研究(JAIR) 70, 351-387 (2021).MSC公司:65年第68季度 2006年第68季度 2015年第68季度 68T05型 68周25 PDF格式BibTeX公司 XML格式引用 \textit{S.Wäldchen}等人,J.Artif。智力。研究(JAIR)70,351--387(2021;Zbl 1512.68116) 全文: 内政部 arXiv公司
克里斯特·Bäckström;彼得·琼森;塞巴斯蒂安·奥德尼亚克 成本优化规划、删除松弛、近似性和启发式。 (英语) Zbl 1461.68213号 J.阿蒂夫。智力。研究(JAIR) 70, 169-204 (2021). 审核人:卡洛斯·佩德罗·冈萨尔维斯(里斯本) MSC公司:68T20型 65年第68季度 68年第27季度 68周25 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{C.Bäckström}等人,J.Artif。智力。研究(JAIR)70,169--204(2021;Zbl 1461.68213) 全文: 内政部
曼纽尔·阿方塞卡;曼纽尔·塞布里安;安东尼奥·费尔南德斯·安塔;洛伦佐·科维埃洛;安德烈斯·阿贝利克;伊亚德·拉文 超智能无法被遏制:可计算性理论的教训。 (英语) Zbl 1497.68408号 J.阿蒂夫。智力。研究(JAIR) 70,65-76(2021).MSC公司:68T01型 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alfonseca}等人,J.Artif。智力。研究(JAIR)70,65--76(2021;Zbl 1497.68408) 全文: 内政部 arXiv公司
莎拉·爱丽丝·加格尔;塞巴斯蒂安·鲁道夫;汉内斯·斯特拉 关于抽象辩证框架的分解和基于天真的语义的复杂性。 (英语) Zbl 1476.68251号 J.阿蒂夫。智力。研究(JAIR) 70, 1-64 (2021).MSC公司:68T27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Gaggl}等人,J.Artif。智力。决议(JAIR)70,1--64(2021;兹bl 1476.68251) 全文: 内政部
詹弗兰科·兰佩蒂;玛丽娜·扎内拉;赵祥福 深层离散排气系统的诊断。 (英语) Zbl 1497.68314号 J.阿蒂夫。智力。研究(JAIR) 69, 1473-1532 (2020).MSC公司:第68季度第60季度 65年第68季度 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{G.Lamperti}等人,J.Artif。智力。研究(JAIR)69,1473-1532(2020;Zbl 1497.68314) 全文: 内政部
鱼,本杰明;列维·雷津 关于从未标记数据中学习类比率的复杂性。 (英语) Zbl 1497.68419号 J.阿蒂夫。智力。研究(JAIR) 69, 1333-1349 (2020).MSC公司:68T05型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Fish}和\textit{L.Reyzin},J.Artif。智力。决议(JAIR)6911333-1349(2020年;兹bl 1497.68419) 全文: 内政部 arXiv公司
斯特凡·吕特克;托马斯·柯尔斯特 在多集重写系统中提升贝叶斯滤波。 (英语) Zbl 1496.68338号 J.阿蒂夫。智力。研究(JAIR) 69, 1203-1254 (2020).MSC公司:68层37 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lüdtke}和\textit{T.Kirste},J.Artif。智力。研究(JAIR)69,1203--1254(2020;Zbl 1496.68338) 全文: 内政部
阿特姆·卡兹纳切夫;大卫·A·科恩。;彼得·杰文斯(Peter G.Jeavons)。 通过有值约束表示健身景观,以了解局部搜索的复杂性。 (英语) Zbl 1496.68302号 J.阿蒂夫。智力。研究(JAIR) 69, 1077-1102 (2020).MSC公司:68T20型 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Kaznatchev}等人,J.Artif。智力。决议(JAIR)691077-1102(2020;兹bl 1496.68302) 全文: 内政部 arXiv公司
乌尔·恩德里斯;罗纳德·哈恩;杰罗姆·朗;玛丽亚·斯拉夫科维奇 判断聚合中结果决定的复杂性。 (英语) Zbl 1496.68315号 J.阿蒂夫。智力。研究(JAIR) 69, 687-731 (2020).MSC公司:68T27型 65年第68季度 第68页第42页 PDF格式BibTeX公司 XML格式引用 \textit{U.Endriss}等人,J.Artif。智力。研究(JAIR)69,687--731(2020;Zbl 1496.68315) 全文: 内政部
雅各布·班菲;维克拉姆·史雷;马克·坎贝尔 在敌对、动态和不确定的环境中规划高级路径。 (英语) Zbl 1490.68239号 J.阿蒂夫。智力。研究(JAIR) 69, 297-342 (2020).MSC公司:68T40型 65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Banfi}等人,J.Artif。智力。研究(JAIR)69,297--342(2020;Zbl 1490.68239) 全文: 内政部
悉达哈·古普塔;萨尔,盖伊;梅拉夫·泽哈维 蛇形机器人运动规划的参数化复杂性。 (英语) Zbl 1490.68121号 J.阿蒂夫。智力。研究(JAIR) 69, 191-229 (2020).MSC公司:68年第27季度 68兰特 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{S.Gupta}等人,J.Artif。智力。研究(JAIR)69,191--229(2020;Zbl 1490.68121) 全文: 内政部 arXiv公司
保罗·戈德伯格(Paul W.Goldberg)。;亚历山大·霍伦德;瓦鲁特省苏克松邦 连续切饼:硬度结果和近似算法。 (英语) Zbl 1490.68242号 J.阿蒂夫。智力。研究(JAIR) 69, 109-141 (2020).MSC公司:第68页第42页 2017年第68季度 68周25 91B32型 PDF格式BibTeX公司 XML格式引用 \textit{P.W.Goldberg}等人,J.Artif。智力。研究(JAIR)69,109--141(2020;Zbl 1490.68242) 全文: 内政部 arXiv公司
沃伊切赫·贾姆罗加;沃伊切赫·彭泽克;特奥菲尔·西多鲁克;彼得·德米因斯基;安东尼·马祖基维奇 战略能力的部分订单削减。 (英语) Zbl 1453.68197号 J.阿蒂夫。智力。研究(JAIR) 68, 817-850 (2020).MSC公司:第68页第42页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}等人,J.Artif。智力。研究(JAIR)68,817--850(2020;Zbl 1453.68197) 全文: 内政部
迈克尔·克劳克;马塞尔·斯坦梅茨;霍夫曼,约格;霍尔格·赫尔曼斯 弥合概率模型检查和概率规划之间的差距:调查、汇编和实证比较。 (英语) Zbl 1445.68134号 J.阿蒂夫。智力。研究(JAIR) 68, 247-310 (2020).MSC公司:第68季度第60季度 87年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Klauck}等人,J.Artif。智力。研究(JAIR)68,247--310(2020;Zbl 1445.68134) 全文: 内政部
哈娜·乔克勒;帕斯卡·凯塞利;丹尼尔·克罗宁;斯特里赫曼(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 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.68253号 J.阿蒂夫。智力。研究(JAIR) 66, 655-689 (2019).MSC公司:68T20型 第68页第19页 65年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lissovoi}和\textit{P.S.Oliveto},J.Artif。智力。研究(JAIR)66,655--689(2019;Zbl 1494.68253) 全文: 内政部
米查尔·乔泽夫·纳皮克;艾蒂安·安德烈;劳雷·佩特鲁奇;沃伊切赫·贾姆罗加;沃伊切赫·彭泽克 定时ATL:忘记记忆,只需计数。 (英语) Zbl 1430.68309号 J.阿蒂夫。智力。研究(JAIR) 66, 197-223 (2019).MSC公司:68T27型 03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Knapik}等人,J.Artif。智力。研究(JAIR)66,197--223(2019;Zbl 1430.68309) 全文: 内政部
丹尼尔·卡拉佩提安;安德鲁·帕克斯。;格雷戈里·古汀;安德烈·加加林 基于模式的方法解决具有用户依赖约束的工作流可满足性问题。 (英语) Zbl 1493.68342号 J.阿蒂夫。智力。研究(JAIR) 66, 85-122 (2019).MSC公司:68T20型 65年第68季度 68年第27季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Karapetyan}等人,J.Artif。智力。研究(JAIR)66,85-122(2019;Zbl 1493.68342) 全文: 内政部 arXiv公司
安妮丝·伊斯梅利;内藤滨田;张宇哲;铃木、塔卡马萨;Makoto Yokoo公司 具有预算限制的加权匹配市场。 (英语) Zbl 1477.91034号 J.阿蒂夫。智力。研究(JAIR) 65, 393-421 (2019).MSC公司:91B68型 91A06型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Ismaili}等人,J.Artif。智力。决议(JAIR)65393-421(2019年;兹bl 1477.91034) 全文: 内政部
潘卡杰·R·特朗。;穆林达尔·辛格。;尼尔·约克-史密斯 目标和承诺的耦合操作语义。 (英语) Zbl 1477.68321号 J.阿蒂夫。智力。研究(JAIR) 65, 31-85 (2019).MSC公司:第68页第42页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.R.Telang}等人,J.Artif。智力。研究(JAIR)65,31-85(2019;Zbl 1477.68321) 全文: 内政部
卡洛·库比;罗伯托·波塞纳托;卢卡·维甘诺;马蒂奥·扎瓦特里 具有不确定性和资源的条件简单时间网络。 (英语) Zbl 1489.68250号 J.阿蒂夫。智力。研究(JAIR) 64, 931-985 (2019).MSC公司:68T20型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Combi}等人,J.Artif。智力。决议(JAIR)64931--985(2019年;兹比尔1489.68250) 全文: 内政部
弗农·亚松森;张燕;张恒;李瑞轩 带函数符号的多项式和指数有界逻辑程序:一些新的可判定类。 (英语) Zbl 1489.68049号 J.阿蒂夫。智力。研究(JAIR) 64, 749-815 (2019).MSC公司:68N17号 2015年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Asuncion}等人,J.Artif。智力。研究(JAIR)64,749--815(2019;Zbl 1489.68049) 全文: 内政部
伯恩哈德·内贝尔;托马斯·博兰德;托尔斯滕·恩格斯;罗伯特·马特米勒 目的地不确定性下的隐式协调多智能体路径搜索:成功保证和计算复杂性。 (英语) Zbl 1477.68320号 J.阿蒂夫。智力。研究(JAIR) 64497-527(2019).MSC公司:第68页第42页 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Nebel}等人,J.Artif。智力。研究(JAIR)64,497--527(2019;Zbl 1477.68320) 全文: 内政部
Cuenca Grau,贝尔纳多;埃戈尔·柯斯特列夫(Egor V.Kostylev)。 链接数据匿名化的逻辑基础。 (英语) Zbl 1477.68090号 J.阿蒂夫。智力。研究(JAIR) 64, 253-314 (2019).MSC公司:第68页,共15页 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Cuenca Grau}和\textit{E.V.Kostylev},J.Artif。智力。研究(JAIR)64,253--314(2019;Zbl 1477.68090) 全文: 内政部
尤拉姆·巴赫拉赫;伊迪丝·埃尔金;恩里科·马利齐亚;雷谢夫·迈尔;德米特里·帕切尼克;Rosenschein,Jeffrey S。;约尔格·罗特;迈克尔·扎克曼 对稳定合作游戏的成本有限制。 (英语) Zbl 1454.91012号 J.阿蒂夫。智力。研究(JAIR) 63, 987-1023 (2018).MSC公司:91A12号机组 91A68型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Bachrach}等人,J.Artif。智力。决议(JAIR)63,987--1023(2018;Zbl 1454.91012) 全文: 内政部
瓦莱里亚·菲昂达;吉安路易吉·格雷科 有限和过程跟踪上的LTL:复杂性结果和实用推理器。 (英语) Zbl 1451.68176号 J.阿蒂夫。智力。研究(JAIR) 63, 557-623 (2018).MSC公司:第68季度第60季度 03B44号 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Fionda}和\textit{G.Greco},J.Artif。智力。研究(JAIR)63,557--623(2018;Zbl 1451.68176) 全文: 内政部
藤田裕寿;Lesca,Julien(朱利安·莱斯卡);秋叶纯田;Taiki托多;Makoto Yokoo公司 有条件词典排序偏好下核心选择交换的复杂性方法。 (英语) Zbl 1454.91105号 J.阿蒂夫。智力。研究(JAIR) 63, 515-555 (2018).MSC公司:91B32型 91B03型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Fujita}等人,J.Artif。智力。研究(JAIR)63,515--555(2018;Zbl 1454.91105) 全文: 内政部
马雷克·赛根;科瓦利克,乌卡斯;阿卡迪乌斯索卡;科兹兹托夫·索纳特 minimax批准投票的近似和参数化复杂性。 (英语) Zbl 1451.68130号 J.阿蒂夫。智力。研究(JAIR) 63, 495-513 (2018).MSC公司:65年第68季度 2017年第68季度 68周25 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Cygan}等人,J.Artif。智力。研究(JAIR)63,495--513(2018;Zbl 1451.68130) 全文: 内政部 arXiv公司
艾曼纽尔·安娜·迪特兹·索尔丹哈;斯特芬·Hölldobler;Dewi Puspa Kencana Ramli,卡罗琳;路易斯·梅迪纳切利宫 具有怀疑推理的弱完成语义的一种核心方法。 (英语) Zbl 1448.68405号 J.阿蒂夫。智力。研究(JAIR) 63, 51-86 (2018).MSC公司:68立方英尺 68N17号 68问题55 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{E.-A.Dietz Saldanha}等人,J.Artif。智力。研究(JAIR)63、51--86(2018;Zbl 1448.68405) 全文: 内政部
塞巴斯蒂安·布兰特;卡莱奇、埃伦·古泽尔;弗拉迪斯拉夫·里日科夫;肖国辉;迈克尔·扎克哈里亚舍夫 使用度量时态逻辑查询日志数据。 (英语) Zbl 1451.68087号 J.阿蒂夫。智力。研究(JAIR) 62, 829-877 (2018).MSC公司:第68页,共15页 03B44号 2017年第68季度 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.Brandt}等人,J.Artif。智力。研究(JAIR)62,829--877(2018;Zbl 1451.68087) 全文: 内政部 arXiv公司
纳塔利亚·克里亚多 多agent系统中基于资源的规范监控。 (英语) Zbl 1444.68256号 J.阿蒂夫。智力。研究(JAIR) 62, 153-192 (2018).MSC公司:第68页第42页 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Criado},J.Artif。智力。研究(JAIR)62,153--192(2018;Zbl 1444.68256) 全文: 链接
Krzysztof R.阿普特。;多米尼克·沃伊特扎克 分布式认知八卦协议的验证。 (英语) Zbl 1444.68255号 J.阿蒂夫。智力。研究(JAIR) 62, 101-132 (2018).MSC公司:第68页第42页 03B25号 03B42号 68M10个 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}和\textit{D.Wojtczak},J.Artif。智力。研究(JAIR)62、101--132(2018;Zbl 1444.68255) 全文: 链接
Ciaran McCreesh;帕特里克·普洛瑟;克莉丝汀·索尔农;詹姆斯·特里姆布尔 当子图同构真的很难的时候,以及为什么这对图数据库很重要。 (英语) Zbl 1440.68192号 J.阿蒂夫。智力。研究(JAIR) 61, 723-759 (2018).MSC公司:68兰特 05C60型 第68页,共15页 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.McCreesh}等人,J.Artif。智力。研究(JAIR)61,723--759(2018;Zbl 1440.68192) 全文: 内政部
丹尼尔·菲舍尔;安东·科门达 用于经典规划的事实替代互斥组。 (英语) Zbl 1440.68253号 J.阿蒂夫。智力。研究(JAIR) 61, 475-521 (2018).MSC公司:68T20型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Fišer}和\textit{A.Komenda},J.Artif。智力。研究(JAIR)61,475--521(2018;Zbl 1440.68253) 全文: 内政部
威廉·兹威克。 一大类聚合规则中的循环和棘手问题。 (英语) Zbl 1440.91017号 J.阿蒂夫。智力。研究(JAIR) 61, 407-431 (2018).MSC公司:91B14号机组 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.S.茨威克},J.Artif。智力。研究(JAIR)61,407--431(2018;Zbl 1440.91017) 全文: 内政部 arXiv公司
塞尔吉奥·阿布里奥拉;巴勃罗·巴塞洛;迭戈·菲格拉;圣地亚哥菲格拉 数据图上的相互模拟。 (英语) Zbl 1426.68179号 J.阿蒂夫。智力。研究(JAIR) 61, 171-213 (2018).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Abriola}等人,J.Artif。智力。研究(JAIR)61,171--213(2018;Zbl 1426.68179) 全文: 内政部
陈洁华;彼得·法利舍夫斯基;罗尔夫·尼德迈尔;尼姆罗德·塔尔蒙 选民少的选举:候选人控制可能很容易。 (英语) Zbl 1426.91092号 J.阿蒂夫。智力。研究(JAIR) 60, 937-1002 (2017).MSC公司:91B12号机组 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Chen}等人,J.Artif。智力。研究(JAIR)60,937--1002(2017;Zbl 1426.91092) 全文: 内政部 arXiv公司 链接
彼得·斯科隆;彼得·法利舍夫斯基 张伯林-库兰特(Chamberlin-Courant)的赞成票规则:用FPT时间内有界频率近似MaxCover问题。 (英语) Zbl 1423.68601号 J.阿蒂夫。智力。研究(JAIR) 60, 687-716 (2017).MSC公司:68周25 65年第68季度 91B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{P.Skowron}和\textit{P.Faliszewski},J.Artif。智力。研究(JAIR)60,687--716(2017;Zbl 1423.68601) 全文: 内政部
克里斯特·Bäckström;彼得·琼森 规划的时间和空间界限。 (英语) Zbl 1423.68433号 J.阿蒂夫。智力。研究(JAIR) 60, 595-638 (2017).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Bäckström}和\textit{P.Jonsson},J.Artif。智力。研究(JAIR)60,595--638(2017;Zbl 1423.68433) 全文: 内政部
法比奥·加利亚迪·科兹曼;德尼·德拉塔尼·毛阿 概率逻辑程序的语义和复杂性。 (英语) 兹比尔1418.68027 J.阿蒂夫。智力。研究(JAIR) 60, 221-262 (2017).MSC公司:68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Gagliardi Cozman}和\textit{D.Deratani Mauá},J.Artif。智力。研究(JAIR)60,221--262(2017;Zbl 1418.68027) 全文: 内政部 arXiv公司
约翰·沃纳(Johannes P.Wallner)。;安德烈亚斯·尼斯卡宁;Järvisalo,马蒂 抽象论证中扩展实施的复杂性结果和算法。 (英语) Zbl 1418.68196号 J.阿蒂夫。智力。研究(JAIR) 60,1-40(2017).MSC公司:68T27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Wallner}等人,J.Artif。智力。研究(JAIR)60,1-40(2017;Zbl 1418.68196) 全文: 内政部
伊恩·詹特(Ian P.Gent)。;克里斯托弗·杰斐逊;彼得·南丁格尔 (n)-皇后完成的复杂性。 (英语) Zbl 1418.68099号 J.阿蒂夫。智力。研究(JAIR) 59, 815-848 (2017).MSC公司:2017年第68季度 05B30型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{I.P.Gent}等人,J.Artif。智力。决议(JAIR)59815-848(2017年;兹bl 1418.68099) 全文: 内政部
罗伯特·布雷德里克;陈洁华;罗尔夫·尼德迈尔;托比·沃尔什 议会投票程序:议程控制、操纵和不确定性。 (英语) Zbl 1417.91183号 J.阿蒂夫。智力。研究(JAIR) 59, 133-173 (2017).MSC公司:91B12号机组 91F10层 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bredereck}等人,J.Artif。智力。研究(JAIR)59,133--173(2017;Zbl 1417.91183) 全文: 内政部 arXiv公司
阿列克桑德罗维奇(Aleksandrowicz,Gadi);哈娜·乔克勒;约瑟夫·霍尔珀(Joseph Y.Halpern)。;亚历山大·伊夫里 基于结构的因果关系的计算复杂性。 (英语) Zbl 1408.68133号 J.阿蒂夫。智力。研究(JAIR) 58, 431-451 (2017).MSC公司:68T27型 2015年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Aleksandrowicz}等人,J.Artif。智力。研究(JAIR)58,431--451(2017;Zbl 1408.68133) 全文: 内政部 arXiv公司
哥波尔·埃尔德莱伊;马丁·拉克纳;安德烈亚斯·普范德勒 几乎是单峰选民的计算方面。 (英语) 兹比尔1419.91248 J.阿蒂夫。智力。研究(JAIR) 58, 297-337 (2017).MSC公司:91B12号机组 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Erdélyi}等人,J.Artif。智力。研究(JAIR)58,297--337(2017;Zbl 1419.91248) 全文: 内政部 arXiv公司
詹姆斯·库森;Järvisalo,马蒂;Janne H.Korhonen。;马克·巴特利特 贝叶斯网络结构学习与整数规划:多面体,方面和复杂性。 (英语) Zbl 1404.68099号 J.阿蒂夫。智力。研究(JAIR) 58, 185-229 (2017).MSC公司:68T05型 65年第68季度 90立方厘米 90C57型 PDF格式BibTeX公司 XML格式引用 \textit{J.Cussens}等人,J.Artif。智力。研究(JAIR)58,185-229(2017;Zbl 1404.68099) 全文: 内政部 arXiv公司
维克托·古铁雷斯-巴苏尔托;让·克里斯托夫·荣格;卡斯滕·卢茨;卢茨施罗德 主观不确定性的概率描述逻辑。 (英语) Zbl 1401.68305号 J.阿蒂夫。智力。研究(JAIR) 58, 1-66 (2017).MSC公司:68T27型 65年第68季度 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{V.Gutiérrez-Basulto}等人,J.Artif。智力。研究(JAIR)58,1--66(2017;Zbl 1401.68305) 全文: 内政部
彼得·萨维克;彼得·库切拉 生成具有多项式延迟的匹配公式的模型。 (英语) Zbl 1362.68261号 J.阿蒂夫。智力。研究(JAIR) 56, 379-402 (2016).MSC公司:68T20型 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.萨维克}和textit{P.库切拉},J.阿蒂夫。智力。研究(JAIR)56,379--402(2016;Zbl 1362.68261) 全文: 内政部
马克西米利安·菲克特;霍夫曼,约格;马塞尔·斯坦梅茨 将删除松弛与关键路径启发式相结合:直接描述。 (英语) Zbl 1362.68258号 J.阿蒂夫。智力。研究(JAIR) 56, 269-327 (2016).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Fickert}等人,J.Artif。智力。研究(JAIR)56,269--327(2016;Zbl 1362.68258) 全文: 内政部
Franz巴德;梅亨·宾文努;卡斯滕·卢茨;弗兰克·沃尔特 基于本体的数据访问中的查询和谓词空性。 (英语) Zbl 1357.68226号 J.阿蒂夫。智力。研究(JAIR) 56, 1-59 (2016).MSC公司:68立方英尺 第68页,共15页 65年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人,J.Artif。智力。研究(JAIR)56,1-59(2016;Zbl 1357.68226) 全文: 内政部
娜塔莉亚·弗莱罗娃;拉杜·马里内斯库;丽娜·德希特 在图形模型中搜索最佳解决方案。 (英语) Zbl 1352.68221号 J.阿蒂夫。智力。研究(JAIR) 55, 889-952 (2016).MSC公司:68T20型 65年第68季度 90C27型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{N.Flerova}等人,J.Artif。智力。研究(JAIR)55,889--952(2016;Zbl 1352.68221) 全文: 内政部
罗伯特·布雷德里克;彼得·法利舍夫斯基;罗尔夫·尼德迈尔;尼姆罗德·塔尔蒙 大规模竞选:组合转移贿赂。 (英语) Zbl 1352.68094号 J.阿蒂夫。智力。研究(JAIR) 55, 603-652 (2016).MSC公司:65年第68季度 2017年第68季度 68周25 91B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Bredereck}等人,J.Artif。智力。研究(JAIR)55,603--652(2016;Zbl 1352.68094) 全文: 内政部
本·斯特拉瑟;博蒂亚,阿迪;丹尼尔·哈拉博尔 使用行程编码压缩最佳路径。 (英语) Zbl 1347.68115号 J.阿蒂夫。智力。研究(JAIR) 54, 593-629 (2015).MSC公司:第68页,共15页 68页30 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Strasser}等人,J.Artif。智力。研究(JAIR)54,593--629(2015;Zbl 1347.68115) 全文: 内政部
约翰·奎斯特霍特 贝叶斯网络中MAP近似的树宽度和计算复杂性。 (英语) Zbl 1336.68136号 J.阿蒂夫。智力。研究(JAIR) 53, 699-720 (2015).MSC公司:65年第68季度 62H30型 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Kwisthout}、J.Artif。智力。决议(JAIR)53699-720(2015年;兹bl 1336.68136) 全文: 内政部
费利克斯·勃兰特;马库斯·布里尔;赫马斯潘德拉,伊迪丝;Hemaspandra,A巷。 绕过组合保护:针对单峰选民的多项式时间算法。 (英语) 兹比尔1337.91039 J.阿蒂夫。智力。研究(JAIR) 53, 439-496 (2015).MSC公司:91B14号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Brandt}等人,J.Artif。智力。研究(JAIR)53,439--496(2015;Zbl 1337.91039) 全文: 内政部
彼得·法利舍夫斯基;赫马斯潘德拉,伊迪丝;Hemaspandra,A巷。 加权选举控制。 (英语) Zbl 1328.91068号 J.阿蒂夫。智力。研究(JAIR) 52,507-542(2015).MSC公司:91B12号机组 2017年第68季度 65年第68季度 68周25 91F10层 PDF格式BibTeX公司 XML格式引用 \textit{P.Faliszewski}等人,J.Artif。智力。研究(JAIR)52,507--542(2015;Zbl 1328.91068) 全文: 内政部 arXiv公司
薛、珊;艾伦·芬;丹尼尔·谢尔顿 通过网络级联优化实现最大灵活性的调度节约设计。 (英语) Zbl 1325.90052号 J.阿蒂夫。智力。研究(JAIR) 52, 331-360 (2015).MSC公司:90B35型 2017年第68季度 05C85号 91B76号 92D40型 PDF格式BibTeX公司 XML格式引用 \textit{S.Xue}等人,J.Artif。智力。决议(JAIR)52331--360(2015年;兹bl 1325.90052) 全文: 内政部
罗纳德·哈恩;伊亚德·坎吉;斯泽德,斯特凡 关于CSP的次指数时间复杂度。 (英语) Zbl 1323.68325号 J.阿蒂夫。智力。研究(JAIR) 52, 203-234 (2015).MSC公司:65年第68季度 2017年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.de Haan}等人,J.Artif。智力。研究(JAIR)52,203--234(2015;Zbl 1323.68325) 全文: 内政部
乔佩克,Ondřej;什蒂凡·古尔斯克;彼得·库切拉 关于匹配公式的最小表示。 (英语) Zbl 1315.68136号 J.阿蒂夫。智力。研究(JAIR) 51, 707-723 (2014).MSC公司:2017年第68季度 03B05号 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{O.采佩克}等人,J.Artif。智力。研究(JAIR)51,707--723(2014;Zbl 1315.68136) 全文: 内政部
乔治·斯特凡诺尼;鲍里斯·莫提克;马库斯·科洛奇;塞巴斯蒂安·鲁道夫 在OWL 2 EL知识库上回答联合和导航查询的复杂性。 (英语) Zbl 1315.68117号 J.阿蒂夫。智力。研究(JAIR) 51, 645-705 (2014).MSC公司:第68页,共15页 2017年第68季度 65年第68季度 68立方英尺 68层35 PDF格式BibTeX公司 XML格式引用 \textit{G.Stefanoni}等人,J.Artif。智力。研究(JAIR)51,645--705(2014;Zbl 1315.68117) 全文: 内政部
大卫·科恩;杰森·克兰普顿;安德烈·加加林;格雷戈里·古汀;马克·琼斯 工作流可满足性问题的迭代计划构造。 (英语) Zbl 1315.68145号 J.阿蒂夫。智力。研究(JAIR) 51, 555-577 (2014).MSC公司:65年第68季度 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cohen}等人,J.Artif。智力。研究(JAIR)51,555--577(2014;Zbl 1315.68145) 全文: 内政部 arXiv公司
蔡少伟;罗,川;苏凯乐 基于长子句的\(k \)-SAT二级分数的评分函数。 (英语) Zbl 1367.68261号 J.阿蒂夫。智力。研究(JAIR) 51, 413-441 (2014).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Cai}等人,J.Artif。智力。研究(JAIR)51,413--441(2014;Zbl 1367.68261) 全文: 内政部
克里斯特·Bäckström;安德斯·琼森;彼得·琼森 自动化计划。 (英语) Zbl 1364.68329号 J.阿蒂夫。智力。研究(JAIR) 51, 255-291 (2014).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Bäckström}等人,J.Artif。智力。研究(JAIR)51,255--291(2014;Zbl 1364.68329) 全文: 内政部
大卫·伯格曼;安德烈·西尔(Andre A.Cire)。;威廉·扬·范霍夫 序列约束的MDD传播。 (英语) Zbl 1366.68072号 J.阿蒂夫。智力。研究(JAIR) 50, 697-722 (2014).MSC公司:2017年第68季度 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bergman}等人,J.Artif。智力。研究(JAIR)50,697--722(2014;Zbl 1366.68072) 全文: 内政部
毛阿,Denis Deratani;凯西奥·波尔波·德坎波斯;阿莱西奥·贝纳沃利;亚历山德罗·安东努奇 credal网络中的概率推理:新的复杂性结果。 (英语) Zbl 1366.68329号 J.阿蒂夫。智力。研究(JAIR) 50, 603-637 (2014).MSC公司:68层37 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.D.Mauá}等人,J.Artif。智力。研究(JAIR)50,603--637(2014;Zbl 1366.68329) 全文: 内政部
阿尼亚·雷伊;约尔格·罗特 加权投票游戏中的假名操纵对于概率多项式时间来说是很困难的。 (英语) Zbl 1366.68080号 J.阿蒂夫。智力。研究(JAIR) 50, 573-601 (2014).MSC公司:2017年第68季度 91A12号机组 91B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Rey}和\textit{J.Rothe},J.Artif。智力。研究(JAIR)50,573--601(2014;Zbl 1366.68080) 全文: 内政部
马丁·库珀。;弗雷德里克·马里斯;Régnier,皮埃尔 单调时间规划:可处理性、扩展和应用。 (英语) Zbl 1372.68232号 J.阿蒂夫。智力。研究(JAIR) 50, 447-485 (2014).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Cooper}等人,J.Artif。智力。研究(JAIR)50,447--485(2014;Zbl 1372.68232) 全文: 内政部
罗伯特·布雷德里克;陈洁华;哈东,塞普;斯特凡·克拉奇;罗尔夫·尼德迈尔;这样啊,Ondřej;Gerhard J.Woeginger。 多重公民投票游说的多元复杂性分析。 (英语) Zbl 1342.91011号 J.阿蒂夫。智力。研究(JAIR) 50, 409-446 (2014).MSC公司:91B12号机组 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bredereck}等人,J.Artif。智力。研究(JAIR)50409--446(2014;Zbl 1342.91011) 全文: 内政部
贾斯珀·德·博克;格特·德库曼 在不精确隐马尔可夫模型中估计状态序列的有效算法。 (英语) Zbl 1361.68256号 J.阿蒂夫。智力。研究(JAIR) 50, 189-233 (2014).MSC公司:68层37 2005年6月2日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.De Bock}和\textit{G.De Cooman},J.Artif。智力。研究(JAIR)50,189--233(2014;Zbl 1361.68256) 全文: 内政部 arXiv公司
陈素明;亚瑟·崔;阿德南·达尔维切 相同决策概率的算法和应用。 (英语) Zbl 1361.68254号 J.阿蒂夫。智力。研究(JAIR) 49, 601-633 (2014).MSC公司:68层37 62C05型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Chen}等人,J.Artif。智力。研究(JAIR)49,601--633(2014;Zbl 1361.68254) 全文: 内政部
吴瑜(Ledell);澳大利亚,Per;托尼安·皮塔西;大卫·刘 树宽的不近似性及相关问题。 (英语) Zbl 1361.68173号 J.阿蒂夫。智力。研究(JAIR) 49, 569-600 (2014).MSC公司:68兰特 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wu}等人,J.Artif。智力。决议(JAIR)49569--600(2014年;兹bl 1361.68173) 全文: 内政部
吉安路易吉·格雷科;弗朗西斯科·斯卡切罗 公平分配问题的机制:可验证环境中的无惩罚支付规则。 (英语) Zbl 1286.68439号 J.阿蒂夫。智力。研究(JAIR) 49, 403-449 (2014).MSC公司:第68页第42页 91A80型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Greco}和\textit{F.Scarcello},J.Artif。智力。研究(JAIR)49,403--449(2014;Zbl 1286.68439) 全文: 内政部 arXiv公司
多姆什拉克,卡梅尔;安东·纳扎伦科 最优单调规划的复杂性:坏图、好图和因果图。 (英语) Zbl 1361.68196号 J.阿蒂夫。智力。研究(JAIR) 48, 783-812 (2013).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Domshlak}和\textit{A.Nazarenko},J.Artif。智力。研究(JAIR)48,783--812(2013;Zbl 1361.68196) 全文: 内政部
克里斯特·Bäckström;彼得·琼森 因果图和组件大小的改进视图:SP-闭图类及其他。 (英语) Zbl 1269.68055号 J.阿蒂夫。智力。研究(JAIR) 47, 575-611 (2013).MSC公司:2017年第68季度 68T20型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{C.Bäckström}和\textit{P.Jonsson},J.Artif。智力。研究(JAIR)47,575--611(2013;Zbl 1269.68055) 全文: 内政部 arXiv公司
纳贾·贝茨勒;阿卡迪·斯林科;约翰内斯·乌尔曼 关于全比例表示的计算。 (英语) Zbl 1269.68057号 J.阿蒂夫。智力。研究(JAIR) 47,475-519(2013年).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Betzler}等人,J.Artif。智力。研究(JAIR)47,475--519(2013;Zbl 1269.68057) 全文: 内政部 arXiv公司
卢德克·西格勒;博伊·法尔廷斯 通过多智能体学习实现分散式反协调。 (英语) 兹比尔1269.68100 J.阿蒂夫。智力。研究(JAIR) 47, 441-473 (2013).MSC公司:第68页第42页 68问题32 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cigler}和\textit{B.Fallings},J.Artif。智力。研究(JAIR)47,441--473(2013;Zbl 1269.68100) 全文: 内政部 arXiv公司
沃尔夫冈·费伯;特鲁什琴斯基,米洛斯奥;斯特凡·沃尔特兰 定性优化问题的强等价性。 (英语) Zbl 1275.68131号 J.阿蒂夫。智力。研究(JAIR) 47351-391(2013).MSC公司:68T20型 68T27型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Faber}等人,J.Artif。智力。研究(JAIR)47,351--391(2013;Zbl 1275.68131) 全文: 内政部 arXiv公司
尤拉姆·巴赫拉赫;伊利·波拉特;Rosenschein,Jeffrey S。 在合作连接游戏中分享奖励。 (英语) Zbl 1267.68244号 J.阿蒂夫。智力。研究(JAIR) 47, 281-311 (2013).MSC公司:第68页第42页 91A12号机组 91A80型 68兰特 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Bachrach}等人,J.Artif。智力。研究(JAIR)47,281--311(2013;Zbl 1267.68244) 全文: 内政部 arXiv公司
塞巴斯蒂安·奥德尼亚克;斯泽德,斯特凡 精确贝叶斯网络结构学习的参数化复杂度结果。 (英语) Zbl 1272.68344号 J.阿蒂夫。智力。研究(JAIR) 46, 263-302 (2013).MSC公司:68T05型 65年第68季度 62A09号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Ordyniak}和\textit{S.Szeider},J.Artif。智力。研究(JAIR)46,263--302(2013;Zbl 1272.68344) 全文: 内政部 arXiv公司
曼纽尔·博迪尔斯基;马丁·希尔斯 可牵引装置约束。 (英语) Zbl 1280.68235号 J.阿蒂夫。智力。研究(JAIR) 45, 731-759 (2012).MSC公司:68T20型 68T27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}和\textit{M.Hils},J.Artif。智力。研究(JAIR)45,731--759(2012;Zbl 1280.68235) 全文: 内政部
Hang餐厅;丁、休;劳伦特·米歇尔;亚历山大·罗素 在多解搜索空间上具有近似启发式的\(A^*\)的时间复杂性。 (英语) Zbl 1253.68297号 J.阿蒂夫。智力。研究(JAIR) 45, 685-729 (2012).MSC公司:68T20型 68瓦40 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Dinh}等人,J.Artif。智力。研究(JAIR)45,685--729(2012;Zbl 1253.68297) 全文: 内政部
乌尔·恩德里斯;翁贝托·格兰迪;丹尼尔·波雷洛 判断聚合的复杂性。 (英语) 兹比尔1253.68298 J.阿蒂夫。智力。研究(JAIR) 45, 481-514 (2012).MSC公司:68T20型 91B14号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Endriss}等人,J.Artif。智力。研究(JAIR)45,481--514(2012;Zbl 1253.68298) 全文: 内政部 arXiv公司
伊格纳西·阿比奥;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔;瓦伦丁·梅耶尔·艾希伯格 对伪布尔约束的BDD进行了新的研究。 (英语) Zbl 1252.68267号 J.阿蒂夫。智力。研究(JAIR) 45, 443-480 (2012).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Abío}等人,J.Artif。智力。研究(JAIR)45,443--480(2012;Zbl 1252.68267) 全文: 内政部 arXiv公司
声音,托马斯;玛丽亚·波卢卡罗夫;尼古拉斯·R·詹宁斯。 图上的联盟结构生成。 (英语) Zbl 1253.68183号 J.阿蒂夫。智力。研究(JAIR) 45, 165-196 (2012).MSC公司:65年第68季度 90C27型 2017年第68季度 68兰特 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{T.Voice}等人,J.Artif。智力。研究(JAIR)45,165--196(2012;Zbl 1253.68183) 全文: 内政部 arXiv公司
大卫·A·科恩。;马丁·库珀。;巴伊迪·克里德;马克思,达尼尔;安德拉斯·萨拉蒙。 由禁止模式定义的CSP类的可处理性。 (英语) Zbl 1253.68296号 J.阿蒂夫。智力。研究(JAIR) 45, 47-78 (2012).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Cohen}等人,J.Artif。智力。决议(JAIR)45,47-78(2012年;兹bl 1253.68296) 全文: 内政部
P.D.特纳。 领域和功能:语义关系和组成的双空间模型。 (英语) Zbl 1280.68273号 J.阿蒂夫。智力。研究(JAIR) 44, 533-585 (2012).MSC公司:68T50型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.D.Turney},J.Artif。智力。决议(JAIR)44533-585(2012年;兹比尔1280.68273) 全文: 内政部 arXiv公司