Toggle navigation
WebCMS3
Search Courses
Login
COMP4418
21T3
Home
Course Outline
Forums
Timetable
Groups
Activities
Wikis
Course Work
Assignments
Exercises
Lectures
Lecture Recordings
Toggle Menu
Resources
Lectures
Lectures
Week 0
Welcome
Week 1: Introduction to KRR, Modelling, Propositional Logic
13/09/2021 - 19/09/2021
Propositional Logic 2
Introduction
Propositional Logic 1
Week 2: Formal Logic and Reasoning, First-order Logic
20/09/2021 - 26/09/2021
Expressing Knowledge
First-Order Logic 1
First-Order Logic 2
Resolution
Week 3: A Programming Language based on First-Order Logic – Prolog
27/09/2021 - 03/10/2021
Prolog 1: Introduction to Prolog I
Prolog 3: Introduction to Prolog III - Problem Solving
Prolog 2: Introduction to Prolog II
Prolog 4: Introduction to Prolog IV - Controlling Execution
Week 3: Implementing Formal Reasoning, Commonsense Reasoning
27/09/2021 - 03/10/2021
Procedural Control
Horn Logic
Nonmonotonic Reasoning
Week 6
18/10/2021 - 24/10/2021
There are no resources under this heading.
Week 8
01/11/2021 - 07/11/2021
There are no accessible resources under here.
Week 9
08/11/2021 - 14/11/2021
There are no accessible resources under here.
Week 10
15/11/2021 - 21/11/2021
There are no accessible resources under here.
Back to top
COMP4418 21T3 (Knowledge Representation and Reasoning)
is powered by
WebCMS3
CRICOS Provider No. 00098G