? Nonmonotonic Reasoning ? Review of NMR (CWA, Predicate Completion) ? Circumscription ? NMR and Reasoning about Action ? Situation Calculus ? Frame Problem

Previous slide Back to first slide View graphic version