1. Resources
  2. Lectures
  3. Week 2: First-Order Logic
  4. Resolution

Resolution

View in browser Download

Resource created Saturday 21 July 2018, 09:25:51 PM, last modified Sunday 22 July 2018, 08:52:12 PM.

file: 4.Resolution.pdf

Back to top

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