Mechanisms for Multi-unit Combinatorial Auctions with a Few Distinct Goods.
Evolutionary Dynamics of Multi-Agent Learning: A Survey.
Belief Change with Uncertain Action Histories.
Using Machine Translation to Provide Target-Language Edit Hints in Computer Aided Translation Based on Translation Memories.
Tree-Width and the Computational Complexity of MAP Approximations in Bayesian Networks.
Learning Relational Event Models from Video.
Approximate Value Iteration with Temporally Extended Actions.
AutoFolio: An Automatically Configured Algorithm Selector.
Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms.
Satsisfiability and Systematicity.
Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization.
Probabilistic Inference Techniques for Scalable Multiagent Decision Making.
ITSAT: An Efficient SAT-Based Temporal Planner.
Clause Elimination for SAT and QSAT.
Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked Electorates.
Placement of Loading Stations for Electric Vehicles: No Detours Necessary!
The Ceteris Paribus Structure of Logics of Game Forms.
Coactive Learning.