1. Resources
  2. Lectures
  3. Week 2: Formal Logic and Reasoning, First-order Logic
  4. Horn Logic

Horn Logic

View in browser Download

Resource created Sunday 15 September 2019, 10:07:57 PM.

file: 5.Horn_Logic.pdf

Back to top

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