HAYES@SPAR-20.ARPA (PAT) (06/01/87)
In reply to Ray Lister: the best overview is probably Hector Levesques Computers and Thought lecture delivered at the last IJCAI. Pat Hayes -------