Conference Award Track

This track is composed of extended versions of award winning papers from select AI conferences. The specific award for each paper is indicated below.

Opening the Analogical Portal to Explainability: Can Analogies Help Laypeople in AI-assisted Decision Making?

HCOMP-22 Best Paper Award
Gaole He, Agathe Balayn, Stefan Buijsman, Jie Yang, and Ujwal Gadiraju
PDF

Robust Average-Reward Reinforcement Learning

AAAI-23 Distinguished Paper Award
Yue Wang, Alvaro Velasquez, George Atia, Ashley Prater-Bennette, and Shaofeng Zou
PDF

A Map of Diverse Synthetic Stable Matching Instances

Best Student Paper award at AAMAS '23
Niclas Boehmer, Klaus Heeger, and Stanisław Szufa
PDF

On the Parallel Parameterized Complexity of MaxSAT Variants

SAT 2022, nominated for Best Paper Award
Max Bannach, Malte Skambath, and Till Tantau
PDF

Clustering what Matters: Optimal Approximation for Clustering with Outliers

AAAI 2023 Distinguished Paper
Akanksha Agrawal, Tanmay Inamdar, Saket Saurabh, and Jie Xue
PDF

Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization

CP 2022 Best Student Paper
Jimmy H.M. Lee and Zhuowei Z. Zhong
PDF

Certified Dominance and Symmetry Breaking for Combinatorial Optimisation

AAAI 2022 Distinguished Paper Award
Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, and Jakob Nordström
PDF

Improved Peel-and-Bound: Methods for Generating Dual Bounds with Multivalued Decision Diagrams

CP 2022 Best Paper Award
Isaac Rudich, Quentin Cappart, and Louis-Martin Rousseau
PDF

Classes of Hard Formulas for QBF Resolution

SAT 2022 Best Paper Award Nominee
Agnes Schleitzer and Olaf Beyersdorff
PDF

On Centralized Critics in Multi-Agent Reinforcement Learning

AAMAS 2021 Best Paper Award Finalist
Xueguang Lyu, Andrea Baisero, Yuchen Xiao, Brett Daley, and Christopher Amato
PDF

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions

AAAI 2022 Distinguished Paper Award
Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Marielle Stoelinga, and Nils Jansen
PDF

Characterizing Tseitin-Formulas with Short Regular Resolution Refutations

SAT 2021 Best Student Paper Award
Alexis de Colnet and Stefan Mengel
PDF

Better Decision Heuristics in CDCL through Local Search and Target Phases

SAT 2021 Best Paper Award
Shaowei Cai, Xindi Zhang, Mathias Fleury and Armin Biere
PDF

Flexible FOND Planning with Explicit Fairness Assumptions

ICAPS 2021 Best Paper Award
Ivan D. Rodriguez, Blai Bonet, Sebastian Sardina, Hector Geffner
PDF

On the Tractability of SHAP Explanations

AAAI 2021 Distinguished Paper Award
Guy Van den Broeck, Anton Lykov, Maximilian Schleich and Dan Suciu
PDF

Cooperation and Learning Dynamics under Wealth Inequality and Diversity in Individual Risk

AAMAS 2021 Best Paper Award Finalist
Ramona Merhej, Fernando P. Santos, Francisco S. Melo, Francisco C. Santos
PDF

Avoiding Negative Side Effects of Autonomous Systems in the Open World

IJCAI 2020 Distinguished Paper Award
Sandhya Saisubramanian, Ece Kamar and Shlomo Zilberstein
PDF

Agent-Based Modeling for Predicting Pedestrian Trajectories Around an Autonomous Vehicle

AAMAS 2021 Pragnesh Jay Modi Best Student Paper Award
Manon Prédhumeau, Lyuba Mancheva, Julie Dugdale and Anne Spalanzani
PDF

Scalable Online Planning for Multi-Agent MDPs

Best Paper AAMAS 2021
Shushman Choudhury, Jayesh K. Gupta, Peter Morales, and Mykel J. Kochenderfer
PDF

Constraint-based Diversification of JOP Gadgets

Best Paper in the Applications Track, CP 2020
Rodothea Myrsini Tsoupidi, Roberto Castañeda Lozano and Benoit Baudry
PDF

Learning Optimal Decision Sets and Lists with SAT

Best Paper in the CP/ML Track, CP 2020
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey and Pierre Le Bodic
PDF

Finding the Hardest Formulas for Resolution

CP 2020 Best Paper Award
Tomáš Peitl and Stefan Szeider
PDF

Generic Constraint-based Block Modeling using Constraint Programming

CP 2019 Best Paper Award
Alex Mattenet, Ian Davidson, Siegfried Nijssen and Pierre Schaus
PDF

On Super Strong ETH

SAT 2019 Best Paper Award
Nikhil Vyas and Ryan Williams
PDF

Zone pAth Construction (ZAC) based Approaches for Effective Real-Time Ridesharing

ICAPS 2019 Best Applications Paper Award sponsored by UTRC
Meghna Lowalekar, Pradeep Varakantham and Patrick Jaillet
PDF

The PETLON Algorithm to Plan Efficiently for Task-Level-Optimal Navigation

AAMAS 2018 Best Robotics Track Paper
Shih-Yun Lo, Shiqi Zhang and Peter Stone
PDF

Constraint and Satisfiability Reasoning for Graph Coloring

CP 2018 Best Paper Award
Emmanuel Hebrard and George Katsirelos
PDF

Towards Partial Order Reductions for Strategic Ability

