Details of availability of course contents covered, in standard Books:

  1. Reasoning patterns: Book: Artificial Intelligence - A Modern approach, Stuart Russel and Peter Norvig, II Ed., chapter 7, pp. 211.
  2. Rule Chaining: Russel & Norwig: chapter 7, pp. 217.
  3. First order Predicate logic: syntax, semantics, simple and complex sentences, quantifers. Book: Artificial Intelligence - A Modern approach, Stuart Russel and Peter Norvig, II Ed., Chapter 8, pp: 240 onwards. Also covered in AI by Elaine Rich and Kevin Knight, II Ed. chapter 5, pp. 131 onwards
  4. Conjunctive Normal form (CNF): Russel & Norwig, chapter 9, pp. 295. Rich & knight: Chapter 5, pp. 145
  5. Resolution Principle: Russell & Norwig: Chapter 7, pp. 213, and Rich & Knight: Chapter 5 pp. 143.
  6. Inferences in predicate logic: Russel & Norwig, chapter 9, pp. 272.