Rina Dechter Michael R. Genesereth Reed Letsinger Judea Pearl