AAMAS 18, nominated for Best Paper Award
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk, Piotr Dembiński and Antoni Mazurkiewicz
PDF

Simulating Offender Mobility: Modeling Activity Nodes from Large-Scale Human Activity Data

AAMAS 2018 Pragnesh Jay Modi Best Student Paper Award
Raquel Rosés, Cristina Kadar, Charlotte Gerritsen, Chris Rouly
PDF

Adversarial Attacks on Crowdsourcing Quality Control

HCOMP 2018 Best Paper Award
Alessandro Checco, Jo Bates, Gianluca Demartini
PDF

HTN Planning as Heuristic Progression Search

ICAPS 2018 Best Student Paper Award
Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
PDF

Annotator Rationales for Labeling Tasks in Crowdsourcing

HCOMP 2016 Best Paper Award
Mucahid Kutlu, Tyler McDonnell, Tamer Elsayed and Matthew Lease
PDF

Using Task Descriptions in Lifelong Machine Learning for Improved Performance and Zero-Shot Transfer

IJCAI 2016 Distinguished Student Paper Award
Mohammad Rostami, David Isele, Eric Eaton
PDF

Optimal Torpedo Scheduling

CP 2017 Best Student Paper Award
Adrian Goldwaser, Andreas Schutt
PDF

Rationalisation of Profiles of Abstract Argumentation Frameworks: Characterisation and Complexity

AAMAS 2016 Best Paper Award
Stéphane Airiau, Elise Bonzon, Ulle Endriss, Nicolas Maudet, Julien Rossit
PDF

Welfare Effects of Market Making in Continuous Double Auctions

AAMAS 2015 Pragnesh Jay Modi Best Student Paper Award
Elaine Wah, Mason Wright, Michael P. Wellman
PDF

Market Interfaces for Electric Vehicle Charging

The Best Innovative Applications Paper, AAMAS 2016
Sebastian Stein, Enrico H. Gerding, Adrian Nedea, Avi Rosenfeld, Nicholas R. Jennings
PDF

Semantic Visualization with Neighborhood Graph Regularization

AAAI 2014 Honorable Mention for Outstanding Paper
Tuan M. V. Le, Hady W. Lauw
PDF

Predicting Twitter User Demographics using Distant Supervision from Website Traffic Data

AAAI 2015 Outstanding Paper Honorable Mention
Aron Culotta, Nirmal Kumar Ravi, Jennifer Cutler
PDF

A Compositional Framework for Grounding Language Inference, Generation, and Acquisition in Video

ACL 2013 Best Paper Award
Haonan Yu, N. Siddharth, Andrei Barbu, Jeffrey Mark Siskind
PDF

Weighted Electoral Control

AAMAS 2013 Best Paper Award Finalist
Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra
PDF PS

Sensitivity of Diffusion Dynamics to Network Uncertainty

AAAI 2013 Honorable Mention for Best Paper
A. Adiga, C. J. Kuhlman, H. S. Mortveit, A. K. S. Vullikanti
PDF PS Data

Probabilistic Inference in Credal Networks: New Complexity Results

UAI 2013 Best Student Paper
D. D. Maua, C. P. de Campos, A. Benavoli, A. Antonucci
PDF PS

Improving Delete Relaxation Heuristics Through Explicitly Represented Conjunctions

ICAPS 2012 Best Paper Award
E. Keyder, J. Hoffmann, P. Haslum
PDF PS

HC-Search: A Learning Framework for Search-based Structured Prediction

AAAI 2013 Outstanding Paper Award
J.R. Doppa, A. Fern, P. Tadepalli
PDF

Game-Theoretic Patrolling with Dynamic Execution Uncertainty and a Case Study on a Real Transit System

AAMAS 2013 Best Paper Award Finalist
F.M. Delle Fave, A.X. Jiang, Z. Yin, C. Zhang, M. Tambe, S. Kraus, J. P. Sullivan
PDF PS

Modelling Observation Correlations for Active Exploration and Robust Object Detection

ICAPS 2011 Best Student Paper
J. Velez, G. Hemann, A. S. Huang, I. Posner, N. Roy
PDF PS

Plan-based Policies for Efficient Multiple Battery Load Management

ICAPS 2011 Best Paper Award
M. Fox, D. Long, D. Magazzeni
PDF PS

Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice

AAAI 2010 Outstanding Paper Award
B. Cuenca Grau, B. Motik, G. Stoilos, I. Horrocks
PDF PS

Computing All-Pairs Shortest Paths by Leveraging Low Treewidth

ICAPS 2011 Honorable Mention for Best Student Paper
L. R. Planken, M. M. de Weerdt, R. P.J. van der Krogt
PDF PS

SAS+ Planning as Satisfiability

AAAI 2010 Outstanding Paper Award
R. Huang, Y. Chen, W. Zhang
PDF PS

Theoretical and Practical Foundations of Large-Scale Agent-Based Micro-Storage in the Smart Grid

AAMAS 2010 iRobot Best Paper Award and Honorable Mention for the 2016 IJCAI-JAIR Best Paper Prize
P. Vytelingum, T. D. Voice, S. D. Ramchurn, A. Rogers, N. R. Jennings
PDF PS

Towards Flexible Teamwork

2012 IFAAMAS Award for Influential Papers in Autonomous Agents and Multiagent Systems
M. Tambe
PDF Appendix

A Market-Oriented Programming Environment and its Application to Distributed Multicommodity Flow Problems

2012 IFAAMAS Award for Influential Papers in Autonomous Agents and Multiagent Systems
M. P. Wellman
PDF PS