Kenneth D. Forbus Andrew Lovett Kate Lockwood Jon Wetzel Camillia Matuk Ben Jee Jeffrey M. Usher 1878-1879 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#ForbusLLWMJU08