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

Resolution

View in browser Download

Resource created 4 years ago, last modified 4 years ago.

file: comp4418-Lecture8-Resolution.pdf


Loading...

Back to top

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