CSE 4/572 HOMEWORKS

1. HW #9: KNOWLEDGE REPRESENTATION II: SNePS (announced in lecture, 24 Apr)
   
   
   • answers

2. HW #8: KNOWLEDGE REPRESENTATION (announced in lecture, 17 Apr)
   • answers

3. HW #7: AUTOMATED THEOREM PROVING (announced in lecture, Apr 8)

4. "VIRTUAL" HW #6: FIRST-ORDER LOGIC (announced in lecture, Mar 6)

5. HW #5: PROPOSITIONAL LOGIC (announced in lecture, Feb 27)
   • HW #5 ANSWERS

6. HW #4: SEARCH, Part II (announced in lecture, Feb 13)

7. HW #3: SEARCH, Part I (announced in lecture, Feb 6)

8. HW #2: AGENTS (announced in lecture, Feb 1)

9. HW #1: COMPARISON OF 2 HUMAN-COMPUTER DIALOGUES (announced in lecture, Jan 23)