Higher-Order Logic Recommender System | IEEE Conference Publication | IEEE Xplore