CS222 Syllabus: 10/7 - 10/14

• October 7

  • Model elimination proof procedure

• October 12

  • Open Knowledge Base Connectivity (OKBC) API
    • Tell and Ask commands
  • Automatic Theorem Prover (ATP) OKBC server

• October 14

  • Multi-use ontologies
  • Frame languages
    • OKBC knowledge model

Previous slide

Next slide

Back to first slide

View graphic version