Modeling and reasoning techniques in geologic interpretation | IEEE Journals & Magazine | IEEE Xplore