A Model-Theoretic Approach to the Verification of Situated Reasoning Systems

Anand S. Rao, Michael P. Georgeff. A Model-Theoretic Approach to the Verification of Situated Reasoning Systems. In IJCAI. pages 318-324, 1993.