First Order Logic Inference Methods
Channel: Jarrar
Date: 2013-03-08

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:
Inference Methods in First Order Logic, In Artificial Intelligence Course, Birzeit University, Spring 2013