References

McCarthy (1968), ‘Programs with Common Sense’

McCarthy et al. (1969), ‘Some Philosophical Problems from the Standpoint of Artificial Intelligence’

McCarthy (1980), ‘Circumscription—A Form of Non-Monotonic Reasoning’

McCarthy (1986), ‘Applications of Circumscription to Formalizing
Commom-Sense Knowledge’

McDermott (1982), ‘A Temporal Logic for Reasoning About Processes and Plans’

McDermott (1985), ‘Reasoning about Plans’

McDermott (1987), ‘A Critique of Pure Reason’

Miller et al: Common Sense Problem Page (http://www-formal.stanford.edu/leora/commonsense/)

Moore (1985), ‘A formal theory of knowledge and action’

Morgenstern (1987), ‘Knowledge Preconditions for Actions and Plans.’