(2948) Sequencing Operator Counts, ICAPS Toby Davies, Adrian Pearce, Peter J. Stuckeyand Nir Lipovetzky
(2949) A Decision Procedure for (Co)datatypes in SMT Solvers, CADE Andrew Reynolds and Jasmin Christian Blanchette
(2951) Generating Tests for Robotized Painting Using Constraint Programming, CP Morten Mossige, Arnaud Gotlieb and Hein Meling
(2952) Optimal Prosumer Decision-Making using Factored MDPs, AAMAS Angelos Angelidakis and Georgios Chalkiadakis
(2955) Proximal Gradient Temporal Difference Learning Algorithms, UAI Bo Liu, Ji Liu, Mohammad Ghavamzadeh, Sridhar Mahadevan and Marek Petrik
(2957) On Broken Triangles, CP Martin Cooper, Achref El Mouelhi, Cyril Terriouxand Bruno Zanuttini
(2990) Optimal and Adaptive Algorithms for Online Boosting, ICML Alina Beygelzimer, Satyen Kale and Haipeng Luo
(3018) Fleet Design Optimisation From Historical Data Using Constraint Programming and Large Neighbourhood Search, CP Tommaso Urli and Philip Kilby
(3021) The Dependence of Effective Planning Horizon on Model Accuracy, AAMAS Nan Jiang, Alex Kulesza, Satinder Baveja and Richard Lewis
(3022) MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers, CADE Ed Zulkoski, Vijay Ganesh and Krzysztof Czarnecki
(3024) Tabling as a Library with Delimited Control, ICLP Benoit Desouter, Marko van Dooren, Tom Schrijvers and Alexander Vandenbroucke
(3025) Welfare Effects of Market Making in Continuous Double Auctions (Extended Abstract), AAMAS Elaine Wah, Mason Wright and Michael Wellman
(3026) Hashing-Based Approximate Probabilistic Inference in Hybrid Domains: An Abridged Report, UAI Vaishak Belle, Guy Van den Broeck and Andrea Passerini
(3027) Domain Model Acquisition in the Presence of Static Relations in the LOP System, ICAPS Peter Gregory and Stephen Cresswell
(3028) Projection, Inference and Consistency, CP John Hooker
(3029) Deep Neural Decision Forests, ICCV Peter Kontschieder, Madalina Fiterau, Antonio Criminisi and Samuel Rota Bulò
(3030) Why Prices Need Algorithms, EC Tim Roughgarden and Inbal Talgam-Cohen
(3031) Effective Planning with More Expressive Languages, ICAPS Guillem Francès and Hector Geffner
(3032) From Non-Convex Aggregates to Monotone Aggregates in ASP, ICLP Mario Alviano, Wolfgang Faber and Martin Gebser
(3033) Detecting Student Emotions in Computer-Enabled Classrooms, IUI Nigel Bosch, Sidney D'Mello, Ryan Baker, Jaclyn Ocumpaugh, Valerie Shute, Matthew Ventura, Lubin Wang and Weinan Zhao
(3034) Online Bellman Residual and Temporal Difference Algorithms with Predictive Error Guarantees, UAI Wen Sun and J. Andrew Bagnell
(3035) Learning Qualitative Spatial Relations for Robotic Navigation, ICRA Abdeslam Boularias, Felix Duvallet, Jean Oh and Anthony Stentz
(3036) A Nearly-Linear Time Framework for Graph-Structured Sparsity, ICML Chinmay Hegde, Piotr Indyk and Ludwig Schmidt
(3037) Improving Topic Model Stability for Effective Document Exploration, IUI Yi Yang, Shimei Pan, Yangqiu Song, Jie Lu and Mercan Topkara
(3038) On the Properties of GZ-Aggregates in Answer Set Programming, ICLP Mario Alviano and Nicola Leone
(3039) Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer, CADE Vijay D'Silva and Caterina Urban
(3050) Observability, Identifiability and Sensitivity of Vision-Aided Inertial Navigation, ICRA Joshua Hernandez, Konstantine Tsotsos and Stefano Soatto
New York City
9th-15th July, 2016
