A logic theory of learning from experience | IEEE Conference Publication | IEEE Xplore