Homework Assignments

1. EXTRA-CREDIT HW #10: SNePS
   • (announced Apr 22; due May 2)

2. HW #9: FOL: Automated Theorem Proving [PDF]
   • (announced Apr 1; due Apr 8)

3. HW #8: Clause Form
   • PDF
   • HTML
   • (announced Mar 25; due Apr 1--no fooling :-)

4. HW #7: FOL II
   • (announced Mar 11; due Mar 25!!!)

5. HW #6: FOL I: Translating English into a First-Order Language
   • (announced Feb 25; due "virtually" Mar 2)
   • Answers

6. HW #5: Propositional Logic III
   • (announced Feb 18; due Feb 25)

7. HW #4: Propositional Logic II
   • (announced Feb 11; due Feb 18)

8. HW #3: Propositional Logic I
   • (announced Feb 4; due Feb 11)

9. HW #2: Introduction to Ontology
   • (announced Jan 28; due Feb 4)

10. HW #1: Introduction to KR
    • (announced Jan 21; due Jan 28)