Report on Reasoning Engines and Dynamic Techniques