Abstract Reasoning for Planning and Coordination.
Supporting Temporal Reasoning by Mapping Calendar Expressions to Minimal Periodic Sets.
Discovering Classes of Strongly Equivalent Logic Programs.
Closed-Loop Learning of Visual Control Policies.
Cutset Sampling for Bayesian Networks.
Bin Completion Algorithms for Multicontainer Packing, Knapsack, and Covering Problems.
Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively.
Anytime Heuristic Search.
Junta Distributions and the Average-Case Complexity of Manipulating Elections.
Consistency and Random Constraint Satisfaction Models.
Proactive Algorithms for Job Shop Scheduling with Probabilistic Durations.
The Strategy-Proofness Landscape of Merging.
Auctions with Severely Bounded Communication.
Marvin: A Heuristic Search Planner with Online Macro-Action Learning.