Revisiting the Arcade Learning Environment: Evaluation Protocols and Open Problems for General Agents.
Fact-Alternating Mutex Groups for Classical Planning.
Visualisation and 'Diagnostic Classifiers' Reveal How Recurrent and Recursive Neural Networks Process Hierarchical Structure.
Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis.
Coordinating Measurements in Uncertain Participatory Sensing Settings.
Pre-Wiring and Pre-Training: What Does a Neural Network Need to Learn Truly General Identity Rules?
Symbol Grounding Association in Multimodal Sequences with Missing Elements.
SMOTE for Learning from Imbalanced Data: Progress and Challenges, Marking the 15-year Anniversary.
Distributed Constraint Optimization Problems and Applications: A Survey.
Actively Estimating Crowd Annotation Consensus.
On the Behavior of Convolutional Nets for Feature Extraction.
Corpus-Level Fine-Grained Entity Typing.
Bisimulations on Data Graphs.
Survey of the State of the Art in Natural Language Generation: Core tasks, applications and evaluation.
From Skills to Symbols: Learning Symbolic Representations for Abstract High-Level Planning.
Belief Update within Propositional Fragments.
From Feature To Paradigm: Deep Learning In Machine Translation.
Linear Satisfiability Preserving Assignments.
Learning Explanatory Rules from Noisy Data.
KABouM: Knowledge-Level Action and Bounding Geometry Motion Planner.
Cycles and Intractability in a Large Class of Aggregation Rules.
Trust as a Precursor to Belief Revision.
Rademacher Complexity Bounds for a Penalized Multi-class Semi-supervised Algorithm.
When Subgraph Isomorphism is Really Hard, and Why This Matters for Graph Databases.