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

Anand S. Rao, Michael P. Georgeff

Browse the full IJCAI paper archive.