CSE 4/572 PROJECTS

1. 
   Project #4: KNOWLEDGE REPRESENTATION AND REASONING IN SNePS (announced in lecture, Apr 19)

2. Project #3: AUTOMATED THEOREM PROVING (announced in lecture, Mar 20)
   • dvi
   • ps
   • pdf

3. Project #2: SOLVING 8-PUZZLES BY SEARCH (announced in lecture, Feb 18)
   • PROJECT 2 TENTATIVE GRADING SCHEME

4. Project #1: NATURAL-LANGUAGE PROCESSING BY PATTERN MATCHING (announced in lecture, Jan 28)