Lenhart_K.__Schubert
Episodic Logic meets Little Red Riding Hood: A comprehensive, natural representation for language understanding
Explanation closure, action closure, and the sandewall test suite for reasoning about change
Monotonic solution of the frame problem in the situation calculus: an efficient method for worlds with fully specified actions