Three new publication categories for the Artificial Intelligence Journal
Model-based diagnosis of hardware designs
Algorithms for selective enumeration of prime implicants
A commonsense language for reasoning about causation and rational action
Jumping to explanations versus jumping to conclusions
Reasoning about noisy sensors and effectors in the situation calculus
Coalition structure generation with worst case guarantees
Qualitative circuit models in failure analysis reasoning
From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
Learning to ask relevant questions
Intelligent planning: A decomposition and abstraction based approach to classical planning