Published: 2020-01-12

The Impact of Treewidth on Grounding and Solving of Answer Set Programs

Bernhard Bliem, Michael Morak, Marius Moldovan, Stefan Woltran

35-80

The 2^k Neighborhoods for Grid Path Planning

Nicolás Rivera, Carlos Hernández, Nicolás Hormazábal, Jorge A Baier

81-113

Saturated Cost Partitioning for Optimal Classical Planning

Jendrik Seipp, Thomas Keller, Malte Helmert

129–167

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

169-190

Blind Spot Detection for Safe Sim-to-Real Transfer

Ramya Ramakrishnan, Ece Kamar, Debadeepta Dey, Eric Horvitz, Julie Shah

191-234

Planning for Hybrid Systems via Satisfiability Modulo Theories

Michael Cashmore, Daniele Magazzeni, Parisa Zehtabi

235 - 283

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

327-374

Adversarial Attacks on Crowdsourcing Quality Control

Alessandro Checco, Jo Bates, Gianluca Demartini

375-408

Fair Allocation with Diminishing Differences

Erel Segal-Halevi, Avinatan Hassidim, Haris Aziz

471–507

Robust Multi-Agent Path Finding and Executing

Dor Atzmon, Roni Stern, Ariel Felner, Glenn Wagner, Roman Barták, Neng-Fa Zhou

549-579

Solving Delete Free Planning with Relaxed Decision Diagram Based Heuristics

Margarita Paz Castro, Chiara Piacentini, Andre Augusto Cire, J. Christopher Beck

607-651

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

653–672

Hedonic Games with Ordinal Preferences and Thresholds

Anna Maria Kerkmann, Jérôme Lang, Anja Rey, Jörg Rothe, Hilmar Schadrack, Lena Schend

705–756

Compositionality Decomposed: How do Neural Networks Generalise?

Dieuwke Hupkes, Verna Dankers, Mathijs Mul, Elia Bruni

757-795

Incomplete Preferences in Single-Peaked Electorates

Zack Fitzsimmons, Martin Lackner

797-833

HTN Planning as Heuristic Progression Search

Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo

835-880

Learning the Language of Software Errors

Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman

881-903