Abelson, Harold, Sussman Gerald J., Sussman Julie. Structure and Interpretation of Computer Programs. MIT Press; 1985.
Aho A.V., Ullman J.D. The Theory of Parsing, Translation, and Compiling. Prentice-Hall; 1972.
Aït-Kaci Hassan. Warren's Abstract Machine: A Tutorial Reconstruction. MIT Press; 1991 An earlier version was published as "The WAM: A (Real) Tutorial." Digital Equipment Corporation Paris Research Lab, Report no. 5.
Aït-Kaci Hassan, Lincoln Patrick, Nasr Roger. Le Fun: Logic, Equations and Functions. 1987. Proceedings of the IEEE. CH2472-9/87.
Allen James. Natural Language Understanding. Benjamin/Cummings; 1987.
Allen James, Hendler James, Tate Austin. Readings in Planning. Morgan Kaufmann; 1990.
Allen John. Anatomy of Lisp. McGraw-Hill; 1978.
Amarel Saul. On Representation of Problems of Reasoning about Actors. In: Michie Donald, ed. Machine Intelligence 3. Edinburgh University Press; 1968.
Anderson James A.D.W. Pop-11 Comes of Age: the advancement of an AI programming language. Ellis Horwood; 1989.
Anderson John Robert. Language, Memory, and Thought. Lawrence Erlbaum; 1976.
Baker Henry G. Pragmatic Parsing in Common Lisp; or, Putting defmacro on Steroids. Lisp Pointers. 1991;4(no. 2).
Barr Avron, Feigenbaum Edward A. Morgan Kaufmann; . The Handbook of Artificial Intelligence. 1981;3 vols.
Batali John, Goodhue Edmund, Hanson Chris, Shrobe Howie, Stallman Richard M., Sussman Gerald Jay. The Scheme-81 Architecture-System and Chip. In: Proceedings, Conference on Advanced Research in VLSI; 1982:69-77.
Bennett James S. Roget: A Knowledge-Based System for Acquiring the Conceptual Structure of a Diagnostic Expert System. Journal of Automated Reasoning. 1985;1:49-74.
Berlekamp E.R., Conway J.H., Guy R.K. Academic Press; . Winning Ways. 1982;2 vols.
Berlin Andrew, Weise Daniel. Compiling scientific code using partial evaluation. In: IEEE Computer. 1990:25-37.
Bobrow Daniel G. Natural Language Input for a Computer Problem-Solving System. 1968 In Minsky 1968.
Bobrow Daniel G. LOOPS: An Object-Oriented Programming System for Interlisp. Xerox PARC; 1982.
Bobrow Daniel G. If Prolog is the Answer, What is the Question? or What It Takes to Support AI Programming Paradigms. IEEE Transactions on Software Engineering. 1985;SE-11:.
Bobrow Daniel G., Kahn Kenneth, Kiczales Gregor, Masinter Larry, Stefik Mark, Zdybel Frank. Common Loops: Merging Lisp and Object-Oriented Programming. In: Proceedings of the ACM Conference on Object-Oriented Systems, Languages, and Applications; 1986.
Boyer R.S., Moore J.S. The Sharing of Structure in Theorem Proving Programs. In: Meltzer B., Michie D., eds. Machine Intelligence 7. Wiley; 1972.
Brachman Ronald J., Levesque Hector J. Readings in Knowledge Representation. Morgan Kaufmann; 1985.
Brachman Ronald J., Fikes Richard E., Levesque Hector J. KRYPTON: A Functional Approach to Knowledge Representation. 1983 FLAIR Technical Report no. 16, Fairchild Laboratory for Artificial Intelligence. Reprinted in Brachman and Levesque 1985.
Bratko Ivan. Prolog Programming for Artificial Intelligence. Addison-Wesley; 1990.
Bromley Hank, Lamson Richard. A Guide to Programming the Lisp Machine. 2d ed Kluwer Academic; 1987.
Brooks Rodney A. Programming in Common Lisp. Wiley; 1985.
Brownston L., Farrell R., Kant E., Martin N. Programming Expert Systems in OPS5. Addison-Wesley; 1985.
Buchanan Bruce G., Shortliffe Edward Hance. Rule-based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project. Addison-Wesley; 1984.
Bundy Alan. Catalogue of Artificial Intelligence Tools. Springer-Verlag; 1984.
Cannon Howard I. Flavors. 1980 AI Lab Technical Report, MIT.
Carbonell Jamie A. Subjective Understanding: Computer Models of Belief Systems. UMI Research Press; 1981.
Cardelli Luca, Wegner Peter. On Understanding Types, Data Abstraction and Polymorphism. ACM Computing Surveys. 1986;17:.
Chapman David. Planning for Conjunctive Goals. Artificial Intelligence. 1987;32:333-377 Reprinted in Allen, Hendler, and Tate 1990.
Charniak Eugene, McDermott Drew. Introduction to Artificial Intelligence. Addison-Wesley; 1985.
Charniak Eugene, Riesbeck Christopher, McDermott Drew, Meehan James. Artificial Intelligence Programming. 2d ed Lawrence Erlbaum; 1987.
Cheeseman Peter. In Defense of Probability. In: Proceedings of the Ninth IJCAI; 1985:1002-1009.
Chomsky Noam. Language and Mind. Harcourt Brace Jovanovich; 1972.
Church Alonzo. The Calculi of Lambda-Conversion. In: Princeton University Press; . Annals of Mathematical Studies. 1941;Vol. 6.
Church Kenneth, Patil Ramesh. Coping with Syntactic Ambiguity, or How to Put the Block in the Box on the Table. American Journal of Computational Linguistics. 1982;8(nos. 3-4):139-149.
Clinger William, Rees Jonathan. Revised4 Report on the Algorithmic Language Scheme. 1991 Unpublished document available online on cs.voregin.edu.
Clocksin William F., Mellish Christopher S. Programming in Prolog. 3d ed Springer-Verlag; 1987.
Clowes Maxwell B. On Seeing Things. Artificial Intelligence. 1971;2:79-116.
Coelho Helder, Cotta Jose C. Prolog by Example. Springer-Verlag; 1988.
Cohen Jacques. Describing Prolog by its interpretation and compilation. Communications of the ACM. 1985;28(no. 12):1311-1324.
Cohen Jacques. Constraint Logic Programming Languages. Communications of the ACM. 1990;33(no. 7):52-68.
Colby Kenneth. Artificial Paranoia. Pergamon; 1975.
Collins Allan. Fragments of a Theory of Human Plausible Reasoning. In: Waltz David, ed. Theoretical Issues in Natural Language Processing. ACM; 1978 Reprinted in Shafer and Pearl 1990.
Colmerauer Alain. Prolog in 10 figures. Communications of the ACM. 1985;28(no. 12):1296-1310.
Colmerauer Alain. An Introduction to Prolog III. Communications of the ACM. 1990;33(no. 7):69-90.
Colmerauer Alain, Kanoui Henri, Pasero Robert, Roussel Phillipe. Un Système de Communication Homme-Machine en Français. 1973 Rapport, Groupe d'Intelligence Artificielle, Université d'Aix-Marseille II.
Cooper Thomas A., Wogrin Nancy. Rule-Based Programming with OPS5. Morgan Kaufmann; 1988.
Dahl Ole-Johan, Nygaard Kristen. SIMULA-An Algol-based Simulation Language. Communications of the ACM. 1966;9(no. 9):671-678.
Davenport J.H., Siret Y., Tournier E. Computer Algebra: Systems and Algorithms for Algebraic Computation. Academic Press; 1988.
Davis Ernest. Representations of Commonsense Reasoning. Morgan Kaufmann; 1990.
Davis Lawrence. Genetic Algorithms and Simulated Annealing. Morgan Kaufmann; 1987.
Davis Lawrence. Handbook of Genetic Algorithms. van Nostrand Reinhold; 1991.
Davis Randall. Meta-Level Knowledge. In: Proceedings of the Fifth IJCAI; 1977:920-928 Reprinted in Buchanan and Shortliffe 1984.
Davis Randall. Interactive Transfer of Expertise. Artificial Intelligence. 1979;12:121-157 Reprinted in Buchanan and Shortliffe 1984.
Davis Randall, Lenat Douglas B. Knowledge-Based Systems in Artificial Intelligence. McGraw-Hill; 1982.
DeGroot AD. Thought and Choice in Chess. Mouton; 1965 (English translation, with additions, of the Dutch edition, 1946.).
DeGroot A.D. Perception and Memory versus Thought: Some Old Ideas and Recent Findings. In: Kleinmuntz B., ed. Problem Solving. Wiley; 1966.
de Kleer Johan. An Assumption-Based Truth Maintenance System. Artificial Intelligence. 1986a;28:127-162 Reprinted in Ginsberg 1987.
de Kleer Johan. Extending the ATMS. Artificial Intelligence. 1986b;28:163-196.
de Kleer Johan. Problem-Solving with the ATMS. Artificial Intelligence. 1986c;28:197-224.
de Kleer Johan. A General Labelling Algorithm for Assumption-Based Truth Maintenance. In: Proceedings of the AAAI. 1988:188-192.
Dowty David R., Wall Robert E., Peters Stanley. Introduction to Montague Semantics. In: D. Reidel; . Synthese Language Library. 1981;vol. 11.
Doyle Jon. A Truth Maintenance System. Artificial Intelligence. 1979;12:231-272.
Doyle Jon. The Ins and Outs of Reason Maintenance. In: Proceedings of the Eighth IJCAI; 1983:349-351.
Dubois Didier, Prade Henri. An Introduction to Possibilistic and Fuzzy Logics. Non-Standard Logics for Automated Reasoning. Academic Press; 1988 Reprinted in Shafer and Pearl 1990.
Earley Jay. An Efficient Context-Free Parsing Algorithm. CACM. 1970;6(no. 2):451-455 Reprinted in Grosz et al. 1986.
Elcock E.W., Hoddinott P. Comments on Kornfeld's 'Equality for Prolog': E-Unification as a Mechanism for Augmenting the Prolog Search Strategy. In: Proceedings of the AAAI; 1986:766-775.
Emanuelson P., Haraldsson A. On Compiling Embedded Languages in Lisp. In: Lisp Conference, Stanford, Calif; 1980:208-215.
Ernst G.W., Newell Alan. GPS: A Case Study in Generality and Problem Solving. Academic Press; 1969.
Fateman Richard J. Reply to an Editorial. ACM SIGSAM Bulletin. 1973;25(March):9-11.
Fateman Richard J. Polynomial Multiplication, Powers and Asymptotic Analysis: Some Comments. SIAM Journal of Computation. 1974;no. 3(3):196-213.
Fateman Richard J. MACSYMA's general simplifier: philosophy and operation. In: Lewis VE, ed. Proceedings of the 1979 MACSYMA Users' Conference (MUC-79); MIT: Lab for Computer Science; 1979:563-582.
Fateman Richard J. FRPOLY: A Benchmark Revisited. Lisp and Symbolic Computation. 1991;4:155-164.
Feigenbaum Edward A., Feldman Julian. Computers and Thought. McGraw-Hill; 1963.
Field A.J., Harrison P.G. Functional Programming. Addison-Wesley; 1988.
Fikes Richard E., Nilsson Nils J. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence. 1971;2:189-208 Reprinted in Allen, Hendler, and Tate 1990.
Fodor Jerry A. The Language of Thought. Harvard University Press; 1975.
Forgy Charles L. OPS5 User's Manual. Report CMU-CS-81-135. Carnegie Mellon University; 1981.
Forgy Charles L. RETE: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem. Artificial Intelligence. 1982;19:17-37.
Franz Inc. Common Lisp: the Reference. Addison-Wesley; 1988.
Gabriel Richard P. Performance and evaluation of Lisp systems. MIT Press; 1985.
Gabriel Richard P. Lisp. In: Shapiro Stuart C., ed. Encyclopedia of Artificial Intelligence. Wiley; 1990.
Galler B.A., Fisher M.J. An Improved Equivalence Algorithm. Communications of the ACM. 1964;7(no. 5):301-303.
Gazdar Richard, Mellish Chris. Natural Language Processing in Lisp. Addison-Wesley; 1989 Also published simultaneously: Natural Language Processing in Prolog.
Genesereth Michael R., Ginsberg Matthew L. Logic Programming. Communications of the ACM. 1985;28(no. 9):933-941.
Genesereth Michael R., Nilsson Nils J. Logical Foundations of Artificial Intelligence. Morgan Kaufmann; 1987.
Giannesini Francis, Kanoui H., Pasero R., van Caneghem M. Prolog. Addison-Wesley; 1986.
Ginsberg Matthew L. Readings in NonMonotonic Reasoning. Morgan Kaufmann; 1987.
Ginsberg Matthew L., Harvey William D. Iterative Broadening. In: Proceedings, Eighth National Conference on AI; 1990:216-220.
Goldberg Adele, Robinson David. Smalltalk-80: The Language and its Implementation. Addison-Wesley; 1983.
Goldberg David E. Genetic Algorithms in Search, Optimization and Machine Learning. Addison-Wesley; 1989.
Gordon Jean, Shortliffe Edward H. The Dempster-Shafer Theory of Evidence. 1984 In Buchanan and Shortliffe 1984.
Green Cordell. Theorem-proving by resolution as a basis for question-answering systems. In: Meltzer Bernard, Michie Donald, eds. Machine Intelligence 4. Edinburgh University Press; 1968:183-205.
Grosz Barbara J., Sparck-Jones Karen, Webber Bonnie Lynn. Readings in Natural Language Processing. Morgan Kaufmann; 1986.
Guzman Adolfo. Computer Recognition of Three-Dimensional Objects in a Visual Scene. 1968 Ph.D. thesis, MAC-TR-59, Project MAC, MIT.
Hafner Carole, Wilcox Bruce. LISP/MTS Programmer's Guide. Mental Health Research Institute Communication no. 302, University of Michigan; 1974.
Harris Zellig S. A Grammar of English on Mathematical Principles. Wiley; 1982.
Hasemer Tony, Domingue John. Common Lisp Programming for Artificial Intelligence. Addison-Wesley; 1989.
Hayes, Patrick. "Naive Physics I: Ontology for Liquids". In Hobbs and Moore 1985.
Heckerman David. Probabilistic Interpretations for Mycin's Certainty Factors. In: Kanal L.N., Lemmer J.F., eds. Uncertainty in Artificial Intelligence. North-Holland: Elsevier; 1986 Reprinted in Shafer and Pearl 1990.
Hennessey Wade L. Common Lisp. McGraw-Hill; 1989.
Hewitt Carl. Viewing Control Structures as Patterns of Passing Messages. Artificial Intelligence. 1977;8(no. 3):323-384.
Hobbs Jerry R., Moore Robert C. Formal Theories of the Commonsense World. Ablex; 1985.
Hofstader Douglas R. Godel, Escher, Bach: An Eternal Golden Braid. Vintage; 1979.
Hölldobler Steffen. Foundations of Equational Logic Programming. Springer-Verlag; 1987 Lecture Notes in Artificial Intelligence.
Huddleston Rodney. Introduction to the Grammar of English. Cambridge University Press; 1984.
Huffman David A. Impossible Objects as Nonsense Pictures. In: Meltzer B., Michie D., eds. Machine Intelligence 6. Edinburgh University Press; 1971:295-323.
Hughes R.J.M. Lazy Memo Functions. In: Proceedings of the Conference on Functional Programming and Computer Architecture, Nancy; Springer-Verlag; 1985:129-146.
Ingerman Peter Z. Thunks. Communications of the ACM. 1961;4(no. 1):55-58.
Jaffar Joxan, Lassez Jean-Louis, Maher Michael J. A Theory of Complete Logic Programs with Equality. Journal of Logic Programming. 1984;3:211-223.
Jackson Peter. Introduction to Expert Systems. 2d ed Addison-Wesley; 1990.
James Glenn, James Robert C. Mathematics Dictionary. Van Nostrand; 1949.
Kanal L.N., Lemmer J.F. Uncertainty in Artificial Intelligence. North-Holland; 1986.
Kanal L.N., Lemmer J.F. Uncertainty in Artificial Intelligence 2. North-Holland; 1988.
Kay Alan. The Reactive Engine. 1969 Ph.D. thesis, University of Utah.
Kay Martin. Algorithm schemata and data structures in syntactic processing. 1980 Xerox Palo Alto Research Center Report CSL-80-12. Reprinted in Grosz et al. 1986.
Kernighan B.W., Plauger P.J. The Elements of Programming Style. McGraw-Hill; 1974.
Kernighan B.W., Plauger P.J. Software Tools in Pascal. Addison-Wesley; 1981.
Keene Sonya. Object-Oriented Programming in Common Lisp: A Programmer's Guide to CLOS. Addison-Wesley; 1989.
Knight K. Unification: A Multidisciplinary Survey. ACM Computing Surveys. 1989;21(no. 1):93-121.
Knuth Donald E., Moore Robert W. An Analysis of Alpha-Beta Pruning. Artificial Intelligence. 1975;6(no. 4):293-326.
Kohlbecker Jr. Eugene Edmund. Syntactic Extensions in the Programming Language Lisp. 1986 Ph.D. thesis, Indiana University.
Korf RE. Depth-first Iterative Deepening: an Optimal Admissible Tree Search. Artificial Intelligence. 1985;27:97-109.
Kornfeld WA. Equality for Prolog. In: 1983:514-519. Proceedings of the Seventh IJCAI..
Koschman Timothy. The Common Lisp Companion. Wiley; 1990.
Kowalski Robert. Predicate logic as a programming language. In: Proceedings of the IFIP-74 Congress; North-Holland; 1974:569-574.
Kowalski Robert. Algorithm = Logic + Control. Communications of the ACM. 1979;22:424-436.
Kowalski Robert. Logic for Problem Solving. North-Holland; 1980.
Kowalski Robert. The Early Years of Logic Programming. Communications of the ACM. 1988;31:38-43.
Kranz David, Kelsey Richard, Rees Jonathan, Hudak Paul, Philbin James, Adams Norman. ORBIT: An optimizing compiler for Scheme. In: SIGPLAN Compiler Construction Conference; 1986.
Kreutzer Wolfgang, McKenzie Bruce. Programming for Artificial Intelligence: Methods, Tools and Applications. Addison-Wesley; 1990.
Lakoff George. Women, Fire and Dangerous Things: What Categories Reveal About the Mind. University of Chicago Press; 1987.
Landin Peter. A Correspondence Between Algol 60 and Church's Lambda Notation. Communications of the ACM. 1965;8(no. 2):89-101.
Lang Kevin J., Perlmutter Barak A. Oaklisp: An Object-Oriented Dialect of Scheme. Lisp and Symbolic Computing. 1988;1:39-51.
Langacker Ronald W. Language and its Structure. Harcourt, Brace & World; 1967.
Lassez J.-L., Maher M.J., Marriott K. Unification Revisited. In: Minker J., ed. Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann; 1988:587-625.
Lee Kai-Fu, Mahajan Sanjoy. Bill: A Table-Based, Knowledge-Intensive Othello Program. 1986 Technical Report CMU-CS-86-141, Carnegie Mellon University.
Lee Kai-Fu., Mahajan Sanjoy. The Development of a World Class Othello Program. Artificial Intelligence. 1990;43:21-36.
Levesque Hector. Making Believers out of Computers. Artificial Intelligence. 1986;30:81-108.
Levy David N.L. Computer Chess. Batsford; 1976.
Levy David N.L. Computer Games. Springer-Verlag; 1988a.
Levy David N.L. Computer Chess Compendium. Springer-Verlag; 1988b.
Levy David N.L. Heuristic Programming in Artificial Intelligence: the First Computer Olympiad. Ellis Horwood; 1990.
Lloyd JW. Foundations of Logic Programming. Springer-Verlag; 1987.
Loomis Lynn. Calculus. Addison-Wesley; 1974.
Loveland DW. Near-Horn Prolog. In: Proceedings of the Fourth International Conference on Logic Programming; 1987:456-469.
Luger George F., Stubblefield William A. Artificial Intelligence and the Design of Expert Systems. Benjamin/Cummings; 1989.
Maier David, Warren David S. Computing with Logic. Benjamin/Cummings; 1988.
Marsland T.A. Computer Chess Methods. In: Shapiro Stuart C., ed. Entry in Encyclopedia of Artificial Intelligence. Wiley; 1990.
Martin William A., Fateman Richard J. The MACSYMA System. In: Proceedings of the Second Symposium on Symbolic and Algebraic Manipulation; ACM SIGSAM; 1971:59-75.
Masinter Larry, Deutsch Peter. Local Optimization in a Compiler for Stack-Based Lisp Machines. In: Proceedings of the Lisp and Functional Programming Conference; 1980.
McAllester David. Reasoning Utility Package User's Manual. 1982 AI Memo 667, AI Lab, MIT.
McCarthy John. An Algebraic Language for the Manipulation of Symbolic Expressions. 1958 AI Lab Memo no. 1, MIT.
McCarthy John. Recursive functions of symbolic expressions and their computation by machine. Communications of the ACM. 1960;3(no. 3):184-195.
McCarthy John. A basis for a mathematical theory of computation. In: Braffort P., Hirschberg D., eds. Computer Programming and Formal Systems. North-Holland; 1963.
McCarthy John. Programs with Common Sense. 1968 In Minsky 1968. Reprinted in Brachman and Levesque 1985.
McCarthy John. History of Lisp. In: Wexelblat Richard W., ed. History of Programming Languages. Academic Press; 1978 Also in ACM SIGPLAN Notices 13, no. 8.
McCarthy John, Abrahams P.W., Edwards D.J., Fox P.A., Hart T.P., Levin M.J. Lisp 1.5 Programmer's Manual. MIT Press; 1962.
McDermott Drew. Tarskian Semantics, or No Notation without Denotation!. Cognitive Science. 1978;2:277-282 Reprinted in Grosz, Sparck-Jones and Webber 1986.
McDermott Drew. A Critique of Pure Reason. Computational Intelligence. 1987;3:151-160.
Meyer Bertrand. Object-oriented Software Construction. Prentice-Hall; 1988.
Michie Donald. Memo Functions and Machine Learning. Nature. 1968;218:19-22.
Miller Molly M., Benson Eric. Lisp Style & Design. Digital Press; 1990.
Minsky Marvin. Semantic Information Processing. MIT Press; 1968.
Miranker Daniel. TREAT: A New and Efficient Match Algorithm for AI Production Systems. Pitman; 1990.
Moon David. Object-Oriented Programming with Flavors. In: Proceedings of the ACM Conference on Object-Oriented Systems, Languages and Applications; 1986.
Moon David, Stallman Richard, Weinreb Daniel. The Lisp Machine Manual. AI Lab, MIT; 1983.
Moore Robert C. The Role of Logic in Knowledge Representation and Commonsense Reasoning. Proceedings of the AAAI-82. 1982 Reprinted in Brachman and Levesque 1985.
Moses Joel. Symbolic Integration. 1967 Report no. MAC-TR-47, Project MAC, MIT.
Moses Joel. A MACSYMA Primer. 1975 Mathlab Memo no. 2, Computer Science Lab, MIT.
Mueller Robert A., Page Rex L. Symbolic Computing with Lisp and Prolog. Wiley; 1988.
Musser David R., Stepanov Alexander A. The ADA Generic Library. Springer-Verlag; 1989.
Naish Lee. Negation and Control in Prolog. Springer-Verlag; 1986 Lecture Notes in Computer Science 238.
Newell Alan, Shaw J.C., Simon Herbert A. Chess-Playing Programs and the Problem of Complexity. In: In Feigenbaum and Feldman 1963. 1963:39-70.
Newell Alan, Simon Herbert A. GPS, A Program that Simulates Human Thought. In: In Feigenbaum and Feldman 1963. 1963:279-293 Reprinted in Allen, Hendler, and Tate 1990.
Newell Alan, Simon Herbert A. Human Problem Solving. Prentice-Hall; 1972.
Nilsson Nils. Problem-Solving Methods in Artificial Intelligence. McGraw-Hill; 1971.
Norvig Peter. Correcting a Widespread Error in Unification Algorithms. Software Practice and Experience. 1991;21(no. 2):231-233.
Nygaard Kristen, Dahl Ole-Johan. SIMULA 67. In: Wexelblat Richard W., ed. History of Programming Languages. 1981.
O'Keefe Richard. The Craft of Prolog. MIT Press; 1990.
Pearl Judea. Heuristics: Intelligent Search Strategies for Computer Problem Solving. Addison-Wesley; 1984.
Pearl Judea. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann; 1988.
Pearl Judea. Bayesian and Belief-Functions Formalisms for Evidential Reasoning: A Conceptual Analysis. In: Proceedings, Fifth Israeli Symposium on Artificial Intelligence; 1989 Reprinted in Shafer and Pearl 1990.
Pereira Fernando C.N., Shieber Stuart M. Prolog and Natural-Language Analysis. Center for the Study of Language and Information; 1987 Lecture Notes no. 10.
Pereira Fernando C.N., Warren David H.D. Definite clause grammars for language analysis-a survey of the formalism and a comparison with augmented transition networks. Artificial Intelligence. 1980;13:231-278 Reprinted in Grosz et al. 1986.
Perlis Alan. Epigrams on Programming. ACM SIGPLAN Notices. 1982;17(no. 9).
Plaisted David A. Non-Horn Clause Logic Programming Without Contra-positives. Journal of Automated Reasoning. 1988;4:287-325.
Quillian M. Ross. Word Concepts: A Theory of Simulation of Some Basic Semantic Capabilities. Behavioral Science. 1967;12:410-430 Reprinted in Brachman and Levesque 1985.
Quirk Randolph, Greenbaum Sidney, Leech Geoffrey, Svartik Jan. A Comprehensive Grammar of the English Language. Longman; 1985.
Ramsey Allan, Barrett Rosalind. AI in Practice: Examples in Pop-11. Halstead Press; 1987.
Rich Elaine, Knight Kevin. Artificial Intelligence. McGraw-Hill; 1991.
Risch RH. The Problem of Integration in Finite Terms. Translations of the A.M.S. 1969;139:167-189.
Risch RH. Algebraic Properties of the Elementary Functions of Analysis. American Journal of Mathematics. 1979;101:743-759.
Robinson JA. A Machine-Oriented Logic Based on the Resolution Principle. Journal of the ACM. 1965;12(no. 1):23-41.
Rosenbloom Paul S. A World-Championship-Level Othello Program. Artificial Intelligence. 1982;19:279-320.
Roussel Phillipe. Prolog: manual de reference et d'utilization. Groupe d'Intelligence Artificielle, Université d'Aix-Marseille; 1975.
Rowe Neal. Artificial Intelligence Through Prolog. Prentice-Hall; 1988.
Ruf Erik, Weise Daniel. LogScheme: Integrating Logic Programming into Scheme. Lisp and Symbolic Computation. 1990;3(no. 3):245-288.
Russell Stuart. The Compleat Guide to MRS. Stanford University; 1985 Computer Science Dept. Report no. STAN-CS-85-1080,
Russell Stuart, Wefald Eric. On Optimal Game-Tree Search using Rational Meta-Reasoning. In: Proceedings of the International Joint Conference on Artificial Intelligence; 1989:334-340.
Sacerdoti Earl. Planning in a Hierarchy of Abstraction Spaces. Artificial Intelligence. 1974;5:115-135 Reprinted in Allen, Hendler, and Tate 1990.
Sager Naomi. Natural Language Information Processing. Addison-Wesley; 1981.
Samuel AL. Some Studies in Machine Learning Using the Game of Checkers. IBM Journal of Research and Development. 1959;3:210-229 Reprinted in Feigenbaum and Feldman 1963.
Sangal Rajeev. Programming Paradigms in Lisp. McGraw Hill; 1991.
Schank Roger C., Colby Kenneth Mark. Computer Models of Thought and Language. Freeman; 1973.
Schank Roger C., Riesbeck Christopher. Inside Computer Understanding. Lawrence Erlbaum; 1981.
Schmolze J.G., Lipkis T.A. Classification in the KL-ONE Knowledge Representation System. In: Proceedings of the Eighth IJCAI; 1983:330-332.
Sedgewick Robert. Algorithms. Addison-Wesley; 1988.
Shannon Claude E. Programming a Digital Computer for Playing Chess. Philosophy Magazine. 1950a;41:356-375.
Shannon Claude E. Automatic Chess Player. In: Scientific American. 1950b:182 Feb.,
Shebs Stan T., Kessler Robert R. Automatic Design and Implementation of Language Data Types. SIGPLAN 87 Symposium on Interpreters and Interpretive Techniques (ACM SIGPLAN Notices. 1987;22(no. 7):26-37.
Shapiro Stuart C., ed. Encyclopedia of Artificial Intelligence. Wiley; 1990.
Shafer Glenn, Pearl Judea. Readings in Uncertain Reasoning. Morgan Kaufmann; 1990.
Sheil BA. Power Tools for Programmers. In: Datamation. 1983:131-144 Feb.,
Shortliffe Edward H. Computer-Based Medical Consultation: MYCIN. American Elsevier; 1976.
Shortliffe Edward H., Buchanan Bruce G. A Model of Inexact reasoning in Medicine. Mathematical Biosciences. 1975;23:351-379 Reprinted in Shafer and Pearl 1990.
Slade Richard. The T Programming Language: A Dialect of Lisp. Prentice Hall; 1987.
Slagle J.R. A heuristic program that solves symbolic integration problems in freshman calculus. In: Feigenbaum and Feldman, eds. Computers and Thought. 1963:191-203 Also in journal of the ACM 10:507-520.
Spiegelhalter David J. A Statistical View of Uncertainty in Expert Systems. In: Gale W., ed. Addison-Wesley; 1986:. Artificial Intelligence and Statistics. Reprinted in Shafer and Pearl 1990.
Staples John, Robinson Peter J. Efficient Unification of Quantified Terms. Journal of Logic Programming. 1988;5:133-149.
Steele Jr. Guy L. LAMBDA: The Ultimate Imperative. 1976a AI Lab Memo 353, MIT.
Steele Jr. Guy L. LAMBDA: The Ultimate Declarative. 1976b AI Lab Memo 379, MIT.
Steele Jr. Guy L. Debunking the 'Expensive Procedure Call' Myth or, Procedure Call Implementations Considered Harmful or, LAMBDA: The Ultimate GOTO. 1977 AI Lab Memo 443, MIT.
Steele Jr. Guy L. Rabbit: a Compiler for Scheme (A Study in Compiler Optimization). 1978 AI Lab Technical Report 474, MIT.
Steele Jr. Guy L. Compiler optimization based on viewing lambda as Rename Plus Goto. In: MIT Press; . AI: An MIT Perspective. 1983;vol. 2.
Steele Jr. Guy L. Common Lisp the Language. Digital Press; 1984.
Steele Jr. Guy L. Common Lisp the Language. 2d edition Digital Press; 1990.
Steele Jr. Guy L., Sussman Gerald J. The revised report on Scheme, a dialect of Lisp. 1978a AI Lab Memo 452, MIT.
Steele Jr. Guy L., Sussman Gerald J. The art of the interpreter, or the modularity complex (parts zero, one, and two). 1978b AI Lab Memo 453, MIT.
Steele Jr. Guy L., Jay Sussman Gerald. Design of LISP-Based Processors or, SCHEME: A Dielectric LISP or, Finite Memories Considered Harmful or, LAMBDA: The Ultimate Opcode. 1979 AI Lab Memo 379, MIT.
Steele Jr. Guy L., Sussman Gerald J. Design of a Lisp-Based Processor. Communications of the ACM. 1980;23(no. 11):628-645.
Stefik Mark, Bobrow Daniel G. Object-Oriented Programming: Themes and Variations. AI Magazine. 1986;6(no. 4).
Sterling Leon, Shapiro Ehud. The Art of Prolog. MIT Press; 1986.
Sterling L., Bundy A., Byrd L., O'Keefe R., Silver B. Solving Symbolic Equations with PRESS. In: Calmet J., ed. Computer Algebra, Lecture Notes in Computer Science No. 144. Springer-Verlag; 1982:109-116 Also in Journal of Symbolic Computation 7 (1989):71-84.
Stickel Mark. A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler. Journal of Automated Reasoning. 1988;4:353-380.
Stoyan Herbert. Early Lisp History. In: Proceedings of the Lisp and Functional Programming Conference; 1984:299-310.
Stroustrup Bjarne. The C++ Programming Language. Addison-Wesley; 1986.
Sussman Gerald J. A Computer Model of Skill Acquisition. Elsevier; 1973.
Tanimoto Steven. The Elements of Artificial Intelligence using Common Lisp. Computer Science Press; 1990.
Tate Austin. Generating Project Networks. IJCAI-77. Boston; 1977 Reprinted in Allen, Hendler, and Tate 1990.
Tater Deborah G. A Programmees Guide to Common Lisp. Digital Press; 1987.
Thomason Richmond. Formal Philosophy-Selected Papers of Richard Montague. Yale University Press; 1974.
Touretzky David. Common Lisp: A Gentle Introduction to Symbolic Computation. Benjamin/Cummings; 1989.
Tversky Amos, Kahneman Daniel. Judgement Under Uncertainty: Heuristics and Biases. Science. 1974;185:1124-1131 Reprinted in Shafer and Pearl 1990.
Tversky Amos, Kahneman Daniel. Extensional Versus Intuitive Reasoning: The Conjunction Fallacy in Probability Judgement. Psychological Review. 1983;90:29-315.
Tversky Amos, Kahneman Daniel. Rational Choices and the Framing of Decisions. Journal of Business. 1986;59:S251-S278 Reprinted in Shafer and Pearl 1990.
Ungar David. Generation Scavenging: A Non-Disruptive High Performance Storage Reclamation Algorithm. In: Proceedings of the ACM SIGSOFT/ SIGPLAN Software Engineering Symposium on Practical Software Development En vironments (Pittsburgh, Pa., April); 1984:157-167 ACM SIGPLAN Notices 19, no. 5.
van Emden Maarten H., Yukawa Keitaro. Logic Programming with Equations. Journal of Logic Programming. 1987;4:265-288.
van Melle WJ. System Aids in Constructing Consultation Programs. UMI Research Press; 1980.
Van Roy, Peter L. Can Logic Programming Execute as Fast as Imperative Programming?. Report UCB/CSD 90/600 Berkeley: University of California; 1990.
Vygotsky Lev Semenovich. Thought and Language. MIT Press; 1962.
Waibel Alex, Lee Kai-Fu. Readings in Speech Understanding. Morgan Kaufmann; 1991.
Waldinger Richard. Achieving Several Goals Simultaneously. In: Machine Intelligence 8. Ellis Horwood Limited; 1977.
Walker Adrian, McCord Michael, Sowa John F., Wilson Walter G. Knowledge Systems and Prolog. Addison-Wesley; 1990.
Waltz David I. Understanding Line Drawings of Scenes with Shadows. In: Winston Patrick H., ed. The Psychology of Computer Vision. McGraw-Hill; 1975.
Waltz David I. Waltz Filtering. In: Shapiro Stuart C., ed. Encyclopedia of Artificial Intelligence. Wiley; 1990.
Wand Mitchell. Continuation-Based Program Transformation Strategies. Journal of the ACM. 1980;27(no. 1):174-180.
Warren David H.D. WARPLAN: A System for Generating Plans. 1974a Department of Computational Logic Memo 76, AI, Edinburgh University.
Warren David H.D. Extract from APIC Studies in Data Processing, No. 24. 1974b Reprinted in Allen, Hendler, and Tate, 1990.
Warren David H.D. Prolog on the DECsystem-10. In: Michie Donald, ed. Expert Systems in the Micro-Electronic Age. Edinburgh University Press; 1979.
Warren David H.D. An abstract Prolog instruction set. 1983 Technical Note 309, SRI International.
Warren David H.D., Pereira L.M., Pereira Fernando C.N. Prolog-the Language and its Implementation Compared with Lisp. In: Proceedings of the ACM SIGART-SIGPLAN Symposium on AI and Programming Languages; 1977.
Warren David H.D., Pereira Fernando C.N. An Efficient Easily Adaptable System for Interpreting Natural Language Queries. American Journal of Computational Linguistics. 1982;8(nos.3-4):110-122.
Waterman David A. A Guide to Expert Systems. Addison-Wesley; 1986.
Waters Richard C. Supporting the Regression Testing of Lisp Programs. Lisp Pointers. 1991;4(no. 2):47-53.
Wegner Peter. Dimensions of object-based language design. In: ACM SIG-PLAN Notices. 1987:168-182.
Weinreb Daniel, Moon David A. Flavors: Message Passing in the Lisp Machine. 1980 AI Memo no. 602, Project MAC, MIT.
Weiss Sholom M., Kulikowski Casimar A. A Practical Guide to Designing Expert Systems. Rowman & Allanheld; 1984.
Weissman Clark. Lisp 1.5 Primer. Dickenson; 1967.
Weizenbaum Joseph. ELIZA-A computer program for the study of natural language communication between men and machines. Communications of the ACM. 1966;9:36-45.
Weizenbaum Joseph. Computer Power and Human Reason. Freeman; 1976.
Whorf Benjamin Lee. Language, Thought, and Reality. MIT Press; 1956.
Wilensky Robert. Common LISPcraft. Norton; 1986.
Winograd Terry. Language as a Cognitive Process. Addison-Wesley; 1983.
Winston Patrick H. The Psychology of Computer Vision. McGraw-Hill; 1975.
Winston Patrick H. Artificial Intelligence. Addison-Wesley; 1984.
Winston Patrick H., Horn Bertold K.P. Lisp. 3d ed Addison-Wesley; 1988.
Wirth N. Algorithms + Data Structures = Programs. Prentice Hall; 1976.
Wong Douglas. Language Comprehension in a Problem Solver. In: Proceedings of the International Joint Conference on Artificial Intelligence; 1981:7-12.
Woods William A. Transition Network Grammars for Natural Language Analysis. Communications of the ACM. 1970;13:591-606 Reprinted in Grosz et al. 1986.
Woods William A. What's in a Link: Foundations for Semantic Networks. In: Bobrow D.G., Collins A.M., eds. Representation and Understanding. Academic Press; 1975.
Woods William A. Lunar Rocks on Natural English: Explorations in Natural Language Question Answering. In: Zamponi A., ed. Linguistic Structures Processing. Elsevier-North-Holland; 1977.
Zabih Ramin, McAllester David, Chapman David. Non-Deterministic Lisp with Dependency-Directed Backtracking. In: Proceedings of the AAAI; 1987.
Zadeh Lotfi. Fuzzy Sets as a Basis for a Theory of Possibility. Fuzzy Sets Systems. 1978;1:3-28.
Zucker S.W. Vision, Early. In: Shapiro Stuart C., ed. Encyclopedia of Artificial Intelligence. Wiley; 1990.