Right for the Right Concept: Revising Neuro-Symbolic Concepts by Interacting with their Explanations | IEEE Conference Publication | IEEE Xplore