Quote Originally Posted by reub2000
In addition to the logout (which is really shut down) there should be a menu item to restart your computer.
Open a console window (clam shell icon on the taskbar) and sudo shutdown -r now to reboot the system.