Time-aware Self-Attention Meets Logic Reasoning in Recommender Systems | IEEE Conference Publication | IEEE Xplore