348 A Glossary LNOO. George Lakoff and Rafael Nunez. Where Mathematics Comes From. Basic Books, 2000. Log07. Robert M. Logan. The Extended Mind. University of Toronto Press, 2007. Loo06. Moshe Looks. Competent Program Evolution. PhD Thesis, Computer Science Department, Wash- ington University, 2006. LRN87. John Laird, Paul Rosenbloom, and Alan Newell. Soar: An architecture for general intelligence. Artificial Intelligence, 33, 1987. LS05. J Lisman and N Spruston. Postsynaptic depolarization requirements for ltp and ltd: a critique of spike timing-dependent plasticity. Nature Neuroscience 8, 839-41, 2005. LWMLO9. John Laird, Robert Wray, Robert Marinier, and Pat Langley. Claims and challenges in evaluating human-level intelligent systems. Proc. of AGI-09, 2009. Mac95. D. MacKenzie. The automation of proof: A historical and sociological exploration. [EEE Annals of the History of Computing, 17(3):7-29, 1995. Mar01. H. Marchand. Reflections on PostFormal Thought. The Genetic Epistemologist, 2001. McKO3. Bill McKibben. Enough: Staying Human in an Engineered Age. Saint Martins Griffin, 2003. Met04. Thomas Metzinger. Being No One. Bradford, 2004. Min8ss8. Marvin Minsky. The Society of Mind. MIT Press, 1988. Min07. Marvin Minsky. The Emotion Machine. 2007. MKO0O7. Joseph Modayil and Benjamin Kuipers. Autonomous development of a grounded object ontology by a learning robot. AAAI-07, 2007. MKos. Jonathan Mugan and Benjamin Kuipers. Towards the application of reinforcement learning to undirected developmental learning. International Conf. on Epigenetic Robotics, 2008. MKo9. Jonathan Mugan and Benjamin Kuipers. Autonomously learning an action hierarchy using a learned qualitative state representation. [JCAI-09, 2009. Monl2. Maria Montessori. The Montessori Method. Frederick A. Stokes, 1912. MSV+08. G. Metta, G. Sandini, D. Vernon, L. Natale, and F. Nori. The icub humanoid robot: an open plat- form for research in embodied cognition. Performance Metrics for Inte