A formal theory of knowledge and action (1985)

by R C Moore
Venue:Formal Theories of the Commonsense World