Volume 26 Masthead

Published: 2006-05-01

Articles

A Logic for Reasoning about Evidence

J. Y. Halpern, R. Pucella

1-34

PDF PS

Planning Graph Heuristics for Belief Space Search

D. Bryce, S. Kambhampati, D. E. Smith

35-99

PDF PS

Domain Adaptation for Statistical Classifiers

H. Daume III, D. Marcu

101-126

PDF PS

Admissible and Restrained Revision

R. Booth, T. Meyer

127-151

PDF PS

Convexity Arguments for Efficient Minimization of the Bethe and Kikuchi Free Energies

T. Heskes

153-190

PDF PS

The Fast Downward Planning System

M. Helmert

191-246

PDF PS

How the Landscape of Random Job Shop Scheduling Instances Depends on the Ratio of Jobs to Machines

M. J. Streeter, S. F. Smith

247-287

PDF PS

Breaking Instance-Independent Symmetries In Exact Graph Coloring

A. Ramani, I. L. Markov, K. A. Sakallah, F. A. Aloul

289-322

PDF PS

Temporal Planning using Subgoal Partitioning and Resolution in SGPlan

Y. Chen, B. W. Wah, C. Hsu

323-369

PDF PS

Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas

E. Giunchiglia, M. Narizzano, A. Tacchella

371-416

PDF PS

Multiple-Goal Heuristic Search

D. Davidov, S. Markovitch

417-451

PDF PS

Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4

J. Hoffmann, S. Edelkamp, S. Thiebaux, R. Englert, F. Liporace, S. Trueg

453-541

PDF PS