This is a draft of a chapter from a book in preparation on logical AI. It is available html, dvi, ps, and pdf formats. Comments are welcome and may affect the final form of the chapter.
This article is also a chapter in Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter, Springer-Verlag 1999, a festschrift presented to Raymond Reiter on his sixtieth birthday in 1999 June. As of 1999 July 5, this web site corresponds to the festschrift, but this text is likely to change.
Up to:Send comments to jmc@cs.stanford.edu
The number of hits on this page since 1999 Feb 17.