Detailed references for AI classes-2

  1. Unification, lifting, most general unifier and its algorithm: Russel & Norvig II ed. pp. 275-278, Rich & Knight II ed. pp. 150-160
  2. Completeness of resolution: Russel & Norvig II ed., pp. 300-303.
  3. Forward chaining: Russel & Norvig II ed., pp. 280-285, Rich & Knight II ed. pp. 171-191
  4. Backward chaining: Russel & Norvig II ed., pp. 287-288, Rich & Knight II ed. pp. 171-191.
  5. Logic Programming and Prolog: Russel & Norvig, pp. 287-294, Rich and Knight, pp. 173-176.