Report copyright - Inference in First-Order Logic - Donald Bren …€¢ Reducing first-order inference to propositional inference • Unification • Generalized Modus Ponens • Forward chaining •
Please pass captcha verification before submit form
Please pass captcha verification before submit form