The quest for artificial intelligence : a history of ideas and achievements / - Nilsson, Nils J. (Cambridge University Press, 2010)