Automated and Interactive Problem Solving