- Resources
- Lectures
Week 1: Introduction to KRR, Modelling, Propositional Logic
Week 2: Formal Logic and Reasoning, First-order Logic
Week 3: Implementing Formal Reasoning, Commonsense Reasoning
Week 5: Answer Set Programming
Back to top
COMP4418 19T3 (Knowledge Representation and Reasoning)
is powered by
WebCMS3
CRICOS Provider No. 00098G