Introduction. Introduction to Knowledge Representation and Reasoning. An Introduction to Formal Logics. Propositional Logic: Language, Semantics and Reasoning. Propositional Logic: Syntax and Truth Values. Propositional Logic: Valid Arguments and Proof Systems. Propositional Logic: Rules of Inference and Natural Deduction. Propositional Logic: Axiomatic Systems and Hilbert Style Proofs. Propositional Logic: The Tableau Method. Propositional Logic: The Resolution Refutation Method. Syntax. Semantics. Entailment and Models. Forward Chaining. Unification. Proof Systems. Forward Chaining Rule Based Systems. The Rete Algorithm. Rete Algorithm - Example. The OPS5 Expert System Shell. Programming in a Rule Based Language. Skolemization. Terminological Facts. Properties and Categories. Reification and Abstract Entities. The Event Calculus: Reasoning About Change. Resource Description Framework (RDF). Natural Language Semantics. CD Theory. CD Theory (contd). English to CD Theory. Natural Language Semantics. Backward Chaining. Logic Programming. Prolog. Search in Prolog. Controlling Search. The Cut Operator in Prolog. Incompleteness. M7 Lec 2 - The Resolution Refutation method for First Order Logic. Clause Form. FOL with Equality. Complexity of Resolution Refutation. The Resolution Method for FOL. Semantic Nets and Frames. Scripts. Applying Scripts. Goals, Plans and Actions. Plan Applier Mechanism. Top Down and Bottom Up Reasoning. Introduction. Normalisation. Structure Matching. Structure Matching - Example. Classification. A-box reasoning. DL: Extensions. DL: ALC. ALC examples. Taxonomies and Inheritance. Beliefs. Inheritance Hierarchies:. Event Calculus Revisited. Minimal Models. Circumscription (contd). Circumscription. Introduction.. Circumscription in EC. Autoepistemc Logic. Defaul Logic. The Muddy Children Puzzle. Epistemic Logic.