Readings for 10/5

• Proofs and inference rules for first order logic

• Primary Readings

  • Russell and Norvig
    • 9.1-3 - Inference in First-Order Logic

Previous slide

Back to first slide

View graphic version