Report copyright - Inference in first- order logic. Outline 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