Week-9

Reasoning and Knowledge Representation: Introductions to Reasoning and Knowledge
Representation, Propositional Logic, First Order Logic: Syntax and Semantics of FirstOrder Logic