A Logic for Reasoning about Evidence.
Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4.
Temporal Planning using Subgoal Partitioning and Resolution in SGPlan.
Admissible and Restrained Revision.
Domain Adaptation for Statistical Classifiers.
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas.
Breaking Instance-Independent Symmetries In Exact Graph Coloring.
The Fast Downward Planning System.
Planning Graph Heuristics for Belief Space Search.
How the Landscape of Random Job Shop Scheduling Instances Depends on the Ratio of Jobs to Machines.
Convexity Arguments for Efficient Minimization of the Bethe and Kikuchi Free Energies.
Multiple-Goal Heuristic Search.