Editorial Board
Automated reasoning about machines
Inductive functional programming using incremental program transformation
World modeling for the dynamic construction of real-time control plans
Horn approximations of empirical data
Default reasoning about spatial occupancy
Quantitatively relating abstractness to the accuracy of admissible heuristics
Computing marginals for arbitrary subsets from marginal representation in Markov trees
Machine discovery in chemistry: new results
Forthcoming papers