AMD64 is what you want and yes, it works with Intel's x86-64 processors. What you don't want is IA-64, which is for Itanium processors and which isn't compatible at all with anything you can possibly have at home.
Many others here have deeper Linux knowledge than me, but I've installed and...