| Course: | LPS 209 |
| Name: | Logic for Artificial Intelligence |
| Description: | After introducing the standard theory and meta-theory of classical first-order logic, the course surveys the fundamental tools, methods and results developed in Artificial Intelligence in order to represent defeasible reasoning. |
| Web site: | http://eee.uci.edu/02f/66509 |