Line 901: |
Line 901: |
| | | |
| (Text In Preparation) | | (Text In Preparation) |
| + | |
| + | <pre> |
| + | References and Bibliography |
| + | |
| + | -A- |
| + | |
| + | Abelson, H. & Sussman, G.J., with Sussman, J., |
| + | 'Structure and Interpretation of Computer Programs', |
| + | Foreword by A.J. Perlis, MIT Press, Cambridge, MA, 1985. |
| + | |
| + | Aczel, P., |
| + | 'Non-Well-Founded Sets', CSLI Lecture Notes 14, |
| + | Center for the Study of Language and Information, Stanford, CA, 1988. |
| + | |
| + | Aho, A.V., Hopcroft, J.E., & Ullman, J.D., |
| + | 'The Design and Analysis of Computer Algorithms', |
| + | Addison-Wesley, Reading, MA, 1974. |
| + | |
| + | Ait-Kaci, H., |
| + | "Type Subsumption as a Model of Computation", |
| + | In (Kerschberg, 1986). |
| + | |
| + | Albus, J.S., |
| + | 'Brains, Behavior, and Robotics', |
| + | BYTE Books, Peterborough, NH, 1981. |
| + | |
| + | Alkon, D.L., |
| + | 'Memory Traces in the Brain', |
| + | Cambridge University Press, Cambridge, UK, 1987. |
| + | |
| + | Allen, J., |
| + | 'Anatomy of LISP', |
| + | McGraw-Hill, New York, NY, 1978. |
| + | |
| + | Amit, D.J., |
| + | 'Modeling Brain Function: |
| + | The World of Attractor Neural Networks', |
| + | Cambridge University Press, Cambridge, UK, 1989. |
| + | |
| + | Andersen, H.C., |
| + | 'The Complete Hans Christian Andersen Fairy Tales', |
| + | ed. by L. Owens, trans. by H.B. Paull, J. Hersholt, & H.O. Sommer, |
| + | originally published 1883, 1885, 1895. Avenel Books, New York, NY, 1981. |
| + | |
| + | Anderson, D.R., |
| + | 'Creativity and the Philosophy of C.S. Peirce', |
| + | Martinus Nijhoff Publishers, Dordrecht, Netherlands, 1987. |
| + | |
| + | Anderson, J.R. (ed.), |
| + | 'Cognitive Skills and Their Acquisition', |
| + | Lawrence Erlbaum Associates, Hillsdale, NJ, 1981. |
| + | |
| + | Anderson, J.R., |
| + | 'The Architecture of Cognition', |
| + | Harvard University Press, Cambridge, MA, 1983. |
| + | |
| + | Anderson, J.R., |
| + | 'Cognitive Psychology and Its Implications', |
| + | 3rd edition, W.H. Freeman, New York, NY, 1990. |
| + | |
| + | Anderson, J.R. & Bower, G.H., |
| + | 'Human Associative Memory', |
| + | V.H. Winston & Sons, Washington, D.C., 1973. |
| + | |
| + | Anosov, D.V. & Arnold, V.I. (eds.), |
| + | 'Dynamical Systems 1: |
| + | Ordinary Differential Equations and Smooth Dynamical Systems', |
| + | Springer-Verlag, Berlin, 1988. |
| + | |
| + | Arbib, M.A., |
| + | 'The Metaphorical Brain: An Introduction to Cybernetics |
| + | as Artificial Intelligence and Brain Theory', |
| + | John Wiley & Sons, New York, NY, 1972. |
| + | |
| + | Arbib, M.A., |
| + | 'Brains, Machines, and Mathematics', |
| + | 1st ed. 1964. 2nd ed., Springer-Verlag, New York, NY, 1987. |
| + | |
| + | Arbib, M.A., |
| + | 'The Metaphorical Brain 2: Neural Networks and Beyond', |
| + | John Wiley & Sons, New York, NY, 1989. |
| + | |
| + | Arbib, M.A. & Manes, E.G., |
| + | 'Arrows, Structures, and Functors: The Categorical Imperative', |
| + | Academic Press, New York, NY, 1975. |
| + | |
| + | Arnold, V.I., |
| + | 'Ordinary Differential Equations', |
| + | translated & edited by R.A. Silverman, |
| + | MIT Press, Cambridge, MA, 1973. |
| + | |
| + | Arnold, V.I., |
| + | 'Catastrophe Theory', 2nd edition, |
| + | translated by G.S. Wasserman & R.K. Thomas, |
| + | Springer-Verlag, Berlin, 1986. |
| + | |
| + | Arnold, V.I., |
| + | 'Mathematical Methods of Classical Mechanics', |
| + | 2nd ed., translated by K. Vogtmann & A. Weinstein, |
| + | Springer-Verlag, New York, NY, 1989. |
| + | |
| + | Arnold, V.I., |
| + | 'The Theory of Singularities and Its Applications', |
| + | Accademia Nazionale dei Lincei & Scuola Normale Superiore, |
| + | Pisa, 1991. |
| + | |
| + | Arrowsmith, D.K. & Place, C.M., |
| + | 'Ordinary Differential Equations: |
| + | A Qualitative Approach with Applications', |
| + | Chapman & Hall, London, UK, 1982. |
| + | |
| + | Ascher, M. & Ascher, R., |
| + | 'Code of the Quipu: A Study in Media, Mathematics, and Culture', |
| + | University of Michigan Press, Ann Arbor, MI, 1981. |
| + | |
| + | Ash, R.B., |
| + | 'Information Theory', |
| + | 1st published, John Wiley & Sons, New York, NY, 1965. |
| + | reprinted, Dover Publications, Mineola, NY, 1990. |
| + | |
| + | Ashby, W.R., |
| + | 'An Introduction to Cybernetics', |
| + | Chapman & Hall, London, UK, 1956. |
| + | Methuen & Company, London, UK, 1964. |
| + | |
| + | Awbrey, J. & Awbrey, S., |
| + | "Exploring Research Data Interactively. Theme One: A Program of Inquiry", |
| + | pages 9-15 in 'Proceedings of the Sixth Annual Conference on Applications |
| + | of Artificial Intelligence and CD-ROM in Education and Training', |
| + | Society for Applied Learning Technology, Washington, DC, |
| + | August 22-24, 1990. |
| + | |
| + | Awbrey, S. & Awbrey, J., |
| + | "An Architecture for Inquiry: Building Computer Platforms for Discovery", |
| + | pages 874-875 in 'Proceedings of the Eighth International Conference on |
| + | Technology and Education', G. McKye & D. Trueman (eds.), |
| + | Toronto, Ontario, May 8-12, 1991. |
| + | |
| + | Awbrey, S. & Awbrey, J., |
| + | "Interpretation as Action: The Risk of Inquiry", presented at |
| + | 'The Eleventh International Human Science Research Conference', |
| + | Oakland University, Rochester, MI, June 9-13, 1992. |
| + | Abstract in the 'Proceedings', pages 58-59. |
| + | |
| + | -B- |
| + | |
| + | Barwise, J. & Etchemendy, J., |
| + | 'The Liar: An Essay on Truth and Circularity' |
| + | Oxford University Press, New York, NY, 1989. |
| + | |
| + | Bott, R. & Tu, L.W., |
| + | 'Differential Forms in Algebraic Topology', |
| + | Springer-Verlag, New York, NY, 1982. |
| + | |
| + | Bratko, I., Mozetic, I., & Lavrac, N., |
| + | 'KARDIO: A Study in Deep and Qualitative Knowledge for Expert Systems', |
| + | MIT Press, Cambridge, MA, 1989. |
| + | |
| + | -C- |
| + | |
| + | Chang, C. & Lee, R.C., |
| + | 'Symbolic Logic and Mechanical Theorem Proving', |
| + | Academic Press, New York, NY, 1973. |
| + | |
| + | Charniak, E. & McDermott, D.V., |
| + | 'Introduction to Artificial Intelligence', |
| + | Addison-Wesley, Reading, MA, 1985. |
| + | |
| + | Charniak, E., Riesbeck, C.K., & McDermott, D.V., |
| + | 'Artificial Intelligence Programming', |
| + | Lawrence Erlbaum Associates, Hillsdale, NJ, 1980. |
| + | |
| + | Chevalley, C., |
| + | 'Theory of Lie Groups', |
| + | Princeton University Press, Princeton, NJ, 1946. |
| + | |
| + | Conway, J.H., |
| + | 'On Numbers and Games', |
| + | Academic Press, London, UK, 1976. |
| + | |
| + | -D- |
| + | |
| + | Doolin, B.F. & Martin, C.F., |
| + | 'Introduction to Differential Geometry for Engineers' |
| + | Marcel Dekker, New York, NY, 1990. |
| + | |
| + | -E- |
| + | |
| + | Easter, S.S., Jr., Barald, K.F., & Carlson, B.M. (eds.), |
| + | 'From Message to Mind: Directions in Developmental Neurobiology', |
| + | Sinauer Associates, Sunderland, MA, 1988. |
| + | |
| + | Ebbinghaus, H.-D., Flum, J., & Thomeas, W., |
| + | 'Mathematical Logic', |
| + | translated by A.S. Ferebee, Springer-Verlag, New York, NY, 1984. |
| + | |
| + | -F- |
| + | |
| + | Flanders, H., |
| + | 'Differential Forms with Applications to the Physical Sciences', |
| + | Dover Publications, New York, NY, 1989. |
| + | |
| + | -G- |
| + | |
| + | Garey, M.R. & Johnson, D.S., |
| + | 'Computers and Intractability: A Guide to the Theory of NP-Completeness', |
| + | W.H. Freeman, New York, NY, 1979. |
| + | |
| + | -H- |
| + | |
| + | Harary, F., |
| + | 'Graph Theory', |
| + | Addison-Wesley, Reading, MA, 1969. |
| + | |
| + | Harary, F. & Palmer, E.M., |
| + | 'Graphical Enumeration', |
| + | Academic Press, New York, NY, 1973. |
| + | |
| + | Hoffmann, C.M., |
| + | 'Group-Theoretic Algorithms and Graph Isomorphism', |
| + | Lecture Notes in Computer Science, Volume 136, |
| + | Edited by: G. Goos & J. Hartmanis, Springer-Velag, Berlin, 1982. |
| + | |
| + | Holland, J.H., Holyoak, K.J., Nisbett, R.E., & Thagard, P.R., |
| + | 'Induction: Processes of Inference, Learning, and Discovery', |
| + | MIT Press, Cambridge, MA, 1986. |
| + | |
| + | -I- |
| + | |
| + | Ihde, D., |
| + | 'Experimental Phenomenology: An Introduction', |
| + | Paragon Books & G.P Putnam's Sons, New York, NY, 1979. |
| + | |
| + | -J- |
| + | |
| + | Jackson, P.C., Jr., |
| + | 'An Introduction to Artificial Intelligence', |
| + | 2nd edition, Dover Publications, Mineola, NY, 1985. |
| + | |
| + | James, W., |
| + | 'Pragmatism: A New Name for Some Old Ways of Thinking', |
| + | Longmans, Green, & Company, New York, NY, 1907. |
| + | |
| + | Johnson, M., |
| + | 'Attribute-Value Logic and the Theory of Grammar', CSLI Lecture Notes 16, |
| + | Center for the Study of Language and Information, Stanford, CA, 1988. |
| + | |
| + | -K- |
| + | |
| + | Kohavi, Z., |
| + | 'Switching and Finite Automata Theory', |
| + | Second Edition, McGraw-Hill, New York, NY, 1978. |
| + | |
| + | -L- |
| + | |
| + | Lambek, J. & Scott, P.J., |
| + | 'Introduction to Higher Order Categorical Logic', |
| + | Cambridge University Press, Cambridge, UK, 1986. |
| + | |
| + | Lloyd, J.W., |
| + | 'Foundations of Logic Programming', |
| + | Springer-Verlag, Berlin, NY, 1984, |
| + | Second, Extended Edition, 1987. |
| + | |
| + | Loomis, L.H. & Sternberg, S., |
| + | 'Advanced Calculus', |
| + | Addison-Wesley, Reading, MA, 1968. |
| + | |
| + | -M- |
| + | |
| + | Maier, D. & Warren, D.S., |
| + | 'Computing with Logic: Logic Programming with Prolog' |
| + | Benjamin/Cummings, Menlo Park, CA, 1988. |
| + | |
| + | Manes, E.G. & Arbib, M.A., |
| + | 'Algebraic Approaches to Program Semantics', |
| + | Springer-Verlag, New York, NY, 1986. |
| + | |
| + | Menabrea, L.F., |
| + | "Sketch of the Analytical Engine Invented by Charles Babbage", |
| + | Originally Published 1842, With Notes by the Translator: |
| + | Ada Augusta (nee Byron), Countess of Lovelace, |
| + | In (Morrison & Morrison, 1961). |
| + | |
| + | Morrison, P. & Morrison, E. (eds.), |
| + | 'Charles Babbage on the Principles and Development of the Calculator, |
| + | And Other Seminal Writings by Charles Babbage and Others', |
| + | With an Introduction by the Editors, |
| + | Dover Publications, Mineola, NY, 1961. |
| + | |
| + | -N- |
| + | |
| + | Newell, A., |
| + | 'Unified Theories of Cognition', |
| + | Harvard University Press, Cambridge, MA, 1990. |
| + | |
| + | Nicolis, G. & Prigogine, I. |
| + | 'Exploring Complexity: An Introduction', |
| + | W.H. Freeman, New York, NY, 1989. |
| + | |
| + | Nijenhuis, A. & Wilf, H.S., |
| + | 'Combinatorial Algorithms: For Computers and Calculators', |
| + | 2nd edition, Academic Press, New York, NY, 1978. |
| + | |
| + | Nilsson, N.J., |
| + | 'Principles of Artificial Intelligence', |
| + | Tioga Publishing, Palo Alto, CA, 1980. |
| + | |
| + | -O- |
| + | |
| + | O'Rorke, P., |
| + | "Review of AAAI 1990 Spring Symposium on Automated Abduction", |
| + | SIGART Bulletin, Vol. 1, No. 3, ACM Press, October 1990, pages 12-17. |
| + | |
| + | -P- |
| + | |
| + | Pearl, J., |
| + | 'Probabilistic Reasoning in Intelligent Systems: |
| + | Networks of Plausible Inference', |
| + | Revised 2nd printing, Morgan Kaufmann, San Mateo, CA, 1991. |
| + | |
| + | Peirce, C.S., |
| + | 'Collected Papers of Charles Sanders Peirce', Eight Volumes, |
| + | Edited by: C. Hartshorne, P. Weiss, & A.W. Burks, |
| + | Harvard University Press, Cambridge, MA, 1931-1960. |
| + | |
| + | Peng, Y. & Reggia, J.A., |
| + | 'Abductive Inference Models for Diagnostic Problem-Solving', |
| + | Springer-Verlag, New York, NY, 1990. |
| + | |
| + | -Q- |
| + | |
| + | -R- |
| + | |
| + | -S- |
| + | |
| + | Smullyan, R., |
| + | 'To Mock a Mockingbird: And Other Logic Puzzles |
| + | Including an Amazing Adventure in Combinatory Logic', |
| + | Alfred A. Knopf, New York, NY, 1985. |
| + | |
| + | Sowa, J.F., |
| + | 'Conceptual Structures: Information Processing in Mind and Machine', |
| + | Addison-Wesley, Reading, MA, 1984. |
| + | |
| + | Sowa, J.F. (ed.), |
| + | 'Principles of Semantic Networks: |
| + | Explorations in the Representation of Knowledge', |
| + | Morgan Kaufmann, San Mateo, CA, 1991. |
| + | |
| + | Spencer-Brown, G., |
| + | 'Laws of Form', |
| + | George Allen & Unwin, London, 1969. |
| + | |
| + | Spivak, M., |
| + | 'A Comprehensive Introduction to Differential Geometry', |
| + | Second Edition, Publish or Perish Incorporated, Houston, TX, 1979. |
| + | |
| + | -T- |
| + | |
| + | -U- |
| + | |
| + | -V- |
| + | |
| + | -W- |
| + | |
| + | Wiener, N. |
| + | 'The Human Use of Human Beings: |
| + | Cybernetics and Society', |
| + | Houghton Mifflin, Boston, MA, 1950. |
| + | |
| + | Wiener, N. |
| + | 'Cybernetics: |
| + | or, Control and Communication in the Animal and the Machine', |
| + | 1st edition, 1948. 2nd edition, MIT Press, Cambridge, MA, 1961. |
| + | |
| + | Wiener, N. |
| + | 'God and Golem, Inc. |
| + | A Comment on Certain Points where Cybernetics Impinges on Religion', |
| + | MIT Press, Cambridge, MA, 1964. |
| + | |
| + | -X-Y-Z- |
| + | |
| + | Yip, K.M., |
| + | 'KAM: A System for Intelligently Guiding |
| + | Numerical Experimentation by Computer', |
| + | MIT Press, Cambridge, MA, 1991. |
| + | |
| + | Zajonc, A., |
| + | 'Catching the Light: The Entwined History of Light and Mind', |
| + | Bantam, 1993. Oxford University Press, New York, NY, 1995. |
| + | </pre> |
| | | |
| ==Document History== | | ==Document History== |