Report - Inference in First-Order Logicwelling/teaching/271fall09/FOLinference271-f09.pdf · Inference appoaches in FOL • Forward-chaining – Uses GMP to add new atomic sentences – Useful

Please pass captcha verification before submit form