Artificial Intelligence, Volume 144

Volume 144, Number 1-2, March 2003

• Richard B. Scherl, Hector J. Levesque:
  Knowledge, action, and the frame problem. 1-39
  
• Ehud Reiter, Roma Robertson, Liesl Osman:
  Lessons from a failure: Generating tailored smoking cessation letters. 41-58
  
• David A. Plaisted, Adnan H. Yahya:
  A relevance restriction strategy for automated deduction. 59-93
  
• Vadim Bulitko, David C. Wilkins:
  Qualitative simulation of temporal concurrent processes using Time Interval Petri Nets. 95-124
  
• William E. Walsh, Makoto Yokoo, Katsutoshi Hirayama, Michael P. Wellman:
  On market-inspired approaches to propositional satisfiability. 125-156
  
• Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
  A logic programming approach to knowledge-state planning, II: The DLV^K system. 157-211
  
• Liang Chen, Naoyuki Tokuda:
  Robustness of regional matching scheme over global matching scheme. 213-232
  
• Tomi Janhunen:
  Evaluating the effect of semi-normality on the expressiveness of defaults. 233-250
  
• Peter C. R. Lane, Fernand Gobet:
  Developing reproducible and comprehensible computational models. 251-263