Homework 1, Homework 2, Homework 3.
Homework 4, Homework 5. Homework 6.
Homework 7, Homework 8, Homework 9, Homework 10.
In the labs, we will be doing agent-oriented programming. The collection of programs we will be using can be found in the tar file agents.tar or the zip file agents.zip. This software was last modified November 13, 2008.
Lab 0, Lab 1, Lab 2, Lab 3, Lab 4.
We will also be using a program called Prover9 that performs logical inference.
Official Prover9 Web Site, Introduction to Prover9, Prover9 Example 1, Prover9 Example 2, Prover9 Example 3, Prover9 Example 4, Wumpus Example.
Logic, Knowledge Engineering, Probability.
Planning, Learning, Numerical Learning Algorithms, Neural Networks, Natural Language, Vision.