03/03/08 Review for midterm [study
guide]
03/05/08 Midterm exam
03/07/08
Reasoning in propositional
logic [class notes]
03/10/08
Agents based on propositional
logic Last
day to dtrop with a 'W'
03/12/08 First-order logic; syntax,
models [class notes]
[class notes]
03/14/08 First-order logic; knowledge
engineering
03/17/08 Inference in first-order logic;
rules, unification, lifting [class
notes]
03/19/08 Inference in first-order logic;
forward/backward chaining [class
notes]
03/21/08 Spring holiday No Class
03/24/08 Spring break No Class
03/26/08 Spring break No Class
03/28/08 Spring break No Class
03/31/08Knowledge representation; resolution [class notes]
(NMSU calendar) |