这首曲目由精选AI会议获奖论文的扩展版本组成。每篇论文的具体奖项如下所示。


多种合成稳定匹配实例的映射

AAMAS 23年度最佳学生论文奖
尼古拉斯·博伊梅尔、克劳斯·海格和斯坦尼斯·奥斯·苏法

关于MaxSAT变量的并行参数化复杂性

SAT 2022,最佳论文奖提名
Max Bannach、Malte Skambath和Till Tantau

重要的聚类:带离群值聚类的最佳逼近

AAAI 2023杰出论文
Akanksha Agrawal、Tanmay Inamdar、Saket Saurabh和Jie Xue

利用函数约束自动打破优势进行约束优化

CP 2022最佳学生论文
Jimmy H.M.Lee和Zhoowei Z.Zhong

组合优化的认证优势和对称破缺

AAAI 2022杰出论文奖
巴特·博加特、斯蒂芬·戈赫特、西亚兰·麦克里什和雅各布·诺德斯特伦

改进的剥离与绑定:用多值决策图生成对偶边界的方法

CP 2022最佳论文奖
Isaac Rudich、Quentin Cappart和Louis-Martin Rousseau

QBF分解的硬公式类

SAT 2022最佳论文奖提名人
Agnes Schleitzer和Olaf Beyersdorff

论多智能体强化学习中的集中批评者

AAMAS 2021最佳论文奖入围名单
Lyu雪光、Andrea Baisero、Xiao Yuchen、Brett Daley和Christopher Amato

基于形式化抽象的非高斯噪声动力系统鲁棒控制

AAAI 2022杰出论文奖
托姆·巴丁斯、利西奥·罗芒、亚历山德罗·阿巴特、大卫·帕克、哈桑·普纳瓦拉、玛丽埃尔·斯托琳加和尼尔·詹森

具有短正则分辨率反演的Tseitin公式的特征

SAT 2021最佳学生论文奖
亚历克西斯·德·科尔内和斯特凡·门格尔

通过局部搜索和目标阶段在CDCL中实现更好的决策启发

SAT 2021最佳论文奖
蔡少伟、张新迪、马蒂亚斯·弗勒里和阿明·比尔

具有明确公平假设的灵活FOND规划

ICAPS 2021最佳论文奖
伊凡·罗德里格斯、布莱·博内、塞巴斯蒂安·萨迪纳、赫克托尔·杰夫纳

论SHAP解释的可拓性

AAAI 2021杰出论文奖
盖·范登·布勒克、安东·利科夫、马克西米利安·施莱奇和丹·苏西乌

财富不平等和个体风险多样性下的合作与学习动力学

AAMAS 2021最佳论文奖入围者
Ramona Merhej、Fernando P.Santos、Francisco S.Melo、Francis C.Santos

在开放世界中避免自治系统的负面影响

IJCAI 2020杰出论文奖
Sandhya Saisubramanian、Ece Kamar和Shlomo Zilberstein

基于Agent的自动车辆周围行人轨迹预测模型

AAMAS 2021 Pragnesh Jay Modi最佳学生论文奖
马诺·普雷杜梅奥(Manon Prédhumeau)、卢巴·曼切娃(Lyuba Mancheva)、朱莉·杜格代尔(Julie Dugdale)和安妮·斯帕兰扎尼(Anne Spalanzani)

多代理MDP的可扩展在线规划

AAMAS 2021最佳论文
Shushman Choudhury、Jayesh K.Gupta、Peter Morales和Mykel J.Kochenderfer

基于约束的JOP小工具多样化

CP 2020应用领域最佳论文
罗多西亚·米尔西尼·索皮迪、罗伯托·卡斯塔涅达·洛扎诺和贝诺伊特·鲍德利

用SAT学习最优决策集和列表

CP/ML轨道最佳论文,CP 2020
余金强、艾列克谢·伊格纳提耶夫、彼得·斯塔基和皮埃尔·勒·博迪奇

寻找最难解决的公式

CP 2020最佳论文奖
TomášPeitl和Stefan Szeider

基于约束编程的通用块体建模

CP 2019年度最佳论文奖
亚历克斯·马特内特(Alex Mattenet)、伊恩·戴维森(Ian Davidson)、齐格弗里德·尼杰森(Siegfried Nijssen)和皮埃尔·绍斯(Pierre Schaus)

关于超强ETH

SAT 2019年度最佳论文奖
Nikhil Vyas和Ryan Williams

基于Zone pAth Construction(ZAC)的有效实时乘车分担方法

UTRC赞助的ICAPS 2019年度最佳应用论文奖
梅格纳·洛瓦利卡、普拉迪普·瓦拉坎塔姆和帕特里克·贾利特

任务级最优导航有效规划的PETLON算法

AAMAS 2018年度最佳机器人跟踪报告
罗世云、张世奇和彼得·斯通

图着色的约束与可满足性推理

CP 2018最佳论文奖
Emmanuel Hebrard和George Katsirelos

战略能力的部分降阶

