From Means-End Analysis to Proactive Means-End Reasoning | IEEE Conference Publication | IEEE Xplore