Robots in Retirement Homes: Applying Off-the-Shelf Planning and Scheduling to a Team of Assistive Robots.
Managing Different Sources of Uncertainty in a BDI Framework in a Principled Way with Tractable Fragments.
Tie-Breaking Strategies for Cost-Optimal Best First Search.
A Neural Probabilistic Structured-Prediction Method for Transition-Based Natural Language Processing.
Controlled School Choice with Soft Bounds and Overlapping Types.
A Probabilistic Formalization of the Appraisal for the OCC Event-Based Emotions.
Computational Aspects of Nearly Single-Peaked Electorates.
Randomized Social Choice Functions Under Metric Preferences.
Dynamic Repositioning to Reduce Lost Demand in Bike Sharing Systems.
Logics of Common Ground.
Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function.
The Computational Complexity of Structure-Based Causality.
Subset Selection Via Implicit Utilitarian Voting.
Explicit Document Modeling through Weighted Multiple-Instance Learning.
Probabilistic Description Logics for Subjective Uncertainty.
DESPOT: Online POMDP Planning with Regularization.
Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity.
Some Properties of Batch Value of Information in the Selection Problem.
New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition.
Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning.
Combinatorial Multi-armed Bandits for Real-Time Strategy Games.
Encoding Domain Transitions for Constraint-Based Planning.
A Model-Theoretic View on Qualitative Constraint Reasoning.