de Kleer, Johan, Palo Alto Research Center (PARC), United States