Kenneth D. Forbus Alexander Kott