updated slides online

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

I put a couple more slides after the slide about the memos--explaining how 
EBL actually works. These are slides that use the same running example I 
used in the class and show how a simple maintenance of conflict sets with 
each proposition will allow you to realize that the memo at the second 
level is just p1,p2,p3,p4 and not p1...p6. They also explain how the memos 
are then regressed to earlier levels.

Please take a look at them. I will answer questions and/or go over them in 
the next class as needed.

Rao