Forthcoming Book

From: Ray Reiter

I have decided to make available a draft of my book on the sitcalc to ETAI subscribers. It can be downloaded from our group's web site:

http://www.cs.toronto.edu/~cogrobo/

Here is a brief descriptor:

Being a draft of the first eight chapters of a book on the situation calculus and its relevance to artificial intelligence, cognitive robotics, databases, programming languages, simulation, and control theory. Permission is granted to download copies for personal, non-commercial use. Oversights, corrections and advice will be gratefully (and gracefully) received.

Best wishes for a happy new year.

--Ray