Papers
Why Prices Need Algorithms
Tim Roughgarden, Inbal Talgam-Cohen
A Decision Procedure for (Co)datatypes in SMT Solvers
Andrew Reynolds, Jasmin Christian Blanchette
Generating Tests for Robotized Painting Using Constraint Programming
Morten Mossige, Arnaud Gotlieb, Hein Meling
Proximal Gradient Temporal Difference Learning Algorithms
Bo Liu, Ji Liu, Mohammad Ghavamzadeh et al.
Deep Neural Decision Forests
Peter Kontschieder, Madalina Fiterau, Antonio Criminisi et al.
Fleet Design Optimisation from Historical Data Using Constraint Programming and Large Neighbourhood Search
Philip Kilby, Tommaso Urli
The Dependence of Effective Planning Horizon on Model Accuracy
Nan Jiang, Alex Kulesza, Satinder Singh et al.
Projection, Inference, and Consistency
John N. Hooker
Observability, Identifiability and Sensitivity of Vision-Aided Inertial Navigation
Joshua Hernandez, Konstantine Tsotsos, Stefano Soatto
A Nearly-Linear Time Framework for Graph-Structured Sparsity
Chinmay Hegde, Piotr Indyk, Ludwig Schmidt
Domain Model Acquisition in the Presence of Static Relations in the LOP System
Peter Gregory, Stephen Cresswell
Effective Planning with More Expressive Languages
Guillem Francès, Hector Geffner
Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer
Vijay D’Silva, Caterina Urban
Tabling as a Library with Delimited Control
Benoit Desouter, Marko van Dooren, Tom Schrijvers et al.
Sequencing Operator Counts
Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey et al.
On Broken Triangles
Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux et al.
Learning Qualitative Spatial Relations for Robotic Navigation
Abdeslam Boularias, Felix Duvallet, Jean Oh et al.
Detecting Student Emotions in Computer-Enabled Classrooms
Nigel Bosch, Sidney K. D’Mello, Ryan S. Baker et al.
Optimal and Adaptive Algorithms for Online Boosting
Alina Beygelzimer, Satyen Kale, Haipeng Luo
Hashing-Based Approximate Probabilistic Inference in Hybrid Domains: An Abridged Report
Vaishak Belle, Guy Van den Broeck, Andrea Passerini
Optimal Prosumer Decision-Making Using Factored MDPs
Angelos Angelidakis, Georgios Chalkiadakis
On the Properties of GZ-Aggregates in Answer Set Programming
Mario Alviano, Nicola Leone
From Non-Convex Aggregates to Monotone Aggregates in ASP
Mario Alviano, Wolfgang Faber, Martin Gebser
Adversarial AI
Yevgeniy Vorobeychik
Sequential Decision Making for Improving Efficiency in Urban Environments
Pradeep Varakantham