I teach the class CS227: Reasoning Methods in Artificial Intelligence in the Department of Computer Science at Stanford University. In 2007-08, Dr. Daniel Bryce co-instructed the class.

CS227 is a second class in AI, covering methods for (largely) non-probabilistic reasoning in propositional satisfiability, constraint satisfaction, temporal reasoning, and planning. It is complementary to CS228: Probabilistic Models in Artificial Intelligence. Assessment is by group programming projects.

The course is appropriate for graduate students (both Masters and PhD students), and for advanced undergraduates with a special interest in AI. Students are assumed to have taken basic courses in AI, algorithms, data structures, and programming, or to have equivalent background in these areas. Those considering the class for credit but unsure of their background, and those wishing to audit it, are invited to contact the instructor.

In 2007-08, CS227 was be offered in the Spring quarter (contrary to what is said in the annual Bulletin; the quarterly Bulletin is correct). Classes are scheduled for Tuesdays and Thursdays, 9:30-10:45am, in room 003 of building 260 (not Gates).

We plan to offer the course again in the Spring quarter of 2008-09.

CS227: Reasoning Methods in Artificial Intelligence webpage (public)

CS227: Reasoning Methods in Artificial Intelligence Coursework site (Stanford community)