This page has moved to  http://www.cs.ucla.edu/~darwiche