AAMAS 18,最佳论文奖提名
Wojciech Jamroga、Wojcioch Penczek、Teofil Sidoruk、Piotr Dembian ski和Antoni Mazurkiewicz

模拟罪犯的机动性:从大规模人类活动数据建模活动节点

AAMAS 2018布拉格杰·莫迪最佳学生论文奖
拉奎尔·罗斯(Raquel Rosés)、克里斯蒂娜·卡达尔(Cristina Kadar)、夏洛特·格里森(Charlotte Gerritsen)、克里斯·鲁利(Chris Rouly)

众包质量控制的对抗性攻击

HCOMP 2018最佳论文奖
亚历山德罗·切科、乔·贝茨、吉安卢卡·德马蒂尼

HTN规划作为启发式渐进搜索

ICAPS 2018年度最佳学生论文奖
Daniel Höller、Pascal Bercher、Gregor Behnke、Susanne Biundo

众包中标注任务的注释器原理

HCOMP 2016年度最佳论文奖
Mucahid Kutlu、Tyler McDonnell、Tamer Elsayed和Matthew Lease

在终身机器学习中使用任务描述改进性能和零炮传输

IJCAI 2016杰出学生论文奖
Mohammad Rostami、David Isele、Eric Eaton

鱼雷最优调度

CP 2017最佳学生论文奖
Adrian Goldwaser、Andreas Schutt

抽象论证框架轮廓的合理化:特征化和复杂性

AAMAS 2016年度最佳论文奖
Stéphane Airiau、Elise Bonzon、Ulle Endriss、Nicolas Maudet、Julien Rossit

连续双向拍卖中做市的福利效应

AAMAS 2015布拉格Jay Modi最佳学生论文奖
Elaine Wah、Mason Wright、Michael P.Wellman

电动汽车充电市场接口

2016年AAMAS最佳创新应用论文
塞巴斯蒂安·斯坦(Sebastian Stein)、恩里科·赫丁(Enrico H.Gerding)、阿德里安·内迪亚(Adrian Nedea)、阿维·罗森菲尔德(Avi Rosenfeld)、尼古拉斯·R·詹宁斯

基于邻域图正则化的语义可视化

2014年AAAI杰出论文荣誉奖
Tuan M.V.Le、Hady W.Lauw

基于网站流量数据的远程监控预测推特用户人口统计

AAAI 2015年度杰出论文荣誉奖
Aron Culotta、Nirmal Kumar Ravi、Jennifer Cutler

视频中基于语言推理、生成和获取的合成框架

ACL 2013最佳论文奖
Haonan Yu、N.Siddharth、Andrei Barbu、Jeffrey Mark Siskind

加权选举控制

AAMAS 2013年度最佳论文奖入围者
Piotr Faliszewski、Edith Hemaspandra、Lane A.Hemaspandera

扩散动力学对网络不确定性的敏感性

AAAI 2013年度最佳论文荣誉奖
A.Adiga、C.J.Kuhlman、H.S.Mortveit、A.K.S.Vullikanti

Credal网络中的概率推理:新的复杂性结果

UAI 2013年度最佳学生论文
D.D.Maua、C.P.de Campos、A.Benavoli、A.Antonucci

通过显式表示的连接改进删除松弛启发式

ICAPS 2012年度最佳论文奖
E.Keyder、J.Hoffmann、P.Haslum

HC-Search:基于搜索的结构化预测学习框架

AAAI 2013年度杰出论文奖
J.R.Doppa、A.Fern、P.Tadepalli

具有动态执行不确定性的博弈论巡逻及一个实际公交系统的案例研究

AAMAS 2013年度最佳论文奖入围者
F.M.Delle Fave、A.X.Jiang、Z.Yin、C.Zhang、M.Tambe、S.Kraus、J.P.Sullivan

主动探测和稳健目标检测的观测相关性建模

ICAPS 2011年度最佳学生论文
J.Velez、G.Hemann、A.S.Huang、I.Posner、N.Roy

基于计划的高效多电池负载管理策略

ICAPS 2011年度最佳论文奖
M.Fox、D.Long、D.Magazzeni

不完全本体推理机的完备性保证:理论与实践

AAAI 2010杰出论文奖
B.Cuenca Grau、B.Motik、G.Stoilos、I.Horrocks

利用低树宽计算所有路径的最短路径

ICAPS 2011年度最佳学生论文荣誉奖
L.R.Planken、M.M.de Weerdt、R.P.J.van der Krogt

SAS+规划作为可满足性

AAAI 2010杰出论文奖
R.Huang、Y.Chen、W.Zhang

智能电网中基于代理的大规模微存储的理论和实践基础

AAMAS 2010 iRobot最佳论文奖和2016 IJCAI-JAIR最佳论文奖荣誉奖
P.Vytelingum、T.D.Voice、S.D.Rammour、A.Rogers、N.R.Jennings

实现灵活的团队合作

2012年IFAAMAS自治代理和多代理系统影响力论文奖
M.坦贝

面向市场的编程环境及其在分布式多商品流问题中的应用

2012年IFAAMAS自治代理和多代理系统影响力论文奖
M.P.威尔曼