Title: Reasoning about action using a possible models approach
Subjects: Artificial intelligence, Frames (Information theory), Logic, Reasoning