Changes

→‎References: copy raw text of bib fragment
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==
12,080

edits