Articles
1. Best-First Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation. --Eric Michael Timmons, Brian Charles Williams
2. The Impact of Treewidth on Grounding and Solving of Answer Set Programs. --Bernhard Bliem, Michael Morak, Marius Moldovan, Stefan Woltran
3. The 2^k Neighborhoods for Grid Path Planning. --Nicolás Rivera, Carlos Hernández, Nicolás Hormazábal, Jorge A Baier
4. Regret Bounds for Reinforcement Learning via Markov Chain Concentration. --Ronald Ortner
5. Saturated Cost Partitioning for Optimal Classical Planning. --Jendrik Seipp, Thomas Keller, Malte Helmert
6. The Force Awakens: Artificial Intelligence for Consumer Law. --Marco Lippi, Giuseppe Contissa, Agnieszka Jablonowska, Francesca Lagioia, Hans-Wolfgang Micklitz, Przemyslaw Palka, Giovanni Sartor, Paolo Torroni
7. Blind Spot Detection for Safe Sim-to-Real Transfer. --Ramya Ramakrishnan, Ece Kamar, Debadeepta Dey, Eric Horvitz, Julie Shah
8. Planning for Hybrid Systems via Satisfiability Modulo Theories. --Michael Cashmore, Daniele Magazzeni, Parisa Zehtabi
9. TensorLog: A Probabilistic Database Implemented Using Deep-Learning Infrastructure. --William Cohen, Fan Yang, Kathryn Rivard Mazaitis
10. Jointly Improving Parsing and Perception for Natural Language Commands through Human-Robot Dialog. --Jesse Thomason, Aishwarya Padmakumar, Jivko Sinapov, Nick Walker, Yuqian Jiang, Harel Yedidsion, Justin Hart, Peter Stone, Raymond J. Mooney
11. Adversarial Attacks on Crowdsourcing Quality Control. --Alessandro Checco, Jo Bates, Gianluca Demartini
12. Graph Width Measures for CNF-Encodings with Auxiliary Variables. --Stefan Mengel, Romain Wallon
13. Catching Cheats: Detecting Strategic Manipulation in Distributed Optimisation of Electric Vehicle Aggregators. --Alvaro Perez-Diaz, Enrico Harm Gerding, Frank McGroarty
14. Fair Allocation with Diminishing Differences. --Erel Segal-Halevi, Avinatan Hassidim, Haris Aziz
15. A Global Constraint for the Exact Cover Problem: Application to Conceptual Clustering. --Maxime Chabert, Christine Solnon
16. Robust Multi-Agent Path Finding and Executing. --Dor Atzmon, Roni Stern, Ariel Felner, Glenn Wagner, Roman Barták, Neng-Fa Zhou
17. Agreement on Target-Bidirectional Recurrent Neural Networks for Sequence-to-Sequence Learning. --Lemao Liu, Andrew Finch, Masao Utiyama, Eiichiro Sumita
18. Solving Delete Free Planning with Relaxed Decision Diagram Based Heuristics. --Margarita Paz Castro, Chiara Piacentini, Andre Augusto Cire, J. Christopher Beck
19. A Set of Recommendations for Assessing Human–Machine Parity in Language Translation. --Samuel Läubli, Sheila Castilho, Graham Neubig, Rico Sennrich, Qinlan Shen, Antonio Toral
20. Using Task Descriptions in Lifelong Machine Learning for Improved Performance and Zero-Shot Transfer. --Mohammad Rostami, David Isele, Eric Eaton
21. Hedonic Games with Ordinal Preferences and Thresholds. --Anna Maria Kerkmann, Jérôme Lang, Anja Rey, Jörg Rothe, Hilmar Schadrack, Lena Schend
22. Compositionality Decomposed: How do Neural Networks Generalise?. --Dieuwke Hupkes, Verna Dankers, Mathijs Mul, Elia Bruni
23. Incomplete Preferences in Single-Peaked Electorates. --Zack Fitzsimmons, Martin Lackner
24. HTN Planning as Heuristic Progression Search. --Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
25. Learning the Language of Software Errors. --Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman