《人工智能》第175卷
第175卷第1期,2011年1月
利奥拉·摩根斯顿 , 希拉·麦克拉伊思 :
约翰·麦卡锡的遗产。 1-24 阿尔弗雷多·加巴登 :
情境演算中的非马尔可夫控制。 25-48 安东尼斯·卡卡斯 , 路易斯·迈克尔 , 罗伯·米勒 :
模块化-以及细化容差在解决鉴定问题中的作用。 49-78 潘惠图 , Tran Cao儿子 , 迈克尔·盖尔方德 , A.里卡多·莫拉莱斯 :
行动理论的近似及其在一致性规划中的应用。 79-119 迈克尔·泰尔舍尔 :
统一的动作演算。 120-141 格哈德·莱克梅耶 , 赫克托·J·列夫斯克 :
情境演算中有用片段的语义特征和知识。 142-164 史蒂文·夏皮罗 , 莫里斯·帕格努科 , 伊夫·莱斯佩伦斯 , 赫克托·J·莱维斯克 :
情境演算中的反复信念改变。 165-192 Afsaneh Shirazi先生 , 埃亚尔·埃米尔 :
一阶逻辑滤波。 193-219 约瑟夫·哈珀(Joseph Y.Halpern) , 里卡多·普切拉 :
处理逻辑全知:表达和语用。 220-235 保罗·费拉里斯 , 李佐雄 , 弗拉基米尔·利夫希茨 :
稳定模型和范围。 236-263 林芳珍 , 一周 :
从答案集逻辑编程到通过GK逻辑的限定。 264-277 沃尔夫冈·费伯 , 杰拉尔德·菲弗 , 尼古拉·利昂 :
回答集编程中递归聚合的语义和复杂性。 278-298 市市长戴维斯 :
盒子是怎么工作的? 固体物体的定性动力学研究。 299-345 佩德罗·卡巴拉尔 , 保罗·桑托斯 :
将渔夫的愚蠢之谜正式化。 346-377 菲奥拉·皮里 :
精心设计的逻辑机器人:从观察到情境演算的学习和经验。 378-415 埃里克·桑德沃尔 :
在非单调推理的早期发展中,从系统到逻辑。 416-427 本瑟姆 :
模式键中的McCarthy变量。 428-439
第175卷第2期,2011年2月
巴哈拉克·拉斯特加里 , 安妮·康登 , 凯文·莱顿-布朗 :
确定性、主导策略组合拍卖中的收入单调性。 441-456 保罗·邓恩 , 安东尼·亨特 , 彼得·麦克伯尼 , 西蒙·帕森斯 , 迈克尔·伍尔德里奇 :
加权自变量系统:基本定义、算法和复杂性结果。 457-486 冯武 , 什洛莫·齐尔伯斯坦 , 陈晓平 :
具有有界通信的多智能体系统的在线规划。 487-511 结Pipatsrisawat , 阿德南·达维切 :
关于子句学习SAT解析器作为解析引擎的威力。 512-525 斯蒂芬妮·埃尔泽 , 桑德拉·卡伯里 , 英格丽德·祖克曼 :
简单条形图的自动理解。 526-555 阿方索·杰列维尼 , 亚历山德罗·萨埃蒂 :
通过元图闭包计算基于点的定性时序推理中的最小关系。 556-585 彼得·南丁格尔 :
扩展的全球基数约束:一项实证调查。 586-614 悉达哈斯·斯利瓦斯塔瓦 , 尼尔·伊梅尔曼 , 什洛莫·齐尔伯斯坦 :
广义规划的一种新表示和相关算法。 615-647 阿萨纳西奥斯·帕帕孔斯坦蒂努 , 亚历克斯·罗杰斯 , 恩里科·H·格丁 , 尼古拉斯·R·詹宁斯 :
分布式信息系统中真实获取昂贵概率估计的机制设计。 648-672 奥马尔·卡迪尔 , 杨杰瑞·刘 , 吉安卢卡·坦佩斯蒂 , 乔恩·蒂米斯 , 安迪·泰瑞尔 :
从双向联想记忆到抗噪声、健壮的蛋白质处理器联想记忆。 673-693 Vibhav戈盖特 , 里娜·德希特 :
SampleSearch:存在决定论的重要性抽样。 694-729 亚历克斯·罗杰斯 , 亚历山德罗·法利内利 , 鲁本·斯特兰德斯 , 尼古拉斯·R·詹宁斯 :
通过max-sum算法进行有界近似分散协调。 730-759 佛罗伦萨·杜宾·德圣-西尔 , 杰罗姆·朗 :
信念推断(或如何推理观察结果和不可预测的变化)。 760-790
第175卷,第3-4期,2011年3月
彼得罗·巴罗尼 , 保罗·邓恩 , 马西米利亚诺·贾科明 :
基于解析的抽象议论文语义学家族及其基础实例。 791-813 埃米利亚诺·洛里尼 , 弗朗索瓦·施瓦岑特鲁伯 :
推理反事实情绪的逻辑。 814-847 丹尼尔·布莱斯 , 威廉·库欣 , 苏巴拉奥·坎巴帕蒂 :
状态无关规划图:确定性规划、非确定性规划和概率规划。 848-889 尹晨(音) , 林芳珍 , 张燕(音译) , 一周 :
循环可分程序及其一阶可定义性。 890-913 云凡 , 景深 :
随机k约束满足问题的相变。 914-927
第175卷,编号5-6,2011年4月
兰迪·戈贝尔 , 玛丽·安妮·威廉姆斯 :
扩展仍在继续:将影响人工智能的学科范围缝合在一起。 929
凯文·麦基 :
K.Tanaka-Ishii,《程序符号学》。 930-931 彼得·范·比克 :
David L.Poole和Alan K.Mackworth,《人工智能:计算代理的基础》,剑桥大学出版社(2010年)。 932-934 阿什什·萨巴瓦尔 , 巴特·塞尔曼 :
S.Russell,P.Norvig,《人工智能:现代方法》,第三版。 935-937 彼得·诺维格 :
Nils J.Nilsson,《人工智能探索》,剑桥(2010)。 938-939
M.Ryan Calo先生 :
偷窥哈尔斯。 940-941 帕特里克·林 , 基思·阿布尼 , 乔治·A·贝基 :
机器人伦理:为机械化世界规划问题。 942-949 戴安·普劳德福 :
拟人与人工智能:图灵的模仿游戏被误解了。 950-957 乔纳森·鲁宾 , 伊恩·沃森 :
电脑扑克:综述。 958-987 诸葛海 :
网络物理社会智能空间的语义链接:一种方法。 988-1019 尼克·霍斯 :
智能系统激励框架调查。 1020-1036
第175卷,编号7-8,2011年5月
卡梅尔·多姆什拉克 , 埃克·Hüllermier , 苏希拉·卡奇 , 亨利·普拉德 :
人工智能中的偏好:概述。 1037-1052 尼克·威尔逊 :
条件偏好简单理论的计算技术。 1053-1091 丹尼斯·明多林 , 扬·乔米奇 :
收缩数据库应用程序的首选关系。 1092-1121 迈克尔·麦盖奇 , 乔恩·道尔 :
多属性权衡首选项的局部几何体。 1122-1152 克里斯托夫·冈萨雷斯 , 帕特里斯·佩尼 , Jean-Philippe Dubus公司 :
使用GAI网络进行多目标决策。 1153-1179 罗恩·布拉夫曼 :
控制的关系偏好规则。 1180-1193 梅尔特姆·兹蒂尔克 , 马克·皮尔洛 , 亚历克西斯·祖基斯 :
使用间隔表示首选项。 1194-1222 威廉·沃格曼 , 伯纳德·德·贝茨 :
关于两两排序函数的ERA排序代表性。 1223-1250 文森特·科尼策 , Tuomas Sandholm公司 :
向慈善机构捐款的富有表现力的市场。 1251-1271 玛丽亚·西尔维亚·皮尼 , 弗朗西丝卡·罗西 , 克里斯汀·布伦特·维纳布尔 , 托比·沃尔什 :
偏好聚合中的不完全性和不可比性:复杂性结果。 1272-1289 抚顺亚曼 , 托马斯·沃尔什 , 迈克尔·利特曼 , 玛丽·德斯贾丁斯 :
词典偏好模型的民主近似。 1290-1307 梅亨·宾文努 , 克里斯蒂安·弗里茨 , 希拉·麦克拉伊思 :
指定和计算首选计划。 1308-1345 丹尼尔·基库蒂 , 法比奥·加利亚迪·科兹曼 , 里卡多·西罗塔·菲略 :
偏好部分有序的顺序决策。 1346-1365 Gildas Jeantet公司 , 奥利维尔·斯潘贾德 :
计算顺序决策问题图形模型中的秩相关效用。 1366-1389 迈克尔·D·莫菲特 :
基于约束的时态推理中偏好的建模与优化。 1390-1409 克里斯托夫·拉布鲁什 :
解释多属性偏好模型结果的一般框架。 1410-1448 玛丽·乔·贝洛斯塔 , 西尔维·科曼 , 丹尼尔·范德普顿 :
基于偏好的英语反向拍卖。 1449-1467 安娜·卡萨利 , 路易斯·戈多 , 卡尔斯·塞拉 :
用于表示和推理偏好的分级BDI代理模型。 1468-1478
第175卷,编号9-10,2011年6月
Nikos Gorogannis公司 , 安东尼·亨特 :
用经典逻辑参数实例化抽象论证:假设和属性。 1479-1497 卡里娜·瓦尔迪维娅·德尔加多 , 斯科特·桑纳 , Leliane Nunes de Barros(巴罗斯修女) :
转移概率不精确的分解MDP的有效解决方案。 1498-1527 马蒂亚斯·克诺尔 , 何塞·朱利奥·阿尔弗雷斯 , 帕斯卡·希茨勒 :
基于良好语义的描述逻辑的局部封闭世界推理。 1528-1554 马丁·库珀 , 斯坦尼斯拉夫·齐夫尼 :
有值约束问题的混合可处理性。 1555-1569 阿里尔·费尔纳 , 乌兹·扎哈维 , 罗伯特·霍尔特 , 乔纳森·谢弗 , 内森·斯特凡特 , 张志福 :
理论和实践中不一致的启发式。 1570-1603 尤雷·扎布卡尔 , 马丁·莫西纳 , 伊万·布拉特科 , 珍妮斯·德姆萨尔 :
从数值数据中学习定性模型。 1604-1619 Jean-François Baget女士 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 埃里克·萨尔瓦特 :
关于存在变量的规则:行走可判定线。 1620-1654 Ioannis Caragiannis公司 , Ariel D.Procaccia公司 :
尽管沟通有限,但投票几乎使社会福利最大化。 1655-1671 蔡少伟 , 苏凯乐 , 阿布杜勒·萨塔尔 :
带有边缘权重的局部搜索和最小顶点覆盖的配置检查启发式。 1672-1696 大卫·默里·鲁斯特 , 阿兰·斯梅尔 :
走向音乐互动和交流的模式。 1697-1721 金永中(Eun Jung Kim) , 塞巴斯蒂安·奥德尼亚克 , 斯特凡·塞德尔 :
说服性论证的算法和复杂性结果。 1722-1736 西蒙·保罗·蓬泽托 , 迈克尔·斯特鲁贝 :
基于协作构建的知识库的分类归纳。 1737-1756
第175卷第11期,2011年7月
弗朗西斯科·梅洛 , 曼努埃拉·维洛索 :
具有稀疏交互的去中心化MDP。 1757-1789 北水寮 , 李进 , 罗伯特·C·昆斯 :
论证系统动力学:一种基于划分的方法。 1790-1814 史蒂文·肖克尔特 , 亨利·普拉德 :
通过对原子命题的灵活解释解决信息合并中的冲突。 1815-1855 西尔万·盖利 , 大卫·西尔弗 :
计算机围棋中的蒙特卡罗树搜索和快速动作值估计。 1856-1875
第175卷,编号12-13,2011年8月
吉安路易吉·格雷科 , 恩里科·马利齐亚 , 路易吉·帕洛波利 , 弗朗西斯科·斯卡切罗 :
关于核、核和讨价还价集的复杂性。 1877-1910 格特·德库曼 , 恩里克·米兰达 , 马尔科·扎法隆 :
独立的自然延伸。 1911-1950 蒂亚斯枪 , 齐格弗里德·尼杰森 , 吕克·德·雷德 :
项集挖掘:约束编程视角。 1951-1983
第175卷,编号14-15,2011年9月
艾米莉亚·奥卡里宁 , 斯特凡·沃尔特兰 :
描述论证框架的强等价性。 1985-2009 平中汤 , 林芳珍 :
发现博弈论中的定理:具有唯一纯纳什均衡收益的两人博弈。 2010-2020 塞巴斯蒂安·斯坦因 , 恩里科·H·格丁 , 亚历克斯·罗杰斯 , 凯特·拉森 , 尼古拉斯·R·詹宁斯 :
使用冗余获取持续时间不确定的服务的算法和机制。 2021-2060
第175卷,编号16-17,2011年10月-11月
Travis C.服务 , 朱莉·A·亚当斯 :
随机联盟结构生成。 2061-2074 沙哈布·贾巴里·阿尔菲 , 桑德拉·齐勒斯 , 罗伯特·霍尔特 :
学习大型状态空间的启发式函数。 2075-2098 赖因哈德·莫拉茨 , 多米尼克·吕克 , 蒂尔·莫萨科夫斯基 :
关于定向直线段的定性空间推理的浓缩语义。 2099-2127
第175卷,第18期,2011年12月
侯赛因·阿尔贾扎尔 , 斯特凡·洛伊 :
K(K) ⁎ :用于查找k条最短路径的启发式搜索算法。 2129-2154 刘伟明 , 李三江 :
关于扩展对象之间基本方向的推理:NP-harrdness结果。 2155-2169 刘洪凯 , 卡斯滕·卢茨 , 马贾·米利西奇 , 弗兰克·沃尔特 :
表达性描述逻辑中实例级更新的基础。 2170-2197 萨基特·乔希 , 克里斯蒂安·科斯廷 , 罗尼·哈顿 :
带有广义一阶决策图的决策理论规划。 2198-2222
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)