SUO: Re: Inquiry Driven Systems
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
Inquiring Minds,
Before I forget, here is a partial babelography
for what I am about to discuss on this thread.
This is from an earlier draft, as I could not
find the file with the complete bibliography.
All of this stuff pre-dates 1992, but since
my "review of literature" (ROL) was partly
concerned with historical issues, much of
it is still useful for the sake of that.
¤~~~~~~~~~¤~~~~~~~~~¤~ARCHIVE~SOURCES~¤~~~~~~~~~¤~~~~~~~~~¤
[ Document History:
| Project: Intelligent Dynamic Systems Engineering
| Heading: Original Interest Statement
| Authors: Jon Awbrey
| Version: Draft 1
| Created: 1991-Nov-12
| Revised: 1992-Jul-06
| Setting: Oakland University, Rochester, Michigan
| Excerpt: Bibliography
]
References
Aczel, P.,
'Non-Well-Founded Sets',
Center for the Study of Language & Information, Stanford, CA, 1988.
Albus, J.S.,
'Brains, Behavior, & Robotics',
BYTE Books, Peterborough, NH, 1981.
Arbib, M.A.,
'The Metaphorical Brain',
John Wiley & Sons, New York, NY, 1972.
Arnold, V.I.,
'Mathematical Methods of Classical Mechanics',
Second Edition, Translated by: K. Vogtmann & A. Weinstein,
Springer-Verlag, New York, NY, 1989.
Ashby, W.R.,
'An Introduction to Cybernetics',
Methuen & Company, London, UK, 1964,
Chapman & Hall, London, UK, 1956.
Barwise, J. & Etchemendy, J.,
'The Liar: An Essay on Truth & 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 & Qualitative Knowledge for Expert Systems',
MIT Press, Cambridge, MA, 1989.
Chang, C. & Lee, R.C.,
'Symbolic Logic & Mechanical Theorem Proving',
Academic Press, New York, NY, 1973.
Chevalley, C.,
'Theory of Lie Groups',
Princeton University Press, Princeton, NJ, 1946.
Conway, J.H.,
'On Numbers & Games',
Academic Press, London, UK, 1976.
Doolin, B.F. & Martin, C.F.,
'Introduction to Differential Geometry for Engineers'
Marcel Dekker, New York, NY, 1990.
Flanders, H.,
'Differential Forms with Applications to the Physical Sciences',
Dover Publications, New York, NY, 1989.
Garey, M.R. & Johnson, D.S.,
'Computers & Intractability: A Guide to the Theory of NP-Completeness',
W.H. Freeman, New York, NY, 1979.
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 & Graph Isomorphism',
Lecture Notes in Computer Science, Volume 136,
Edited by: G. Goos & J. Hartmanis, Springer-Velag, Berlin, 1982.
Kohavi, Z.,
'Switching & Finite Automata Theory',
Second Edition, McGraw-Hill, New York, NY, 1978.
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.
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 & Development of the Calculator,
And Other Seminal Writings by Charles Babbage & Others',
With an Introduction by the Editors,
Dover Publications, Mineola, NY, 1961.
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.
Smullyan, R.,
'To Mock a Mockingbird: And Other Logic Puzzles
Including an Amazing Adventure in Combinatory Logic',
Alfred A. Knopf, New York, NY, 1985.
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.
Yip, K.M.,
'KAM: A System for Intelligently Guiding
Numerical Experimentation by Computer',
MIT Press, Cambridge, MA, 1991.
¤~~~~~~~~~¤~~~~~~~~~¤~SECRUOS~EVIHCRA~¤~~~~~~~~~¤~~~~~~~~~¤
And Now, Back To The Feature ...
Jon Awbrey
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