Toggle navigation
WebCMS3
Search Courses
Login
COMP4418
18s2
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
Outline
Introduction
Propositional Logic 1
Propositional Logic 2
Week 2: First-Order Logic
Expressing Knowledge
First-Order Logic 1
First-Order Logic 2
Resolution
Week 3: Practical Reasoning
Horn Logic
Prolog 1
Prolog 2
Prolog 3
Prolog 4
Prolog 5
Procedural Control
Week 4: Commonsense Reasoning
Default Reasoning
Nonmonotonic Reasoning
Tradeoff
Week 5: Answer Set Programming
There are no accessible resources under here.
Week 6 & 7: Satisfiability
There are no accessible resources under here.
Week 8: Knowledge and Action
There are no accessible resources under here.
Week 9: Social Choice
active from 13/09/2018
There are no accessible resources under here.
Week 10: Multi-agent resource allocation
There are no accessible resources under here.
Week 11: Cooperative Games
There are no accessible resources under here.
Week 12: Non-cooperative Games
There are no accessible resources under here.
Back to top
COMP4418 18s2 (Knowledge Representation and Reasoning)
is powered by
WebCMS3
CRICOS Provider No. 00098G