Editorial Board
Knowledge, action, and the frame problem
Lessons from a failure: Generating tailored smoking cessation letters
A relevance restriction strategy for automated deduction
Qualitative simulation of temporal concurrent processes using Time Interval Petri Nets
On market-inspired approaches to propositional satisfiability
A logic programming approach to knowledge-state planning, II: The DLVK system
Robustness of regional matching scheme over global matching scheme
Evaluating the effect of semi-normality on the expressiveness of defaults
Developing reproducible and comprehensible computational models
Forthcoming Papers
Author Index—Volume 144 (2003)