Homework 4 socket closed; due November 18th

[Subbarao Kambhampati <rao@parichaalak.eas.asu.edu>]

I added a problem on FOPC and closed the HW4 socket. It is due on
18th. 

Rao

ps: There will be one other homework--covering reasoning with
uncertainty and machine learning. Depending on the time, it may be 
an optional homework.