Report copyright - Logical Reasoning and Inference - CAU AI Labai.cau.ac.kr/teaching/ai-2011/06a-logic.pdfCan be used with forward chaining or backward chaining. These inference algorithms are very natural
Please pass captcha verification before submit form