Papers
Using Constraint Programming to solve a Cryptanalytic Problem
David Gerault, Marine Minier, Christine Solnon
Which is the Fairest (Rent Division) of Them All? [Extended Abstract]
Ya'akov (Kobi) Gal, Moshe Mash, Ariel D. Procaccia et al.
Lexicons on Demand: Neural Word Embeddings for Large-Scale Text Analysis
Ethan Fast, Binbin Chen, Michael S. Bernstein
Lessons from the Amazon Picking Challenge: Four Aspects of Building Robotic Systems
Clemens Eppner, Sebastian Höfer, Rico Jonschkowski et al.
Enhancing Crowdworkers' Vigilance
Avshalom Elmalech, David Sarne, Esther David et al.
User-Based Opinion-based Recommendation
Ruihai Dong, Barry Smyth
Intuitionistic Layered Graph Logic
Simon Docherty, David Pym
Ensuring Rapid Mixing and Low Bias for Asynchronous Gibbs Sampling
Christopher De Sa, Kunle Olukotun, Christopher Ré
Predicting Human Similarity Judgments with Distributional Models: The Value of Word Associations
Simon De Deyne, Amy Perfors, Daniel J. Navarro
Efficient Techniques for Crowdsourced Top-k Lists
Luca de Alfaro, Vassilis Polychronopoulos, Neoklis Polyzotis
Open-World Probabilistic Databases: An Abridged Report
Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck
Concerning Referring Expressions in Query Answers
Alexander Borgida, David Toman, Grant Weddell
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
Jasmin Christian Blanchette, Mathias Fleury, Christoph Weidenbach
Unsatisfiable Core Shrinking for Anytime Answer Set Optimization
Mario Alviano, Carmine Dodaro
Rationalisation of Profiles of Abstract Argumentation Frameworks: Extended Abstract
Stephane Airiau, Elise Bonzon, Ulle Endriss et al.
Online Decision-Making for Scalable Autonomous Systems
Kyle Hollins Wray, Stefan J. Witwicki, Shlomo Zilberstein
Privacy and Autonomous Systems
Jose M. Such
Should Robots be Obedient?
Smitha Milli, Dylan Hadfield-Menell, Anca Dragan et al.
Concrete Problems for Autonomous Vehicle Safety: Advantages of Bayesian Deep Learning
Rowan McAllister, Yarin Gal, Alex Kendall et al.
Context-Based Reasoning on Privacy in Internet of Things
Nadin Kokciyan, Pinar Yolum
Achieving Coordination in Multi-Agent Systems by Stable Local Conventions under Community Networks
Shuyue Hu, Ho-fung Leung
On Automating the Doctrine of Double Effect
Naveen Sundar Govindarajulu, Selmer Bringsjord
A Goal Reasoning Agent for Controlling UAVs in Beyond-Visual-Range Air Combat
Michael W. Floyd, Justin Karneeb, Philip Moore et al.
Reinforcement Learning with a Corrupted Reward Channel
Tom Everitt, Victoria Krakovna, Laurent Orseau et al.
Responsible Autonomy
Virginia Dignum