ARIADNE: A knowledge-based interactive system for planning and decision support | IEEE Journals & Magazine | IEEE Xplore