Knowledge Based Reasoning: Agents, Facets of Knowledge. Logic and Inferences: Formal Logic, Propositional and First Order Logic, Resolution in Propositional and First Order Logic, Deductive Retrieval, Backward Chaining, Second order Logic. Knowledge Representation: Conceptual Dependency, Frames, Semantic nets.