Media Summary: For more information about Stanford's Artificial Intelligence professional and graduate programs visit: 9 First Order Logic Inference Propositionalization, Unification, and Resolution Introduction to inference in FOL and unification (no unification algorithm is offered, but the idea is discussed).
Logic 9 First Order Resolution - Detailed Analysis & Overview
For more information about Stanford's Artificial Intelligence professional and graduate programs visit: 9 First Order Logic Inference Propositionalization, Unification, and Resolution Introduction to inference in FOL and unification (no unification algorithm is offered, but the idea is discussed).
