Goal Decomposition and Adductive Reasoning for Policy Refinement and Analysis eclupu–Presentations–October 8, 2015 Goal Decomposition and Abductive Reasoning for Policy Analysis and Refinement from Emil Lupu