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 DLVK 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
Last update Thu May 23 18:13:58 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
