Speeding Up Iterative Ontology Alignment using Block-Coordinate Descent.
Property Directed Reachability for Automated Planning.
Reconnection with the Ideal Tree: A New Approach to Real-Time Search.
MDD Propagation for Sequence Constraints.
Topic-Based Dissimilarity and Sensitivity Models for Translation Rule Selection.
An Efficient Algorithm for Estimating State Sequences in Imprecise Hidden Markov Models.
Demand Side Energy Management via Multiagent Coordination in Consumer Cooperatives.
Knowledge Forgetting in Answer Set Programming.
Sentiment Analysis of Short Informal Texts.
Game-Theoretic Patrolling with Dynamic Execution Uncertainty and a Case Study on a Real Transit System.
HC-Search: A Learning Framework for Search-based Structured Prediction.
A Multivariate Complexity Analysis of Lobbying in Multiple Referenda.
Planning through Automatic Portfolio Configuration: The PbP Approach.
Finding Optimal Solutions for Voting Game Design Problems.
Integrating Queueing Theory and Scheduling for Dynamic Scheduling Problems.
Enhanced Partial Expansion A.
False-Name Manipulation in Weighted Voting Games is Hard for Probabilistic Polynomial Time.
Arbitration and Stability in Cooperative Games with Overlapping Coalitions.
Monotone Temporal Planning: Tractability, Extensions and Applications.
Improving Delete Relaxation Heuristics Through Explicitly Represented Conjunctions.
Belief Tracking for Planning with Sensing: Width, Complexity and Approximations.
Policy Iteration Based on Stochastic Factorization.
Probabilistic Inference in Credal Networks: New Complexity Results.
A Decision-Theoretic Model of Assistance.