Logic Programming & AI

Selmer Bringsjord & Dave Ferrucci

This course and Logic & Artificial Intelligence have been merged. This page will serve as the current (Spring 01) portal for the merged course.

Handouts || Related Courses || Research Projects || Demos || Class Slides || Supporting Links

Handouts

Related Courses

Research Projects

Demos

Many of the handouts (see that section) are based on in-class demos with OTTER.

Class Slides

Supporting Links


Top Level of Bringsjord's Web Site