Report - Inference in first-order logic - Computer Science | …cobweb.cs.uga.edu/~potter/ArtIntell/FOL-Agts-Inference.pdf• Reducing first-order inference to propositional inference • Unification

Please pass captcha verification before submit form