A Global Constraint for the Exact Cover Problem: Application to Conceptual Clustering.
The 2^k Neighborhoods for Grid Path Planning.
Learning the Language of Software Errors.
Revisiting Graph Width Measures for CNF-Encodings.
The Force Awakens: Artificial Intelligence for Consumer Law.
Blind Spot Detection for Safe Sim-to-Real Transfer.
Planning for Hybrid Systems via Satisfiability Modulo Theories.
HTN Planning as Heuristic Progression Search.
Robust Multi-Agent Path Finding and Executing.
Using Task Descriptions in Lifelong Machine Learning for Improved Performance and Zero-Shot Transfer.
TensorLog: A Probabilistic Database Implemented Using Deep-Learning Infrastructure.
Incomplete Preferences in Single-Peaked Electorates.
Best-First Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation.
Catching Cheats: Detecting Strategic Manipulation in Distributed Optimisation of Electric Vehicle Aggregators.
Jointly Improving Parsing and Perception for Natural Language Commands through Human-Robot Dialog.
A Set of Recommendations for Assessing Human-Machine Parity in Language Translation.
Saturated Cost Partitioning for Optimal Classical Planning.
Adversarial Attacks on Crowdsourcing Quality Control.
Fair Allocation with Diminishing Differences.
The Impact of Treewidth on Grounding and Solving of Answer Set Programs.
Agreement on Target-Bidirectional Recurrent Neural Networks for Sequence-to-Sequence Learning.
Regret Bounds for Reinforcement Learning via Markov Chain Concentration.
Solving Delete Free Planning with Relaxed Decision Diagram Based Heuristics.
Compositionality Decomposed: How do Neural Networks Generalise?
Hedonic Games with Ordinal Preferences and Thresholds.
