Finding diverse high-quality plans for hypothesis generationShirin SohrabiAnton V. Riabovet al.2016ECAI 2016