Volume 67 Masthead

Published: 2020-01-12

Articles

Best-First Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation

Eric Michael Timmons, Brian Charles Williams

1-34

PDF

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

Bernhard Bliem, Michael Morak, Marius Moldovan, Stefan Woltran

35-80

PDF

The 2^k Neighborhoods for Grid Path Planning

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

81-113

PDF

Regret Bounds for Reinforcement Learning via Markov Chain Concentration

Ronald Ortner

115-128

PDF

Saturated Cost Partitioning for Optimal Classical Planning

Jendrik Seipp, Thomas Keller, Malte Helmert

129–167

PDF

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

PDF

Blind Spot Detection for Safe Sim-to-Real Transfer

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

191-234

PDF

Planning for Hybrid Systems via Satisfiability Modulo Theories

Michael Cashmore, Daniele Magazzeni, Parisa Zehtabi

235 - 283

PDF

TensorLog: A Probabilistic Database Implemented Using Deep-Learning Infrastructure

William Cohen, Fan Yang, Kathryn Rivard Mazaitis

285-325

PDF

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

PDF

Adversarial Attacks on Crowdsourcing Quality Control

Alessandro Checco, Jo Bates, Gianluca Demartini

375-408

PDF

Graph Width Measures for CNF-Encodings with Auxiliary Variables

Stefan Mengel, Romain Wallon

409-436

PDF

Catching Cheats: Detecting Strategic Manipulation in Distributed Optimisation of Electric Vehicle Aggregators

Alvaro Perez-Diaz, Enrico Harm Gerding, Frank McGroarty

437-470

PDF

Fair Allocation with Diminishing Differences

Erel Segal-Halevi, Avinatan Hassidim, Haris Aziz

471–507

PDF

A Global Constraint for the Exact Cover Problem: Application to Conceptual Clustering

Maxime Chabert, Christine Solnon

509-547

PDF

Robust Multi-Agent Path Finding and Executing

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

549-579

PDF

Agreement on Target-Bidirectional Recurrent Neural Networks for Sequence-to-Sequence Learning

Lemao Liu, Andrew Finch, Masao Utiyama, Eiichiro Sumita

581-606

PDF

Solving Delete Free Planning with Relaxed Decision Diagram Based Heuristics

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

607-651

PDF

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

PDF

Using Task Descriptions in Lifelong Machine Learning for Improved Performance and Zero-Shot Transfer

Mohammad Rostami, David Isele, Eric Eaton

673-704

PDF

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

PDF

Compositionality Decomposed: How do Neural Networks Generalise?

Dieuwke Hupkes, Verna Dankers, Mathijs Mul, Elia Bruni

757-795

PDF

Incomplete Preferences in Single-Peaked Electorates

Zack Fitzsimmons, Martin Lackner

797-833

PDF

HTN Planning as Heuristic Progression Search

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

835-880

PDF

Learning the Language of Software Errors

Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman

881-903

PDF