Papers
nanoCoP: Natural Non-clausal Theorem Proving
Jens Otten
KSP: A Resolution-based Prover for Multimodal K, Abridged Report
Cláudia Nalon, Ullrich Hustadt, Clare Dixon
Dynamical System-Based Motion Planning for Multi-Arm Systems: Reaching for Moving Objects
Seyed Sina Mirrazavi Salehian, Nadia Figueroa, Aude Billard
The Many Benefits of Annotator Rationales for Relevance Judgments
Tyler McDonnell, Mucahid Kutlu, Tamer Elsayed et al.
Competence Guided Model for Casebase Maintenance
Ditty Mathew, Sutanu Chakraborti
Self-Adjusting Memory: How to Deal with Diverse Drift Types
Viktor Losing, Barbara Hammer, Heiko Wersing
A SAT Approach to Branchwidth
Neha Lodha, Sebastian Ordyniak, Stefan Szeider
On Thompson Sampling and Asymptotic Optimality
Jan Leike, Tor Lattimore, Laurent Orseau et al.
Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?
Benjamin Kiesl, Martina Seidl, Hans Tompits et al.
An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI community
Gangyuan Jing, Tarik Tosun, Mark Yim et al.
Learning and Applying Case Adaptation Rules for Classification: An Ensemble Approach
Vahid Jalali, David Leake, Najmeh Forouzandehmehr
Summary: Multi-Agent Path Finding with Kinematic Constraints
Wolfgang Hönig, T. K. Satish Kumar, Liron Cohen et al.
Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method
Marijn J.H. Heule, Oliver Kullmann, Victor W. Marek
First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract)
Amelia Harrison, Yuliya Lierler
Model Accuracy and Runtime Tradeoff in Distributed Deep Learning: A Systematic Study
Suyog Gupta, Wei Zhang, Fei Wang
Multi-Type Activity Recognition from a Robot's Viewpoint
Ilaria Gori, J. K. Aggarwal, Larry Matthies et al.
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