12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday November 22, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems (view source)
Revision as of 22:16, 28 January 2008
, 22:16, 28 January 2008→References: reorg
'''Note.''' This bibliography belongs to a larger paper still in progress.
'''Note.''' This bibliography belongs to a larger paper still in progress.
===A===
<font size=3>'''– A –'''</font>
* Abelson, H., and Sussman, G.J., with Sussman, J., ''Structure and Interpretation of Computer Programs'', Foreword by A.J. Perlis, MIT Press, Cambridge, MA, 1985.
* Abelson, H., and Sussman, G.J., with Sussman, J., ''Structure and Interpretation of Computer Programs'', Foreword by A.J. Perlis, MIT Press, Cambridge, MA, 1985.
* Awbrey, S., and 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'', pp. 58–59.
* Awbrey, S., and 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'', pp. 58–59.
===B===
<font size=3>'''– B –'''</font>
* Barwise, J., and Etchemendy, J., ''The Liar : An Essay on Truth and Circularity'' Oxford University Press, New York, NY, 1989.
* Barwise, J., and Etchemendy, J., ''The Liar : An Essay on Truth and Circularity'' Oxford University Press, New York, NY, 1989.
* Bratko, I., Mozetic, I., and Lavrac, N., ''KARDIO : A Study in Deep and Qualitative Knowledge for Expert Systems'', MIT Press, Cambridge, MA, 1989.
* Bratko, I., Mozetic, I., and Lavrac, N., ''KARDIO : A Study in Deep and Qualitative Knowledge for Expert Systems'', MIT Press, Cambridge, MA, 1989.
===C===
<font size=3>'''– C –'''</font>
* Chang, C., and Lee, R.C., ''Symbolic Logic and Mechanical Theorem Proving'', Academic Press, New York, NY, 1973.
* Chang, C., and Lee, R.C., ''Symbolic Logic and Mechanical Theorem Proving'', Academic Press, New York, NY, 1973.
* Conway, J.H., ''On Numbers and Games'', Academic Press, London, UK, 1976.
* Conway, J.H., ''On Numbers and Games'', Academic Press, London, UK, 1976.
===D===
<font size=3>'''– D –'''</font>
* Doolin, B.F., and Martin, C.F., ''Introduction to Differential Geometry for Engineers'', Marcel Dekker, New York, NY, 1990.
* Doolin, B.F., and Martin, C.F., ''Introduction to Differential Geometry for Engineers'', Marcel Dekker, New York, NY, 1990.
===E===
<font size=3>'''– E –'''</font>
* Easter, S.S., Jr., Barald, K.F., and Carlson, B.M. (eds.), ''From Message to Mind : Directions in Developmental Neurobiology'', Sinauer Associates, Sunderland, MA, 1988.
* Easter, S.S., Jr., Barald, K.F., and Carlson, B.M. (eds.), ''From Message to Mind : Directions in Developmental Neurobiology'', Sinauer Associates, Sunderland, MA, 1988.
* Ebbinghaus, H.-D., Flum, J., and Thomeas, W., ''Mathematical Logic'', A.S. Ferebee (trans.), Springer-Verlag, New York, NY, 1984.
* Ebbinghaus, H.-D., Flum, J., and Thomeas, W., ''Mathematical Logic'', A.S. Ferebee (trans.), Springer-Verlag, New York, NY, 1984.
===F===
<font size=3>'''– F –'''</font>
* Flanders, H., ''Differential Forms with Applications to the Physical Sciences'', Dover Publications, New York, NY, 1989.
* Flanders, H., ''Differential Forms with Applications to the Physical Sciences'', Dover Publications, New York, NY, 1989.
===G===
<font size=3>'''– G –'''</font>
* Garey, M.R., and Johnson, D.S., ''Computers and Intractability : A Guide to the Theory of NP-Completeness'', W.H. Freeman, New York, NY, 1979.
* Garey, M.R., and Johnson, D.S., ''Computers and Intractability : A Guide to the Theory of NP-Completeness'', W.H. Freeman, New York, NY, 1979.
===H===
<font size=3>'''– H –'''</font>
* Harary, F., ''Graph Theory'', Addison-Wesley, Reading, MA, 1969.
* Harary, F., ''Graph Theory'', Addison-Wesley, Reading, MA, 1969.
* Holland, J.H., Holyoak, K.J., Nisbett, R.E., and Thagard, P.R., ''Induction : Processes of Inference, Learning, and Discovery'', MIT Press, Cambridge, MA, 1986.
* Holland, J.H., Holyoak, K.J., Nisbett, R.E., and Thagard, P.R., ''Induction : Processes of Inference, Learning, and Discovery'', MIT Press, Cambridge, MA, 1986.
===I===
<font size=3>'''– I –'''</font>
* Ihde, D., ''Experimental Phenomenology : An Introduction'', Paragon Books and G.P Putnam's Sons, New York, NY, 1979.
* Ihde, D., ''Experimental Phenomenology : An Introduction'', Paragon Books and G.P Putnam's Sons, New York, NY, 1979.
===J===
<font size=3>'''– J –'''</font>
* Jackson, P.C., Jr., ''An Introduction to Artificial Intelligence'', 2nd edition, Dover Publications, Mineola, NY, 1985.
* Jackson, P.C., Jr., ''An Introduction to Artificial Intelligence'', 2nd edition, Dover Publications, Mineola, NY, 1985.
* 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.
* 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===
<font size=3>'''– K –'''</font>
* Kohavi, Z., ''Switching and Finite Automata Theory'', 2nd edition, McGraw-Hill, New York, NY, 1978.
* Kohavi, Z., ''Switching and Finite Automata Theory'', 2nd edition, McGraw-Hill, New York, NY, 1978.
===L===
<font size=3>'''– L –'''</font>
* Lambek, J., and Scott, P.J., ''Introduction to Higher Order Categorical Logic'', Cambridge University Press, Cambridge, UK, 1986.
* Lambek, J., and Scott, P.J., ''Introduction to Higher Order Categorical Logic'', Cambridge University Press, Cambridge, UK, 1986.
* Loomis, L.H., and Sternberg, S., ''Advanced Calculus'', Addison-Wesley, Reading, MA, 1968.
* Loomis, L.H., and Sternberg, S., ''Advanced Calculus'', Addison-Wesley, Reading, MA, 1968.
===M===
<font size=3>'''– M –'''</font>
* Maier, D., and Warren, D.S., ''Computing with Logic : Logic Programming with Prolog'', Benjamin/Cummings, Menlo Park, CA, 1988.
* Maier, D., and Warren, D.S., ''Computing with Logic : Logic Programming with Prolog'', Benjamin/Cummings, Menlo Park, CA, 1988.
* Morrison, P., and 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.
* Morrison, P., and 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===
<font size=3>'''– N –'''</font>
* Newell, A., ''Unified Theories of Cognition'', Harvard University Press, Cambridge, MA, 1990.
* Newell, A., ''Unified Theories of Cognition'', Harvard University Press, Cambridge, MA, 1990.
* Nilsson, N.J., ''Principles of Artificial Intelligence'', Tioga Publishing, Palo Alto, CA, 1980.
* Nilsson, N.J., ''Principles of Artificial Intelligence'', Tioga Publishing, Palo Alto, CA, 1980.
===O===
<font size=3>'''– O –'''</font>
* 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.
* 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===
<font size=3>'''– P –'''</font>
* Pearl, J., ''Probabilistic Reasoning in Intelligent Systems : Networks of Plausible Inference'', revised 2nd printing, Morgan Kaufmann, San Mateo, CA, 1991.
* Pearl, J., ''Probabilistic Reasoning in Intelligent Systems : Networks of Plausible Inference'', revised 2nd printing, Morgan Kaufmann, San Mateo, CA, 1991.
* Peng, Y., and Reggia, J.A., ''Abductive Inference Models for Diagnostic Problem-Solving'', Springer-Verlag, New York, NY, 1990.
* Peng, Y., and Reggia, J.A., ''Abductive Inference Models for Diagnostic Problem-Solving'', Springer-Verlag, New York, NY, 1990.
===Q===
<font size=3>'''– Q –'''</font>
===R===
<font size=3>'''– R –'''</font>
===S===
<font size=3>'''– S –'''</font>
* Smullyan, R., ''To Mock a Mockingbird : And Other Logic Puzzles Including an Amazing Adventure in Combinatory Logic'', Alfred A. Knopf, New York, NY, 1985.
* Smullyan, R., ''To Mock a Mockingbird : And Other Logic Puzzles Including an Amazing Adventure in Combinatory Logic'', Alfred A. Knopf, New York, NY, 1985.
* Spivak, M., ''A Comprehensive Introduction to Differential Geometry'', 2nd edition, Publish or Perish Incorporated, Houston, TX, 1979.
* Spivak, M., ''A Comprehensive Introduction to Differential Geometry'', 2nd edition, Publish or Perish Incorporated, Houston, TX, 1979.
===T===
<font size=3>'''– T –'''</font>
===U===
<font size=3>'''– U –'''</font>
===V===
<font size=3>'''– V –'''</font>
===W===
<font size=3>'''– W –'''</font>
* Wiener, N., ''The Human Use of Human Beings : Cybernetics and Society'', Houghton Mifflin, Boston, MA, 1950.
* Wiener, N., ''The Human Use of Human Beings : Cybernetics and Society'', Houghton Mifflin, Boston, MA, 1950.
* Wiener, N., ''God and Golem, Inc. A Comment on Certain Points where Cybernetics Impinges on Religion'', MIT Press, Cambridge, MA, 1964.
* Wiener, N., ''God and Golem, Inc. A Comment on Certain Points where Cybernetics Impinges on Religion'', MIT Press, Cambridge, MA, 1964.
===X Y Z===
<font size=3>'''– X Y Z –'''</font>
* Yip, K.M., ''KAM : A System for Intelligently Guiding Numerical Experimentation by Computer'', MIT Press, Cambridge, MA, 1991.
* Yip, K.M., ''KAM : A System for Intelligently Guiding Numerical Experimentation by Computer'', MIT Press, Cambridge, MA, 1991.
