Volume 53 Masthead

Published: 2015-05-01

Articles

Coactive Learning

Pannaga Shivaswamy, Thorsten Joachims

1-40

PDF PS

Learning Relational Event Models from Video

Krishna S. R. Dubba, Anthony G. Cohn, David C. Hogg, Mehul Bhatt, Frank Dylla

41-90

PDF

The Ceteris Paribus Structure of Logics of Game Forms

Davide Grossi, Emiliano Lorini, Francois Schwarzentruber

91-126

PDF PS

Clause Elimination for SAT and QSAT

Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl, Armin Biere

127-168

PDF PS

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, Mikel L. Forcada

169-222

PDF PS

Probabilistic Inference Techniques for Scalable Multiagent Decision Making

Akshat Kumar, Shlomo Zilberstein, Marc Toussaint

223-270

PDF

Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization

Diego Figueira, Santiago Figueira, Carlos Areces

271-314

PDF PS

Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms

Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus

315-374

PDF PS

Approximate Value Iteration with Temporally Extended Actions

Timothy A. Mann, Shie Mannor, Doina Precup

375-438

PDF

Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked Electorates

Felix Brandt, Markus Brill, Edith Hemaspaandra, Lane A. Hemaspaandra

439-496

PDF PS

Satsisfiability and Systematicity

Matthew L Ginsberg

497-540

PDF

ITSAT: An Efficient SAT-Based Temporal Planner

Masood Feyzbakhsh Rankooh, Gholamreza Ghassem-Sani

541-632

PDF PS

Placement of Loading Stations for Electric Vehicles: No Detours Necessary!

Stefan Funke, Andre Nusser, Sabine Storandt

633-658

PDF

Evolutionary Dynamics of Multi-Agent Learning: A Survey

Daan Bloembergen, Karl Tuyls, Daniel Hennes, Michael Kaisers

659-697

PDF PS

Tree-Width and the Computational Complexity of MAP Approximations in Bayesian Networks

Johan Kwisthout

699-720

PDF PS

Mechanisms for Multi-unit Combinatorial Auctions with a Few Distinct Goods

Piotr Krysta, Orestis Telelis, Carmine Ventre

721-744

PDF PS

AutoFolio: An Automatically Configured Algorithm Selector

Marius Lindauer, Holger H. Hoos, Frank Hutter, Torsten Schaub

745-778

PDF

Belief Change with Uncertain Action Histories

Aaron Hunter, James Delgrande

779-824

PDF