Weighted Matching Markets with Budget Constraints.
IKBT: Solving Symbolic Inverse Kinematics with Behavior Tree.
REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics.
Automatic Language Identification in Texts: A Survey.
Probabilistic Planning with Reduced Models.
The Mathematics of Changing One's Mind, via Jeffrey's or via Pearl's Update Rule.
Unifying System Health Management and Automated Decision Making.
A Survey of Cross-lingual Word Embedding Models.
Autonomous Target Search with Multiple Coordinated UAVs.
Point-Based Value Iteration for Finite-Horizon POMDPs.
A Coupled Operational Semantics for Goals and Commitments.
On Overfitting and Asymptotic Bias in Batch Reinforcement Learning with Partial Observability.
Computing Multi-Modal Journey Plans under Uncertainty.
OptStream: Releasing Time Series Privately.
Dependency Learning for QBF.
Goal Recognition Design in Deterministic Environments.
Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search.