Anderson2007 book {How Can the Human Mind Occur in the Physical Universe?} {New York} 2007 {Oxford University Press} 2007 Aristotle book Categories Oxford 1963 J. L. Ackrill (trans.) Clarendon 1963 ArtemovNogina article {Journal of Logic and Computation} {Introducing Justification into Epistemic Logic} 1059--1073 15 2005 6 2005 Ashcraft1992 article {Cognition} {Cognitive Arithmetic: A Review of Data and Theory} 75--106 44 1992 1992 Baier article {American Philosophical Quarterly} {The Search for Basic Actions} 161--170 8 1971 2 1971 Barsalou article {Behavioral and Brain Sciences} {Perceptual Symbol Systems} 577--660 22 1999 1999 Bermudez book {Thinking Without Words} {Oxford} 2003 {Oxford University Press} 2003 BethPiaget book {Mathematical Epistemology and Psychology} Dordreeht 1966 Reidel 1966 Biever article {Science Express} {Language May Shape Human Thought} 1 19 2004 2004 BisanzLefevre incollection {Understanding Elementary Mathematics} Jamie I. D. Campbell Amsterdam 113--136 1992 {The Nature and Origins of Mathematical Skills} Elsevier 1992 BlackburnBos book {Representation and Inference for Natural Language} Stanford, CA 2005 {CSLI} 2005 Bobrow1968 incollection {Natural Language Input for a Computer Problem Solving System} Marvin Minsky Cambridge, MA 133-216 1968 Semantic Information Processing MIT Press 1968 Brachman article {IEEE Intelligent Systems} {Systems That Know What They're Doing} 67--71 17 2002 6 2002 Bringsjord article {Journal of Logic, Language and Information} {Animals, Zombanimals, and the Total Turing Test: The Essence of Artificial Intelligence} 397--418 9 2000 4 2000 Bromberger incollection {Why Questions} S. Bromberger {Chicago} 75--100 1992 {On What We Know We Don't Know} {University of Chicago Press} 1992 BrownVanLehn incollection Thomas P. Carpenter and James M. Moser and Thomas A. Romberg {Towards a Generative Theory of Bugs} {Hillsdale, NJ} 117--135 1982 {Addition and Subtraction: A Cognitive Perspective} {Lawrence Erlbaum Associates} 1982 Butterworth book {What Counts: How Every Brain Is Hardwired for Math} {New York} 1999 {Free Press} 1999 Butterworth2001 article {Quarterly Journal of Experimental Psychology} {Storage and Retrieval of Addition Facts: The Role of Number Comparison} 1005--1029 {54A} 2001 4 2001 ButterworthMathCog incollection Editorial Brian Butterworth {New York} 1--2 1995 {Mathematical Cognition: Volume 1} {Psychology Press} 1995 Campbell book {Handbook of Mathematical Cognition} {New York} 2004 {Psychology Press} 2004 CampShap incollection S. Harabagiu {Algorithms for Ontological Mediation} New Brunswick, NJ 102--107 1998 {Usages of Wordnet in Natural Language Processing Systems: Proceedings of the Workshop} COLING-ACL 1998 CampbellXue2001 article {Journal of Experimental Psychology: General} {Cognitive Arithmetic Across Cultures} 299--315 130 2001 2 2001 Carey article {Developmental Science} {Evidence for Numerical Abilities in Young Infants: A Fatal Flaw?} {Boston} 202--205 5 2002 2 {Blackwell} 2002 Carnap book {Introduction to Symbolic Logic and Its Applications} {New York} 1958 Dover 1958 CarrHettinger incollection James M. Royer {Perspectives on Mathematics Strategy Development} {Greenwich, CT} 33--68 2003 {Mathematical Cognition} {Information Age Publishing} 2003 ChalupskyShapiro article {Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society} {SL: A Subjective, Intensional Logic of Belief} 165--170 1994 1994 Cho article {Working Notes of the AAAI 1992 Spring Symposium on Propositional Knowledge Representation} {Representations of collections in a propositional semantic network} 43--50 1992 AAAI Press 1992 ClarkChalmers article Analysis {The Extended Mind} 10--23 58 1998 1998 Clements1999 article Teaching Children Mathematics {Subitizing: What is it? Why Teach it?} 400--405 5 7 1999 1999 Clements07 incollection F. K. {Lester Jr.} {Early Childhood Mathematics Learning} {New York} 461--555 2007 {Second Handbook of Research on Mathematics Teaching and Learning} {Information Age Publishing} 2007 Cocchiarella article {Int. Journal of Human-Computer Studies} {Knowledge Representation in Conceptual Realism} {697--721} 43 1995 1995 CoradeschiSaffioti article {Robotics and Autonomous Systems} {An Introduction to the Anchoring Problem} 43 2003 2003 Corcoran article {International Journal of Decision Ethics} {An Essay on Knowledge and Belief} in press in press CowanRenton96 article {Educational Psychology} {Do They Know What They Are Doing? Children's Use of Economical Addition Strategies and Knowledge of Commutativity} 407--420 16 1996 4 1996 Crump book {The Anthropology of Numbers} {Cambridge, UK} 1990 {Cambridge University Press} 1990 CVIP book {Image Processing, Analysis, and Machine Vision, Second Edition} New York 1999 PWS 1999 DavisLenat1982 incollection {AM: Discovery in Mathematics as Heuristic Search} New York 3--225 1982 Knowledge-Based Systems in Artificial Intelligence McGraw-Hill 1982 Dehaene book {The Number Sense: How the Mind Creates Mathematics} {Oxford} 1997 {Oxford University Press} 1997 Dehaene1992 article {Cognition} {Varieties of Numerical Abilities} 1--42 44 1992 1992 Dellarosa article {University of Colorado Technical Report} {SOLUTION: A Computer Simulation of Children's Recall of Arithmetic Word Problem Solving} {85-148} 1985 1985 Dijkstra article {American Mathematical Monthly} {Programming as a Discipline of Mathematical Nature} 608--612 81 1974 6 1974 Dretske article {Proceedings and Addresses of the American Philosophical Association} {Machines and the Mental} 23--33 59 1985 1 1985 Euclid book Elements {Santa Fe, NM} 2002 {Green Lion Press} 2002 FeigensonDehaeneSpelke article {Trends in Cognitive Science} {Core Systems of Number} 307--314 8 2004 2004 Fetzer book {Artificial Intelligence: Its Scope and Limits} {New York} 1990 {Springer} 1990 Filmore article {Quaderni Di Semantica} {Frames and the Semantics of Understanding} 222--254 6 1985 2 1985 Fisher article {Annals of Eugenics} {The Use of Multiple Measurements in Taxonomic Problems} 179--188 7 1936 2 1936 Fletcher article {Behavioral Research Methods, Instruments, and Computers} {Understanding and Solving Arithmetic Word Problems: A Computer Simulation} 365--371 17 1985 1985 Fodor book {Modularity of Mind} {Cambridge, MA} 1983 {MIT Press} 1983 Frege book {The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number} {Evanston} 1884/1974 J. L. Austin (trans.) {Northwestern University Press} 1884/1974 Freund article {Studia Logica} {A Complete and Consistent Formal System of Sortals} {367--381} 65 2000 2000 Friedman article {Journal of Philosophy} {Explanation and Scientific Understanding} 5--19 71 1974 1 1974 Fuson82 incollection Thomas P. Carpenter and James M. Moser and Thomas A. Romberg {An Analysis of the Counting-On Solution Procedure in Addition} {Hillsdale, NJ} 67--81 1982 {Addition and Subtraction: A Cognitive Perspective} {Lawrence Erlbaum Associates} 1982 Fuson86 article {Mathematical Cognition} {Pedagogical, Mathematical, and Real-World Conceptual-Support Nets: A Model for Building Children's Multidigit Domain Knowledge} 147--186 4 1998 2 1998 Galistel incollection K. Holyoak and R. Morrison {Mathematical Cognition} {Cambridge, UK} 559--588 2005 {The Cambridge Handbook of Thinking and Reasoning} {Cambridge University Press} 2005 GelGal book {The Child's Understanding of Number} {Cambridge} 1978 {Harvard University Press} 1978 GelmanButterworth article {Trends in Cognitive Science} {Number and Language: How are they Related?} 9 2005 1 2005 Gettier article Analysis {Is Justified True Belief Knowledge?} 121--123 23 1963 1963 GoldfainCogRob article {Cognitive Robotics: Papers from CogRob2006} {Embodied Enumeration: Appealing to Activities for Mathematical Explanation} Menlo Park 69--76 2006 AAAI Press 2006 GoldfainICoS article {Proceedings of ICoS-5} {A Computational Theory of Inference for Arithmetic Explanation} 145--150 2006 2006 Grandy incollection {Edward N. Zalta} Sortals 2006 {Stanford Encyclopedia of Philosophy}, {\it http://plato.stanford.edu/entries/sortals/} 2006 GrayTall1994 article {Journal for Research in Mathematics Education} {Duality, Ambiguity, and Flexibility: A `Proceptual' View of Simple Arithmetic} 116--140 25 1994 2 1994 Greeno1987 incollection Alan H. Schoenfeld {Instructional Representations Based on Research about Understanding} Hillsdale, NJ 61--88 1987 {Cognitive Science and Mathematics Education} Lawrence Erlbaum Associates 1987 Greeno1991 article {Journal for Research in Mathematics Education} {Number Sense as Situated Knowing in a Conceptual Domain} 170--218 22 1991 3 1991 GroenResnick77 article {Journal of Educatoinal Psychology} {Can Preschool Children Invent Addition Algorithms?} 645--652 69 1977 6 1977 GuarinoEtAl inproceedings {An Ontology of Meta-Level Categories} {San Fransisco, CA} 270--280 1994 {Proceedings of the Fourth International Conference on the Principles of Knowledge Representation and Reasoning (KR94)} {Morgan Kaufmann} 1994 HafnerMancosu incollection Paolo Moncosu and Klaus Frovin Jorgensen and Stig Andur Pederson {The Varieties of Mathematical Explanation} Dordrecht 215--250 2005 {Visualization, Explanation, and Reasoning Styles in Mathematics} Springer 2005 Haller article {International Journal of Expert Systems} {Planning Text about Plans Interactively} 85--112 9 1996 1 1996 Hamm book {Philosophical Issues in Education: An Introduction} {New York} 1989 {Falmer Press} 1989 Harnad article {Physica D} {The Symbol Grounding Problem} 335--346 42 1990 1990 Hauser article {Minds and Machines} {Why Isn't My Pocket Calculator a Thinking Thing} 3--10 3 1993 1 1993 HexEtAl incollection G. Rzevski and J. Pastor and R. Adey {Behaviour Based AI, Cognitive Processes, and Emergent Behaviors in Autonomous Agents} {New York} 447--461 1993 {Applications of Artificial Intelligence in Engineering VIII, Vol. 2 Applications and Techniques} {Computational Mechanics-Elsevier} 1993 HexShap1997 incollection P. J. Feltovich and K. M. Ford and R. R. Hoffman {Integrating Skill and Knowledge in Expert Agents} {Menlo Park, CA} 383--404 1997 {Expertise in Context} {AAAI Press} 1997 Hilbert book {The Foundations of Geometry, Second Edition} {Chicago} 1980 {Open Court} 1980 HintikkaHalonen article {Journal of Philosophy} {Semantics and Pragmatics for Why-Questions} 636--657 92 1995 12 1995 Holden article Science {Life Without Numbers in the Amazon} 1093 305 2004 2004 Hofstadter book {Fluid Concepts and Creative Analogies: Computer Models of the Fundamental Mechanisms of Thought} {New York} 1995 {Basic Books} 1995 HoffmanRosenkrantz book {Substance among other Categories} Cambridge, UK 1994 {Cambridge University Press} 1994 Husserl book {Philosophy of Arithmetic: Psychological and Logical Investigations} {Boston} 2003 {Kluwer Academic Publishers} 2003 Husserl1913 book {Logical Investigations} {London} 1913/2000 {Routledge} 1913/2000 Hutchins book {Cognition in the Wild} {Cambridge, MA} 1995 {MIT Press} 1995 Isaacson incollection Alexander George {Mathematical Intuition and Objectivity} {Oxford} 118--140 1994 {Mathematics and Mind} {Oxford University Press} 1994 IsmShap incollection {A.G. Cohn and F. Giunchinglia and B. Selman} {Two Problems with Reasoning and Acting in Time} {San Fransisco, CA} 355--365 2000 {Proceedings of KR2000} {Morgan Kaufmann} 2000 IsmShap2 techreport {The Cognitive Clock: A Formal Investigation of the Epistemology of Time} 2001 {Technical Report 2001-08} {University at Buffalo. Department of Computer Science and Engineering} 2001 Jackendoff article {Cognition} {On Beyond Zebra: The Relation of Linguistic and Visual Information} 89--114 26 1987 2 1987 JonesVanLehn1994 article {Machine Learning} {Acquisition of Children's Addition Strategies: A Model of Impasse-Free, Knowledge Level Learning} 11--36 16 1994 1994 Kant book {Critique of Pure Reason} London 1787/1958 Paul Guyer and Allen W. Wood (trans.) Macmillan 1787/1958 Katz book {A History of Mathematics: An Introduction} {Boston} 1998 {Addison Wesley} 1998 KintschGreeno article {Psychological Review} {Understanding and Solving Word Arithmetic Problems} 109--129 92 1985 1 1985 Kitcher1984 book {The Nature of Mathematical Knowledge} {Oxford} 1984 {Oxford University Press} 1984 Kitcher article {Philosophy of Science} {Explanatory Unification} 507--531 48 1981 4 1981 Kosslyn1978 incollection {Imagery and internal representations} E. Rosch and B. Lloyd Hillsdale, NJ 217-257 1978 Cognition and categorization Lawrence Erlbaum Associates 1978 Klahr1973 incollection {A Production System for Counting, Subitizing and Adding} W. G. Chase New York 527--546 1973 Visual Information Processing Academic Press 1973 Kumar1993 article Twenty-Sixth Hawaii International Conference on System Sciences Volume III {A unified model of acting and inference} Los Alamitos, CA 483--492 1993 IEEE Computer Society Press 1993 Laird book {How We Reason} {Oxford} 2006 {Oxford University Press} 2006 Laird2 incollection Donald A. Norman {Mental Models in Cognitive Science} {Norwood, NJ} 147--191 1981 {Perspectives in Cognitive Science} Ablex 1981 Leblanc incollection Hyacinth Sama Nwana {From Natural Language to Mathematical Representations: A Model of `Mathematical Reading'} {Oxford} 126--144 1993 {Mathematical Intelligent Learning Environments} {Intellect Books} 1993 Lenat incollection J. Hayes and D. Michie and L. I. Mikulich {On Automated Scientific Theory Formation: A case study using the AM program} {New York} 251--283 1979 {Machine Intelligence 9} {Halstead Press} 1979 LenatBrown article {Artificial Intelligence} {Why AM and EURISKO appear to work} 269--294 23 1984 3 1984 LogicOfQA book {The Logic of Questions and Answers} {New Haven} 1976 {Yale University Press} 1976 LN book {Where Mathematics Comes From} {New York} 2000 {Basic Books} 2000 Maclane article {American Mathematical Monthly} {Mathematical Models} 462--472 88 1981 1981 MaiShap article {Cognitive Science} {Intensional Concepts in Propositional Semantic Networks} 291--330 6 1982 1982 Mancosu article {Topoi} {Mathematical Explanations: Problems and Prospects} {97--117} 20 2001 2001 MeckChurch83 article {Journal of Experimental Psychology: Animal Behavior Processes} {A Mode Control Model of Counting and Timing Processes} 320--334 9 1983 1983 MetacogPaper article {AI Magazine} {Metacognition in SNePS} 17--31 28 2007 1 2007 Mill book {A System of Logic: Ratiocinative and Inductive} Honolulu 1843/2002 {University Press of the Pacific} 1843/2002 Moles article {Current Anthropology} {Standardization and Measurement in Cultural Anthropology: A Neglected Area} 235--258 18 1977 2 1977 Moser incollection Robert Audi Epistemology {Cambridge, UK} 273--278 1999 {The Cambridge Dictionary of Philosophy: Second Edition} {Cambridge University Press} 1999 Neches87 incollection David Klahr and Pat Langley and Robert Neches {Learning Through Incremental Refinement of Procedures} Cambridge, MA 163--219 1987 {Production System Models of Learning and Development} MIT Press 1987 Newton incollection {D. T. Whiteside} {Universal Arithmetic} {New York} 3--134 1967 {The Mathematical Works of Isaac Newton Vol. 2} {Johnson Reprint Corp} 1967 Nwana book {Mathematical Intelligent Learning Environments} {Oxford} 1993 {Intellect Books} 1993 OhlssonRees1991 article Cognition and Instruction {The Function of Conceptual Understanding in the Learning of Arithmetic Procedures} 103-179 8 2 1991 1991 PatternRecognition book {Pattern Classification, Second Edition} {New York} 2001 {Wiley Interscience} 2001 Piaget1955 book {The Child's Construction of Reality} {London} 1955 {Routledge} 1955 Piaget1965 book {The Child's Conception of Number} {New York} 1965 {Norton Library} 1965 PolkEtAl article {Brain and Cognition} {A Dissociation between Symbolic Number Knowledge and Analogue Magnitude Information} 545--563 47 2001 2001 Polya book {How to Solve It: A New Aspect of Mathematical Method} {Princeton, NJ} 1945 {Princeton University Press} 1945 Quillian incollection {Semantic Memory} {Cambridge, MA} 216--270 1968 {Semantic Information Processing} {MIT Press} 1968 Quine book {Ontological Relativity and Other Essays} {New York} 1969 {Columbia University Press} 1969 RapCogSci incollection {Anthony Ralston and Edwin D. Reilly} {Cognitive Science} {New York} 185--189 1993 {Encyclopedia of Computer Science, Third Edition} {Van Nostrand Reinhold} 1993 RapEhr incollection {Lucja M. Iwanska and Stuart C. Shapiro} {A Computational Theory of Vocabulary Acquisition} {Menlo Park, CA-Cambridge, MA} 347--375 2000 {Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language} {AAAI Press-MIT Press} 2000 Rapaport1986 article {Cognitive Science} {Logical Foundations for Belief Representation} 371--422 10 1986 1986 Rapaport1988 incollection James H. Fetzer {Syntactic Semantics: Foundations of Computational Natural-Language Understanding} Dordrecht, The Netherlands 81--131 1988 {Aspects of Artificial Intelligence} Kluwer Academic Publishers 1988 Rapaport1990 techreport {Computer Processes and Virtual Persons} 1990 {Technical Report 90-13} {University at Buffalo. Department of Computer Science and Engineering} 1990 Rapaport1995 incollection {Understanding Understanding} J. Tomberlin Atascadero, CA 49--88 1995 {AI, Connectionism, and Philosophical Psychology} Ridgeview 1995 Rapaport1999 article {The Monist} {Implementation Is Semantic Interpretation} 109--130 82 1999 1999 RapShapWiebe article {Cognitive Science} {Quasi-Indexicals and Knowledge Reports} 63--107 21 1997 1 1997 Rap2002 article {Minds and Machines} {Holism, Conceptual-Role Semantics, and Syntactic Semantics} 3--59 {12} 2002 {1} 2002 Rap2003 article {Minds and Machines} {What Did You Mean by That?: Misunderstanding, Negotiation, and Syntactic Semantics} 397--427 13 2003 3 2003 Rapaport2005 article {Journal of Experimental and Theoretical Artificial Intelligence} {Implementation Is Semantic Interpretation: Further Thoughts} 385--417 17 2005 4 2005 Rap2006 article {Minds and Machines} {How Helen Keller Used Syntactic Semantics to Escape from a Chinese Room} 381--436 16 2006 4 2006 Resnik book {Mathematics as a Science of Patterns} {Oxford} 1997 {Clarendon Press} 1997 Rips article Psychological Review {Cognitive Processes in Propositional Reasoning} 38--71 90 1983 1 1983 RitchieHanna article {Artificial Intelligence} {AM: A Case Study in AI Methodology} 249--268 23 1984 3 1984 Rosch incollection Eleanor Rosch and Barbara B. Lloyd {Principles of Categorization} {Hillsdale, NJ} 27--48 1978 {Cognition and Categorization} {Lawrence Erlbaum Associates} 1978 Roy article {Artificial Intelligence} {Semiotic Schemas} 170--205 167 2005 1-2 2005 Russell incollection Douglas Lackey {The Regressive Method of Discovering the Premises of Mathematics} London 272--283 1907/1973 {Essays in Analysis} George Allen and Unwin 1907/1973 Russell1918 incollection J. G. Slater {The Philosophy of Logical Atomism} {London} 157--244 1918/1983 {The Philosophy of Logical Atomism and Other Essays} {George Allen and Unwin} 1918/1983 SantoreShapiro2004 incollection Alan Schultz {A Cognitive Robotics Approach to Identifying Perceptually Indistinguishable Objects} {Menlo Park, CA} 47--54 2004 {The Intersection of Cognitive Science and Robotics: From Interfaces to Intelligence, Papers from the 2004 AAAI Fall Symposium} {AAAI Press} 2004 Sandborg article {British Journal for the Philosophy of Science} {Mathematical Explanation and the Theory of Why-Questions} 603--624 49 1998 4 1998 Sapir book {Language: An Introduction to the Study of Speech} {New York} 1921 {Harcourt Brace} 1921 SaramaClements artilcle {Early Childhood Research Quarterly} {Building Blocks for Early Childhood Mathematics} 181--189 19 2004 2004 Schoenfeld incollection Alan H. Schoenfeld {Cognitive Science and Mathematics Education: An Overview} Hillsdale, NJ 1--31 1987 {Cognitive Science and Mathematics Education} Lawrence Erlbaum Associates 1987 Schwitzgebel incollection {Edward N. Zalta} {Belief} 2006 {Stanford Encyclopedia of Philosophy}, {\it http://plato.stanford.edu/entries/belief/} 2006 Searle article {Behavioral and Brain Sciences} {Minds, Brains, and Programs} 417--457 3 1980 3 1980 SecadaFusonHall article {Journal for Research in Mathematics Education} {The Transition from Counting-All to Counting-On in Addition} 47--57 14 1983 1 1983 Sfard article {Educational Studies in Mathematics} {On the Dual Nature of Mathematical Conceptions} 1--36 22 1991 1991 Sfard1998 incollection P. Cobb and K. E. Yackel and K. McClain {Symbolizing Mathematical Reality into Being or How Mathematical Discourse and Mathematical Objects Create Each Other} {Mahwah, NJ} 37--98 1998 {Symbolizing and Communicating: Perspectives on Mathematical Discourse} {Lawrence Erlbaum Associates} 1998 Shanahan incollection Michael J. Wooldridge and Manuela Veloso {The Event Calculus Explained} {New York} 409--430 1999 {Artificial Intelligence Today} Springer 1999 Shap1978 incollection D. Waltz {Path-based and node-based inference in semantic networks} New York 219-225 1978 TINLAP-2: Theoretical Issues in Natural Language Processing ACM 1978 Shap79 incollection {Nicholas V. Findler} {The SNePS Semantic Network Processing System} {New York} 179--203 1979 {Associative Networks: The Representation and Use of Knowledge by Computers} {Academic Press} 1979 Shap86 article {Proceedings of the IEEE} {Symmetric Relations, Intensional Individuals, and Variable Binding} 1354--1363 74 1986 10 1986 Shap89 incollection {The CASSIE Projects: An Approach to Natural Language Competence} {Lisbon, Portugal} 362--380 1989 {Proceedings ofthe Fourth Portugese Conference on Artificial Intelligence} {Springer Verlag} 1989 Shap1991 incollection John F. Sowa {Cables, Paths and ``Subconscious'' Reasoning in Propositional Semantic Networks} San Mateo, CA 137--156 1991 {Principles of Semantic Networks} Morgan Kaufmann 1991 Shap1992 incollection Stuart C. Shapiro {Artificial Intelligence} {New York} 54--57 1992 {Encyclopedia of Artificial Intelligence, Second Edition} {John Wiley and Sons} 1992 Shap1998 article Cognitive Robotics: Papers from the 1998 AAAI Fall Symposium, Technical Report FS-98-02 {Embodied Cassie} Menlo Park, CA 136-143 1998 AAAI Press 1998 Shap2000 incollection Lucja M. Iwanska and Stuart C. Shapiro {SNePS: A Logic for Natural Language Understanding and Commonsense Reasoning} {Menlo Park, CA} 379--395 2000 {Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language} {AAAI Press} 2000 ShapIJCAI inproceedings {Representing Numbers in Semantic Networks} {Los Altos} 284 1977 {Proceedings of the 5th IJCAI} {Morgan Kaufmann} 1977 ShapIsm2001 incollection {Symbol-Anchoring in Cassie} Silvia Coradeschi and Alessandro Saffioti Menlo Park, CA 2--8 2001 {Anchoring Symbols to Sensor Data in Single and Multiple Robot Systems} AAAI Press 2001 ShapIsm2003 article {Robotics and Autonomous Systems} {Anchoring in a Grounded Layered Architecture with Integrated Reasoning} 97--108 43 2003 2003 ShapRap87 incollection {SNePS Considered as a Fully Intensional Propositional Semantic Network} Nick Cercone and Gordon McCalla {New York} 262--315 1987 {The Knowledge Frontier} {Springer Verlag} 1987 ShapRap95 incollection {An Introduction to a Computational Reader of Narrative} Judith F. Duchan and Gail A. Bruder and Lynne E. Hewitt Hillsdale, NJ 79--105 1995 {Deixis in Narrative} {Lawrence Erlbaum Associates} 1995 Shapiro book {Philosophy of Mathematics: Structure and Ontology} {Oxford} 1997 {Oxford University Press} 1997 SharonWynn98 article {Psychological Science} {Individuation of Actions from Continuous Motion} 357--362 9 1998 5 1998 Sierpinska book {Understanding in Mathematics} London 1994 {Falmer Press} 1994 Sloman incollection {What Enables a Machine to Understand?} 995--1001 1985 {Proceedings of the Ninth International Joint Conference on AI} 1985 Smith book {On the Origin of Objects} {Cambridge, MA} 1996 {MIT Press} 1996 SNePSMan misc {SNePS 2.7 User's Manual} 2008 2008 SquireBryant2002 article {Journal of Experimental Child Psychology} {The Influence of Sharing on Children's Initial Concept of Division} 1--43 81 2002 2002 SteffeEtAl83 book {Children's Counting Types: Philosophy, Theory, and Application} New York 1983 Praeger 1983 Steup incollection {Edward N. Zalta} {The Analysis of Knowledge} 2006 {Stanford Encyclopedia of Philosophy {\it http://plato.stanford.edu/entries/knowledge-analysis/}} 2006 TaddeoFloridi article {Journal for Experimental and Theoretical AI} {The Symbol Grounding Problem: a Critical Review of Fifteen Years of Research} 419--445 17 2005 4 2005 Talmy book {Towards a Cognitive Semantics} {Cambridge, MA} 2000 {MIT Press} 2000 Tarski article {Philosophy and Phenomenological Research} {The Semantic Conception of Truth and the Foundations of Semantics} 341--376 4 1944 1944 Teller article Nous {On Why-Questions} 371--380 8 1974 4 1974 Thomasson incollection {Edward N. Zalta} Categories 2004 {Stanford Encyclopedia of Philosophy}, {\it http://plato.stanford.edu/entries/categories/} 2004 Turing article Mind {Computing Machinery and Intelligence} 433--460 59 1950 236 1950 Wiese book {Numbers, Language, and the Human Mind} {Cambridge, UK} 2003 {Cambridge University Press} 2003 Wittgenstein1939 book {Wittgenstein's Lectures on the Foundations of Mathematics, Cambridge 1939} Cora Diamond {Chicago} 1939/1976 {University of Chicago Press} 1939/1976 Wynn96 article {Psychological Science} {Infants' Individuation and Enumeration of Actions} 164--169 7 1996 3 1996 Tractatus book {Tractatus Logico-Philosophicus} {New York} 1922/2003 C. K. Ogden (trans.) {Barnes and Noble} 1922/2003 Varley2005 article Proceedings of the National Academy of Sciences {Agrammatic but Numerate} 3519--3524 109 2 2005 2005 Veblen article {Transactions of the American Mathematical Society} {A System of Axioms for Geometry} 343--384 5 1904 1904 VeraSimon1993 article {Cognitve Science} {Situated Action: A Symbolic Interpretation} 7--48 17 1993 1993 Vitay2005 article Fifth International Workshop on Epigenetic Robotics {Towards Teaching a Robot to Count Objects} 125--128 2005 2005 vonGlas article {Constructivist Foundations} {A Constructivist Approach to Experiential Foundations of Mathematical Concepts Revisited} 61--72 1 2006 2 2006 Westerstahl incollection {Edward N. Zalta} {Generalized Quantifiers} 2005 {Stanford Encyclopedia of Philosophy}, {\it http://plato.stanford.edu/entries/generalized-quantifiers/} 2005 Whorf book {Language, Thought, and Reality: Selected Writings of Benjamin Lee Whorf} {Cambridge, MA} 1956 {MIT Press} 1956 Woodward incollection {Edward N. Zalta} {Scientific Explanation} 2003 {Stanford Encyclopedia of Philosophy} 2003 Wynn1992 article {Mind and Language} {Evidence against Empiricist Accounts of the Origins of Numerical Knowledge} 315--332 7 1992 4 1992 Wynn1995 article {Mathematical Cognition} {Origins of Numerical Knowledge} 35--60 1 1995 1 1995 Xu2007 article {TRENDS in Cognitive Sciences} {Sortal Concepts, Object Individuation, and Language} 400--406 11 2007 9 2007 ZorziEtAl2005 incollection Jamie I. D. Campbell {Computational Modeling of Numerical Cognition} {New York} 67--84 2005 {Handbook of Mathematical Cognition} {Psychology Press} 2005 Mancosu, Paolo Mancosu Paolo Mancosu Klahr, David Klahr David Klahr Rapaport, William J. Rapaport William J. Rapaport Berm{\'u}dez, Jos{\'e} Luis Berm{\'u}dez Jos{\'e} Luis Berm{\'u}dez Beth, Evert W. Beth Evert W. Beth Frege, Gottlob Frege Gottlob Frege Thomasson, Amie Thomasson Amie Thomasson Klessinger, N.J.C. Klessinger N.J.C. Klessinger Bromberger, Sylvain Bromberger Sylvain Bromberger Corcoran, John Corcoran John Corcoran Shanahan, Murray P. Shanahan Murray P. Shanahan Fisher, Ronald A. Fisher Ronald A. Fisher Nwana, Hyacinth Sama Nwana Hyacinth Sama Nwana Dehaene, Stanislas Dehaene Stanislas Dehaene Guarino, Nicola Guarino Nicola Guarino Campbell, Jamie I. D. Campbell Jamie I. D. Campbell Bos, Johan Bos Johan Bos {LeBlanc}, Mark D. {LeBlanc} Mark D. {LeBlanc} Sonka, Milan Sonka Milan Sonka Hlavac, Vaclav Hlavac Vaclav Hlavac Simon, Herbert A. Simon Herbert A. Simon Crump, Thomas Crump Thomas Crump Hanna, F. K. Hanna F. K. Hanna Carey, Susan Carey Susan Carey Meck, Warren H. Meck Warren H. Meck Hart, Peter E. Hart Peter E. Hart Anderson, C. Alan Anderson C. Alan Anderson Roy, Deb Roy Deb Roy Resnik, Michael D. Resnik Michael D. Resnik Renton, Margaret Renton Margaret Renton Cocchiarella, Nino B. Cocchiarella Nino B. Cocchiarella Fetzer, James H. Fetzer James H. Fetzer Husserl, Edmund Husserl Edmund Husserl Schwitzgebel, Eric Schwitzgebel Eric Schwitzgebel Lakoff, George Lakoff George Lakoff Boyle, Roger Boyle Roger Boyle Euclid Euclid Euclid Lenat, Doug Lenat Doug Lenat Anderson, John R. Anderson John R. Anderson Vera, Alonso H. Vera Alonso H. Vera Hogarth, Penelope Hogarth Penelope Hogarth Jones, Randolph M. Jones Randolph M. Jones Steup, Matthias Steup Matthias Steup Barsalou, Lawrence W. Barsalou Lawrence W. Barsalou Tall, David O. Tall David O. Tall Floridi, Luciano Floridi Luciano Floridi Clements, Douglas H. Clements Douglas H. Clements Hamm, Cornel M. Hamm Cornel M. Hamm Chalmers, David Chalmers David Chalmers Kandefer, Michael Kandefer Michael Kandefer Vitay, Julien Vitay Julien Vitay Caicedo, Guido Caicedo Guido Caicedo Haller, Susan Haller Susan Haller Biever, Celeste Biever Celeste Biever VanLehn, Kurt VanLehn Kurt VanLehn Stork, David G. Stork David G. Stork Steffe, Leslie P. Steffe Leslie P. Steffe Sloman, Aaron Sloman Aaron Sloman Woodward, James Woodward James Woodward Kumar, Deepak Kumar Deepak Kumar Secada, Walter G. Secada Walter G. Secada Cobb, Paul Cobb Paul Cobb Hofstadter, Douglas Hofstadter Douglas Hofstadter Siegal, M. Siegal M. Siegal Glasersfeld, {Ernst von} Glasersfeld {Ernst von} Glasersfeld Ismail, Haythem O. Ismail Haythem O. Ismail Rips, Lance J. Rips Lance J. Rips {VanLehn}, Kurt {VanLehn} Kurt {VanLehn} {Johnson-Laird}, Philip {Johnson-Laird} Philip {Johnson-Laird} Hexmoor, Henry Hexmoor Henry Hexmoor Jonckheere, A.R. Jonckheere A.R. Jonckheere Nogina, Elena Nogina Elena Nogina Giaretta, Pierdaniele Giaretta Pierdaniele Giaretta Wittgenstein, Ludwig Wittgenstein Ludwig Wittgenstein Wiebe, Janyce M. Wiebe Janyce M. Wiebe Rosenkrantz, Gary S. Rosenkrantz Gary S. Rosenkrantz Sierpinska, Anna Sierpinska Anna Sierpinska Santore, John F. Santore John F. Santore Ehrlich, Karen Ehrlich Karen Ehrlich Shapiro, Stewart Shapiro Stewart Shapiro Blackburn, Patrick Blackburn Patrick Blackburn Cho, Sung-Hye Cho Sung-Hye Cho Sandborg, David Sandborg David Sandborg Fletcher, Charles R. Fletcher Charles R. Fletcher Polya, George Polya George Polya Rosch, Eleanor Rosch Eleanor Rosch Feigenson, Lisa Feigenson Lisa Feigenson Russell, Bertrand Russell Bertrand Russell Dellarosa, Denise Dellarosa Denise Dellarosa Turing, Alan M. Turing Alan M. Turing Holden, Constance Holden Constance Holden Coradeschi, S. Coradeschi S. Coradeschi N{\'u}{\~n}ez, Rafael N{\'u}{\~n}ez Rafael N{\'u}{\~n}ez Johnson, Frances L. Johnson Frances L. Johnson Sapir, Edward Sapir Edward Sapir Reed, Catherine L. Reed Catherine L. Reed Steel, Thomas B. Steel Thomas B. Steel Isaacson, Daniel Isaacson Daniel Isaacson Harnad, Stevan Harnad Stevan Harnad Clark, Andy Clark Andy Clark Varley, R. Varley R. Varley Noel, Ron Noel Ron Noel Moser, Paul K. Moser Paul K. Moser Sarama, Julie Sarama Julie Sarama Veblen, Oswald Veblen Oswald Veblen Bisanz, Jeffrey Bisanz Jeffrey Bisanz Halonen, Ilpo Halonen Ilpo Halonen Gettier, Edmund Gettier Edmund Gettier Hettinger, Hillary Hettinger Hillary Hettinger Stoianov, Ivilin Stoianov Ivilin Stoianov Romanowski, C.A.J. Romanowski C.A.J. Romanowski Hoffman, Joshua Hoffman Joshua Hoffman Mill, John Stuart Mill John Stuart Mill Whorf, Benjamin Whorf Benjamin Whorf Keenan, Janice M. Keenan Janice M. Keenan Lammens, Johan Lammens Johan Lammens Grandy, Richard E. Grandy Richard E. Grandy Moles, Jerry A. Moles Jerry A. Moles Gray, Eddie M. Gray Eddie M. Gray Spelke, Elizabeth Spelke Elizabeth Spelke Baier, Annette Baier Annette Baier Dijkstra, Edsger W. Dijkstra Edsger W. Dijkstra Kant, Immanuel Kant Immanuel Kant Brown, John Seely Brown John Seely Brown Hall, James W. Hall James W. Hall Friedman, Michael Friedman Michael Friedman Jackendoff, Ray Jackendoff Ray Jackendoff Carnap, Rudolf Carnap Rudolf Carnap Searle, John R. Searle John R. Searle Hintikka, Jaakko Hintikka Jaakko Hintikka Greeno, James G. Greeno James G. Greeno Katz, Victor J. Katz Victor J. Katz Gelman, Rochel Gelman Rochel Gelman Bryant, Peter Bryant Peter Bryant Fodor, Jerry A. Fodor Jerry A. Fodor Teller, Paul Teller Paul Teller Hauser, Larry Hauser Larry Hauser Sfard, Anna Sfard Anna Sfard Campbell, Jamie I.D. Campbell Jamie I.D. Campbell Neches, Robert Neches Robert Neches Goldfain, Albert Goldfain Albert Goldfain Campbell, Alistair E. Campbell Alistair E. Campbell Shapiro, Stuart C. Shapiro Stuart C. Shapiro Maida, Anthony S. Maida Anthony S. Maida Group}, {SNePS Implementation Group} {SNePS Implementation Group} Polk, Thad A. Polk Thad A. Polk Kosslyn, Stephen M. Kosslyn Stephen M. Kosslyn Newton, Isaac Newton Isaac Newton Ritchie, Graeme D. Ritchie Graeme D. Ritchie Ashcraft, Mark H. Ashcraft Mark H. Ashcraft Xue, Qilin Xue Qilin Xue Freund, Max A. Freund Max A. Freund Zorzi, Marco Zorzi Marco Zorzi Xu, Fei Xu Fei Xu Fuson, Karen C. Fuson Karen C. Fuson Quine, W. V. Quine W. V. Quine Brachman, Ronald J. Brachman Ronald J. Brachman Girelli, Luisa Girelli Luisa Girelli Westerstahl, Dag Westerstahl Dag Westerstahl Wiese, Heike Wiese Heike Wiese Smith, Brian Cantwell Smith Brian Cantwell Smith Cowan, Richard Cowan Richard Cowan Groen, Guy Groen Guy Groen Richards, John Richards John Richards Bringsjord, Selmer Bringsjord Selmer Bringsjord Gallistel, Charles R. Gallistel Charles R. Gallistel Butterworth, Brian Butterworth Brian Butterworth Tarski, Alfred Tarski Alfred Tarski Ohlsson, Stellan Ohlsson Stellan Ohlsson Davis, Randall Davis Randall Davis Quillian, M. R. Quillian M. R. Quillian Carr, Martha Carr Martha Carr Talmy, Leonard Talmy Leonard Talmy Caporale, Clarke Caporale Clarke Caporale Carrara, Massimilliano Carrara Massimilliano Carrara Bobrow, Daniel Bobrow Daniel Bobrow Hutchins, Edwin Hutchins Edwin Hutchins Church, Russell M. Church Russell M. Church Chalupsky, Hans Chalupsky Hans Chalupsky Artemov, Sergei Artemov Sergei Artemov Hafner, J Hafner J Hafner Schoenfeld, Alan H. Schoenfeld Alan H. Schoenfeld Taddeo, Mariarosaria Taddeo Mariarosaria Taddeo Kintsch, Walter Kintsch Walter Kintsch Piaget, Jean Piaget Jean Piaget Saffioti, A. Saffioti A. Saffioti Fillmore, Charles J. Fillmore Charles J. Fillmore Belnap, Nuel D. Belnap Nuel D. Belnap Rees, Ernest Rees Ernest Rees Aristotle Aristotle Aristotle Glasersfeld}, Erns {von Glasersfeld} Erns {von Glasersfeld} Dretske, Fred Dretske Fred Dretske Kitcher, Philip Kitcher Philip Kitcher Lane}, Saunders {Mac\ Lane} Saunders {Mac\ Lane} Hilbert, David Hilbert David Hilbert Resnick, Lauren B. Resnick Lauren B. Resnick Umilta, Carlo Umilta Carlo Umilta Duda, Richard O. Duda Richard O. Duda Wynn, Karen Wynn Karen Wynn Sharon, Tanya Sharon Tanya Sharon Squire, Sarah Squire Sarah Squire {LeFevre}, Jo-Anne {LeFevre} Jo-Anne {LeFevre}
(
)
(
)
.
.
,
(
)
,
.
,
(
)
,
.
:
Categories:
Keywords:
[
link
]
[
doi
]
Mathematical Cognition Bibliography
Compiled by Albert Goldfain