Knowledge Representation and Reasoning for Intelligent Software Systems | IEEE Journals & Magazine | IEEE Xplore