1. RPKPS-AI-Semester-Ganjil-2013-2014 RPKPS-AI-Semester-Ganjil-2015-2016
2. AI – Intro
6. Informed Searching & Minimax
7. Constraint Satisfaction Problem
9. FirstOrderLogic_Koblenz | FOL_UI
10. Logic Programming | 11.1-Logic Programming_AI
11. Inference in FOL | 11.2-Inferensi pada FOL_AI
11.2. Inference Task