1) Coactive Learning. --Pannaga Shivaswamy and Thorsten Joachims.
2) Learning Relational Event Models from Video. --Krishna S. R. Dubba, Anthony G. Cohn, David C. Hogg, Mehul Bhatt and Frank Dylla.
3) The Ceteris Paribus Structure of Logics of Game Forms. --Davide Grossi, Emiliano Lorini and Francois Schwarzentruber.
4) Clause Elimination for SAT and QSAT. --Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl and Armin Biere.
5) Using Machine Translation to Provide Target-Language Edit Hints in Computer Aided Translation Based on Translation Memories. --Miquel Esplà-Gomis, Felipe Sánchez-Martínez and Mikel L. Forcada.
6) Probabilistic Inference Techniques for Scalable Multiagent Decision Making. --Akshat Kumar, Shlomo Zilberstein and Marc Toussaint.
7) Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization. --Diego Figueira, Santiago Figueira and Carlos Areces.
8) Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms. --Meghyn Bienvenu, Magdalena Ortiz and Mantas Simkus.
9) Approximate Value Iteration with Temporally Extended Actions. --Timothy A. Mann, Shie Mannor and Doina Precup.
10) Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked Electorates. --Felix Brandt, Markus Brill, Edith Hemaspaandra and Lane A. Hemaspaandra.
11) Satsisfiability and Systematicity. --Matthew L Ginsberg.
12) ITSAT: An Efficient SAT-Based Temporal Planner. --Masood Feyzbakhsh Rankooh and Gholamreza Ghassem-Sani.
13) Placement of Loading Stations for Electric Vehicles: No Detours Necessary! --Stefan Funke, Andre Nusser and Sabine Storandt.
14) Evolutionary Dynamics of Multi-Agent Learning: A Survey. --Daan Bloembergen, Karl Tuyls, Daniel Hennes and Michael Kaisers.
15) Tree-Width and the Computational Complexity of MAP Approximations in Bayesian Networks. --Johan Kwisthout.
16) Mechanisms for Multi-unit Combinatorial Auctions with a Few Distinct Goods. --Piotr Krysta, Orestis Telelis and Carmine Ventre.
17) AutoFolio: An Automatically Configured Algorithm Selector. --Marius Lindauer, Holger H. Hoos, Frank Hutter and Torsten Schaub.
18) Belief Change with Uncertain Action Histories. --Aaron Hunter and James Delgrande.