1. Programs with common sense;McCarthy,1959
2. J. McCarthy, Situations, actions, and causal laws, Technical Report AI Memo 2, AI Lab, Stanford University, 1963.
3. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression;Reiter,1991
4. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems;Reiter,2001
5. Belief revision;Peppas,2008