Section Posts Last Post
Assignments/Assignment 2 9 i Monday 25 September 2017, 01:33:30 AM
Lectures/Week 8: Tractable Reasoning with Limited Belief/Tractable Reasoning with Limited Belief 17 i Monday 25 September 2017, 01:04:45 AM
Lectures/Week 9: Reasoning about Actions/Reasoning about Actions 4 i Thursday 21 September 2017, 03:07:33 PM
Lectures/Week 7: Reasoning about Knowledge/Reasoning about Knowledge 9 i Thursday 14 September 2017, 01:46:43 PM
Lectures/Week 6: Answer Set Programming/Answer Set Programming 5 i Tuesday 12 September 2017, 02:55:37 PM
Assignments/Assignment 1 122 i Wednesday 30 August 2017, 11:42:10 PM
Lecture Videos 13 i Tuesday 29 August 2017, 08:37:39 PM
Exercises/Exercise Set 1 Solutions 3 i Tuesday 29 August 2017, 05:46:03 PM
Lectures/Week 4: Commonsense Reasoning/Default Reasoning 2 i Sunday 27 August 2017, 12:08:16 AM
Lectures/Week 3: Practical Reasoning/Horn Logic 4 i Sunday 13 August 2017, 11:14:12 PM
COMP4418 Front Page 0 Never
Course Outline 0 Never
Lectures/Week 1: Introduction and Propositional Logic/Propositional Logic 1 0 Never
Lectures/Week 1: Introduction and Propositional Logic/Introduction 0 Never
Lectures/Week 1: Introduction and Propositional Logic/Outline 0 Never
Lectures/Week 1: Introduction and Propositional Logic/Propositional Logic 2 0 Never
Lectures/Week 2: First-Order Logic/First-Order Logic 1 0 Never
Lectures/Week 2: First-Order Logic/First-Order Logic 2 0 Never
Lectures/Week 2: First-Order Logic/Expressing Knowledge 0 Never
Lectures/Week 2: First-Order Logic/Resolution 0 Never
Lectures/Week 4: Commonsense Reasoning/Tradeoff 0 Never
Lectures/Week 4: Commonsense Reasoning/Non-Monotonic Reasoning 0 Never
Lectures/Week 3: Practical Reasoning/Prolog 4 0 Never
Lectures/Week 3: Practical Reasoning/Prolog 5 0 Never
Lectures/Week 3: Practical Reasoning/Procedural Control 0 Never
Lectures/Week 3: Practical Reasoning/Prolog 1 0 Never
Lectures/Week 3: Practical Reasoning/Prolog 2 0 Never
Lectures/Week 3: Practical Reasoning/Prolog 3 0 Never
Lectures/Week 3: Practical Reasoning/Introduction and Horn Logic 0 Never
Exercises/Exercise Set 1 0 Never
Exercises/Exercise Set 2 Solutions 0 Never
Exercises/Exercise Set 2 0 Never

Back to top

COMP4418 17s2 (Knowledge Representation and Reasoning) is powered by WebCMS3
CRICOS Provider No. 00098G