Report copyright - Inference in First-Order Logic - Department of …phi/ai/slides/lecture-inference-in-first...The Story So Far 2 Propositional logic Subset of prepositional logic: horn clauses Inference
Please pass captcha verification before submit form