CS222 Syllabus: 9/23 - 10/5

• September 23

  • KR Overview
  • Course syllabus

• September 28, 30

  • First order logic syntax and semantics
    Knowledge Interchange Format (KIF)
    

• October 5

  • Proofs and deduction rules for first order logic

Previous slide

Next slide

Back to first slide

View graphic version