Neuro-Symbolic AI: Bridging Logic and Learning