Theoretical Foundations of Artificial General Intelligence - Pei Wang, Ben Goertzel ((Atlantis Thinking Machines))