| Module Name | Download |
|---|---|
| noc20_cs30_assigment_1 | noc20_cs30_assigment_1 |
| noc20_cs30_assigment_10 | noc20_cs30_assigment_10 |
| noc20_cs30_assigment_11 | noc20_cs30_assigment_11 |
| noc20_cs30_assigment_12 | noc20_cs30_assigment_12 |
| noc20_cs30_assigment_2 | noc20_cs30_assigment_2 |
| noc20_cs30_assigment_3 | noc20_cs30_assigment_3 |
| noc20_cs30_assigment_4 | noc20_cs30_assigment_4 |
| noc20_cs30_assigment_5 | noc20_cs30_assigment_5 |
| noc20_cs30_assigment_6 | noc20_cs30_assigment_6 |
| noc20_cs30_assigment_7 | noc20_cs30_assigment_7 |
| noc20_cs30_assigment_8 | noc20_cs30_assigment_8 |
| noc20_cs30_assigment_9 | noc20_cs30_assigment_9 |
| Sl.No | Chapter Name | MP4 Download |
|---|---|---|
| 1 | Introduction | Download |
| 2 | Introduction to Knowledge Representation and Reasoning | Download |
| 3 | An Introduction to Formal Logics | Download |
| 4 | Propositional Logic: Language, Semantics and Reasoning | Download |
| 5 | Propositional Logic: Syntax and Truth Values | Download |
| 6 | Propositional Logic: Valid Arguments and Proof Systems | Download |
| 7 | Propositional Logic: Rules of Inference and Natural Deduction | Download |
| 8 | Propositional Logic: Axiomatic Systems and Hilbert Style Proofs | Download |
| 9 | Propositional Logic: The Tableau Method | Download |
| 10 | Propositional Logic: The Resolution Refutation Method | Download |
| 11 | Syntax | Download |
| 12 | Semantics | Download |
| 13 | Entailment and Models | Download |
| 14 | Proof Systems | Download |
| 15 | Forward Chaining | Download |
| 16 | Unification | Download |
| 17 | Forward Chaining Rule Based Systems | Download |
| 18 | The Rete Algorithm | Download |
| 19 | Rete Algorithm - Example | Download |
| 20 | Programming in a Rule Based Language | Download |
| 21 | The OPS5 Expert System Shell | Download |
| 22 | Skolemization | Download |
| 23 | Terminological Facts | Download |
| 24 | Properties and Categories | Download |
| 25 | Reification and Abstract Entities | Download |
| 26 | Resource Description Framework (RDF) | Download |
| 27 | The Event Calculus: Reasoning About Change | Download |
| 28 | Natural Language Semantics | Download |
| 29 | CD Theory | Download |
| 30 | CD Theory (contd) | Download |
| 31 | English to CD Theory | Download |
| 32 | Backward Chaining | Download |
| 33 | Logic Programming | Download |
| 34 | Prolog | Download |
| 35 | Search in Prolog | Download |
| 36 | Controlling Search | Download |
| 37 | The Cut Operator in Prolog | Download |
| 38 | Incompleteness | Download |
| 39 | The Resolution Method for FOL | Download |
| 40 | Clause Form | Download |
| 41 | FOL with Equality | Download |
| 42 | Complexity of Resolution Refutation | Download |
| 43 | Semantic Nets and Frames | Download |
| 44 | Scripts | Download |
| 45 | Applying Scripts | Download |
| 46 | Goals, Plans and Actions | Download |
| 47 | Plan Applier Mechanism | Download |
| 48 | Top Down and Bottom Up Reasoning | Download |
| 49 | Introduction | Download |
| 50 | Normalisation | Download |
| 51 | Structure Matching | Download |
| 52 | Structure Matching - Example | Download |
| 53 | Classification | Download |
| 54 | A-box reasoning | Download |
| 55 | DL: Extensions | Download |
| 56 | DL: ALC | Download |
| 57 | ALC examples | Download |
| 58 | Taxonomies and Inheritance | Download |
| 59 | Beliefs | Download |
| 60 | Inheritance Hierarchies: | Download |
| 61 | Introduction. | Download |
| 62 | Circumscription | Download |
| 63 | Circumscription (contd) | Download |
| 64 | Minimal Models | Download |
| 65 | Event Calculus Revisited | Download |
| 66 | Circumscription in EC | Download |
| 67 | Defaul Logic | Download |
| 68 | Autoepistemc Logic | Download |
| 69 | Epistemic Logic | Download |
| 70 | The Muddy Children Puzzle | Download |
| 71 | Live Session | Download |
| Sl.No | Chapter Name | English |
|---|---|---|
| 1 | Introduction | Download Verified |
| 2 | Introduction to Knowledge Representation and Reasoning | Download Verified |
| 3 | An Introduction to Formal Logics | Download Verified |
| 4 | Propositional Logic: Language, Semantics and Reasoning | Download Verified |
| 5 | Propositional Logic: Syntax and Truth Values | Download Verified |
| 6 | Propositional Logic: Valid Arguments and Proof Systems | Download Verified |
| 7 | Propositional Logic: Rules of Inference and Natural Deduction | Download Verified |
| 8 | Propositional Logic: Axiomatic Systems and Hilbert Style Proofs | Download Verified |
| 9 | Propositional Logic: The Tableau Method | Download Verified |
| 10 | Propositional Logic: The Resolution Refutation Method | Download Verified |
| 11 | Syntax | Download Verified |
| 12 | Semantics | Download Verified |
| 13 | Entailment and Models | Download Verified |
| 14 | Proof Systems | Download Verified |
| 15 | Forward Chaining | Download Verified |
| 16 | Unification | Download Verified |
| 17 | Forward Chaining Rule Based Systems | Download Verified |
| 18 | The Rete Algorithm | Download Verified |
| 19 | Rete Algorithm - Example | Download Verified |
| 20 | Programming in a Rule Based Language | Download Verified |
| 21 | The OPS5 Expert System Shell | Download Verified |
| 22 | Skolemization | Download Verified |
| 23 | Terminological Facts | Download Verified |
| 24 | Properties and Categories | Download Verified |
| 25 | Reification and Abstract Entities | Download Verified |
| 26 | Resource Description Framework (RDF) | Download Verified |
| 27 | The Event Calculus: Reasoning About Change | Download Verified |
| 28 | Natural Language Semantics | Download Verified |
| 29 | CD Theory | Download Verified |
| 30 | CD Theory (contd) | Download Verified |
| 31 | English to CD Theory | Download Verified |
| 32 | Backward Chaining | Download Verified |
| 33 | Logic Programming | Download Verified |
| 34 | Prolog | Download Verified |
| 35 | Search in Prolog | Download Verified |
| 36 | Controlling Search | Download Verified |
| 37 | The Cut Operator in Prolog | Download Verified |
| 38 | Incompleteness | Download Verified |
| 39 | The Resolution Method for FOL | Download Verified |
| 40 | Clause Form | Download Verified |
| 41 | FOL with Equality | Download Verified |
| 42 | Complexity of Resolution Refutation | Download Verified |
| 43 | Semantic Nets and Frames | Download Verified |
| 44 | Scripts | Download Verified |
| 45 | Applying Scripts | Download Verified |
| 46 | Goals, Plans and Actions | Download Verified |
| 47 | Plan Applier Mechanism | Download Verified |
| 48 | Top Down and Bottom Up Reasoning | Download Verified |
| 49 | Introduction | Download Verified |
| 50 | Normalisation | Download Verified |
| 51 | Structure Matching | Download Verified |
| 52 | Structure Matching - Example | Download Verified |
| 53 | Classification | Download Verified |
| 54 | A-box reasoning | Download Verified |
| 55 | DL: Extensions | Download Verified |
| 56 | DL: ALC | Download Verified |
| 57 | ALC examples | Download Verified |
| 58 | Taxonomies and Inheritance | Download Verified |
| 59 | Beliefs | Download Verified |
| 60 | Inheritance Hierarchies: | Download Verified |
| 61 | Introduction. | Download Verified |
| 62 | Circumscription | Download Verified |
| 63 | Circumscription (contd) | Download Verified |
| 64 | Minimal Models | Download Verified |
| 65 | Event Calculus Revisited | Download Verified |
| 66 | Circumscription in EC | Download Verified |
| 67 | Defaul Logic | Download Verified |
| 68 | Autoepistemc Logic | Download Verified |
| 69 | Epistemic Logic | Download Verified |
| 70 | The Muddy Children Puzzle | Download Verified |
| 71 | Live Session | PDF unavailable |
| Sl.No | Language | Book link |
|---|---|---|
| 1 | English | Not Available |
| 2 | Bengali | Not Available |
| 3 | Gujarati | Not Available |
| 4 | Hindi | Not Available |
| 5 | Kannada | Not Available |
| 6 | Malayalam | Not Available |
| 7 | Marathi | Not Available |
| 8 | Tamil | Not Available |
| 9 | Telugu | Not Available |