First Order Logic Inference Methods
Channel: Jarrar
Date: 2011-12-05

Lecture video by Mustafa Jarrar at Birzeit University, Palestine.
See the course webpage at: http://jarrar-courses.blogspot.com/2011/11/artificial-intelligence-fall-2011.html and http://www.jarrar.info

The lecture covers: First Order Logic , Inference Methods
Artificial Intelligence Course - fall 2011