No Sound card detected in Sound Settings, although sound works
Solution 1:
I had the same problem on my MacBook Pro 8.1 running Ubuntu 12.04. I solved it by resetting pulseaudio user configuration as explained here.
You have to run the following lines in terminal
rm -r ~/.pulse*; pulseaudio -k
and then logout and log back in.