Report copyright - Introduction to Artificial Intelligencekanmy/courses/3243_2010/...Backward chaining, model checking (e.g. DPLL), resolution Deducing new facts Forward chaining Efficiency: track #
Please pass captcha verification before submit form