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