Watching and Acting Together: Concurrent Plan Recognition and Adaptation for Human-Robot Teams.
Efficient Computation of Semivalues for Game-Theoretic Network Centrality.
A Core Method for the Weak Completion Semantics with Skeptical Abduction.
A Complexity Approach for Core-Selecting Exchange under Conditionally Lexicographic Preferences.
Bounds on the Cost of Stabilizing a Cooperative Game.
Query Answering with Transitive and Linear-Ordered Data.
State-Space Abstractions for Probabilistic Inference: A Systematic Review.
Robust Text Classification under Confounding Shift.
Transition-Based Neural Word Segmentation Using Word-Level Features.
LTL on Finite and Process Traces: Complexity Results and a Practical Reasoner.
Cooperative, Dynamics-based, and Abstraction-Guided Multi-robot Motion Planning.
Data-driven Conceptual Spaces: Creating Semantic Representations For Linguistic Descriptions Of Numerical Data.
Human-Machine Collaborative Optimization via Apprenticeship Scheduling.
Proximal Gradient Temporal Difference Learning: Stable Reinforcement Learning with Polynomial Sample Complexity.
Belief Integration and Source Reliability Assessment.
Revisiting the Approximation Bound for Stochastic Submodular Cover.
From Word To Sense Embeddings: A Survey on Vector Representations of Meaning.
Optimal Torpedo Scheduling.
Approximation and Parameterized Complexity of Minimax Approval Voting.
AND/OR Search for Marginal MAP.
Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions.
Grounding Language for Transfer in Deep Reinforcement Learning.
Graphical Model Market Maker for Combinatorial Prediction Markets.