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