Knowledge-based connectionism for revising domain theories | IEEE Journals & Magazine | IEEE Xplore