Learning through Facts and Reasoning in Computer Science | IEEE Conference Publication | IEEE Xplore