CS112: Representation and Reasoning for AI

Brandeis University, Fall 2006

Class Notes

Introduction to the Problem (9/1/06)
Propositional Logic Slides (9/5/06)
Logic in CS Slides (9/5/06)
Sequent Calculus Notes (9/8/06)
Lecture Notes (9/12/06)
Propositional Dynamic Logic Notes (11/14/06)