Section Posts Last Post
Exercises/Practice Exam 23 i Thursday 16 November 2017, 02:36:09 PM
COMP4418 Front Page 6 i Thursday 16 November 2017, 10:11:58 AM
Exercises/Exercise Set 6, 7, 8, 9 Solutions 7 i Wednesday 15 November 2017, 11:43:37 PM
Assignments/Assignment 3 46 i Wednesday 15 November 2017, 06:29:47 PM
Exercises/Week 12: Decision Making - Exercises and Solutions 5 i Wednesday 15 November 2017, 03:11:53 PM
Assignments/Assignment 1 127 i Wednesday 15 November 2017, 02:27:12 PM
Course Outline 12 i Wednesday 15 November 2017, 01:58:53 PM
Exercises/Practice Exam Solutions 2 i Wednesday 15 November 2017, 08:48:38 AM
Lectures/Week 1: Introduction and Propositional Logic/Propositional Logic 1 3 i Friday 03 November 2017, 01:43:30 PM
Lectures/Week 4: Commonsense Reasoning/Default Reasoning 4 i Friday 03 November 2017, 01:13:05 PM
Lectures/Week 1: Introduction and Propositional Logic/Propositional Logic 2 4 i Monday 30 October 2017, 11:59:49 PM
Lectures/Week 10: Social Choice/Social Choice 1 i Saturday 28 October 2017, 01:25:50 PM
Assignments/Assignment 2 49 i Thursday 05 October 2017, 02:42:52 PM
Lectures/Week 8: Tractable Reasoning with Limited Belief/Tractable Reasoning with Limited Belief 35 i Tuesday 03 October 2017, 09:51:29 PM
Lectures/Week 7: Reasoning about Knowledge/Reasoning about Knowledge 11 i Monday 02 October 2017, 06:32:12 PM
Lectures/Week 9: Reasoning about Actions/Reasoning about Actions 22 i Sunday 01 October 2017, 11:23:47 PM
Lectures/Week 6: Answer Set Programming/Answer Set Programming 7 i Saturday 30 September 2017, 11:42:59 AM
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 3: Practical Reasoning/Horn Logic 4 i Sunday 13 August 2017, 11:14:12 PM
Lectures/Week 1: Introduction and Propositional Logic/Introduction 0 Never
Lectures/Week 1: Introduction and Propositional Logic/Outline 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
Lectures/Week 12/Decision Making 0 Never
Lectures/Week 13/Planning 0 Never
Lectures/Week 11/Noncooperative Games 0 Never
Exercises/Exercise Set 1 0 Never
Exercises/Exercise Set 2 0 Never
Exercises/Exercise Set 2 Solutions 0 Never
Exercises/Exercise Set 6, 7, 8, 9 0 Never
Exercises/Week 13: Planning - Exercises and Solutions 0 Never

Back to top

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