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

Previous slide Next slide Back to first slide View graphic version