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
Week 3: Implementing Formal Reasoning, Commonsense Reasoning
Week 3: Implementing Formal Reasoning, Commonsense Reasoning
Procedural Control
Horn Logic
Nonmonotonic Reasoning
Back to top
COMP4418 21T3 (Knowledge Representation and Reasoning)
is powered by
WebCMS3
CRICOS Provider No. 00098G