1. Resources
  2. Lectures
  3. Week 3: Implementing Formal Reasoning, Commonsense Reasoning
  4. Horn Logic

Horn Logic

View in browser Download

Resource created Friday 24 September 2021, 11:31:05 PM.

file: comp4418-Lecture9-HornLogic.pdf

Back to top

COMP4418 21T3 (Knowledge Representation and Reasoning) is powered by WebCMS3
CRICOS Provider No. 00098G