Using Strategies and AND/OR Decomposition for Back of the Envelope Reasoning Praveen Paritosh Ken Forbus Qualitative Reasoning 2004 2nd August 2004 Outline Examples and motivation…
