Toggle navigation
WebCMS3
Search Courses
Login
COMP4418
17s2
Home
Course Outline
Forums
Timetable
Groups
Activities
Course Work
Lectures
Lecture Videos
Assignments
Exercises
Toggle Menu
Resources
Lectures
Lectures
Week 1: Introduction and Propositional Logic
23/07/2017 - 29/07/2017
Outline
Introduction
Propositional Logic 1
Propositional Logic 2
Week 2: First-Order Logic
30/07/2017 - 05/08/2017
Expressing Knowledge
First-Order Logic 1
First-Order Logic 2
Resolution
Week 3: Practical Reasoning
06/08/2017 - 12/08/2017
Introduction and Horn Logic
Prolog 1
Prolog 2
Prolog 3
Prolog 4
Prolog 5
Horn Logic
Procedural Control
Week 4: Commonsense Reasoning
13/08/2017 - 19/08/2017
Default Reasoning
Non-Monotonic Reasoning
Tradeoff
Week 5: no lecture
20/08/2017 - 26/08/2017
There are no resources under this heading.
Week 6: Answer Set Programming
27/08/2017 - 02/09/2017
Answer Set Programming
Week 7: Reasoning about Knowledge
03/09/2017 - 09/09/2017
Reasoning about Knowledge
Week 8: Tractable Reasoning with Limited Belief
10/09/2017 - 16/09/2017
Tractable Reasoning with Limited Belief
Week 9: Reasoning about Actions
17/09/2017 - 23/09/2017
Reasoning about Actions
Week 10: Social Choice
24/09/2017 - 30/09/2017
Social Choice
Week 11
08/10/2017 - 14/10/2017
Noncooperative Games
Week 12
15/10/2017 - 21/10/2017
Decision Making
Week 13
22/10/2017 - 28/10/2017
Planning
Back to top
COMP4418 17s2 (Knowledge Representation and Reasoning)
is powered by
WebCMS3
CRICOS Provider No. 00098G