CSE 463/563, Spring 2005
Homework Assignments
Last Update: 25 April 2005
Note:
or
material is highlighted
EXTRA-CREDIT HW #10: SNePS
(announced Apr 22;
due May 2)
HW #9: FOL: Automated Theorem Proving
[PDF]
(announced Apr 1; due Apr 8)
HW #8: Clause Form
PDF
HTML
(announced Mar 25; due Apr 1--no fooling :-)
HW #7: FOL II
(announced Mar 11; due Mar 25!!!)
HW #6: FOL I: Translating English into a First-Order Language
(announced Feb 25; due "virtually" Mar 2)
Answers
HW #5: Propositional Logic III
(announced Feb 18; due Feb 25)
HW #4: Propositional Logic II
(announced Feb 11; due Feb 18)
HW #3: Propositional Logic I
(announced Feb 4; due Feb 11)
HW #2: Introduction to Ontology
(announced Jan 28; due Feb 4)
HW #1: Introduction to KR
(announced Jan 21; due Jan 28)
Copyright © 2005 by
William J. Rapaport
(
rapaport@cse.buffalo.edu
)
file: 563S05/homeworks-2005-04-22.html