AI - Bibliography
Aarup, M., Arentoft, M. M., Parrod, Y., Stader, J., & Stokes, I. (1994). OPTIMUM-AIV: A knowledge-based planning & scheduling system for spacecraft AIV. In Fox, M. & Zweben, M., editors, Knowledge Based Scheduling. Morgan Kaufmann, San Mateo, California.
Abramson, B., & Yung, M., "Divide and Conquer under Global Constraints: A Solution to the N-Queens Problem," Journal of Parallel and Distributed Computing, 6:649-662, 1989.
Abu-Mostafa, Y. S. & Psaltis, D. (1987). Optical neural computers. Scientific American, 256:88-95.
Acharya, A., Tambe, M., & Gupta, A. (1992). Implementation of production systems on message-passing computers. IEEE Transactions on Parallel and Distributed Systems, 3(4):477-487.
Adelson-Velsky, G. M., Arlazarov, V. L., Bitman, A. R., Zhivotovsky, A. A., & Uskov, A. V. (1970). Programming a computer to play chess. Russian Mathematical Surveys, 25:221-262.
Adelson-Velsky, G. M., Arlazarov, V. L., & Donskoy, M. V. (1975). Some methods of controlling the tree search in chess programs. Artificial Intelligence, 6(4):361-371.
Agmon, S. (1954). The relaxation method for linear inequalities. Canadian Journal of Mathematics, 6(3):382-392.
Agre, P. E. & Chapman, D. (1987). Pengi: an implementation of a theory of activity. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), pages 268-272, Milan, Italy. Morgan Kaufmann.
Agre, P., & Chapman, D., "What Are Plans For?" Robotics and Autonomous Systems, 6:17-34, 1990. Also in Maes 1990a.
Aho, A. V., Hopcroft, J. E., & Ullman, J. D. (1974). The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, Massachusetts.
Ait-Kaci, H. (1991). Warren's Abstract Machine: A Tutorial Reconstruction. MIT Press, Cambridge, Massachusetts.
Ait-Kaci, H. & Nasr, R. (1986). LOGIN: a logic programming language with built-in inheritance. Journal of Logic Programming, 3(3):185-215.
Ait-Kaci, H. & Podelski, A. (1993). Towards a meaning of LIFE. Journal of Logic Programming, 16(3-4):195-234.
Albus, J. S., "Outline for a Theory of Intelligence," IEEE Systems, Man, and Cybernetics, 21(3):473-509, May/June 1991.
Allais, M. (1953). Le comportment de l'homme rationnel devant la risque: critique des postulats et axiomes de l'école Américaine. Econometrica, 21:503-546.
James Allen, "Maintaining Knowledge about Temporal Intervals," Communications of the ACM, 26(11):832-843, 1983. (Reprinted in Weld, D., & de Kleer, J. (eds.), Readings in Qualitative Reasoning about Physical Systems, San Francisco: Morgan Kaufmann, 1990.)
James Allen., "Towards a General Theory of Action and Time," Artificial Intelligence, 23:123-154, 1984.
Allen, J., Hendler, J., & Tate, A. (eds.), Readings in Planning, san Francisco: Morgan Kaufmann, 1990.
Allen, J. F., Kautz, H. A., Pelavin, R., & Tenenberg, J., editors (1990b). Reasoning about Plans. Morgan Kaufmann, San Mateo, California. .
James Allen, "Time and Time Again: The Many Ways to Represent Time," International Journal of Intelligent Systems, 6:341-355, 1991.
{allenplan Allen, J., "Temporal Reasoning and Planning," in Allen, J., Kautz, H., Pelavin, R., & Tenenberg, J. (eds.), Reasoning About Plans, Ch.~1, San Francisco: Morgan Kaufmann, 1991.
Allen, J., Natural Language Understanding, Menlo Park, CA: Benjamin/Cummings, 1995.
Almuallim, H. & Dietterich, T. G. (1991). Learning with many irrelevant features. In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), volume 2, pages 547-552, Anaheim, California. AAAI Press.
Almeida, L. B., "A Learning Rule for Asynchronous Perceptrons with Feedback in a Combinatorial Environment," in M. Caudill & C. Butler (eds.), IEEE First International Conference on Neural Networks, San Diego, 1987, vol. II, pp.609-618, New York: IEEE, 1987.
Aloimonos, J., Weiss, I., & Bandyopadhyay, A. (1988). Active vision. International Journal of Computer Vision, 1:333-356.
Yiannis Aloimonis. (1992). Special issue on purposive, qualitative, active vision. CVGIP: Image Understanding, 56(1).
Yiannis Aloimonis. (ed.), Active Perception, Hillsdale, NJ: Lawerence Erlbaum Associates, 1993.
Alshawi, H., editor (1992). The Core Language Engine. MIT Press, Cambridge, Massachusetts.
Alspector, J., Allen, R. B., Hu, V., & Satyanarayana, S. (1987). Stochastic learning networks and their electronic implementation. In Anderson, D. Z., editor, Neural Information Processing Systems, Denver 1987, pages 9-21, Denver, Colorado. American Institute of Physics.
Alterman, R. (1988). Adaptive planning. Cognitive Science, 12:393-422.
Amarel, S. (1968). On representations of problems of reasoning about actions. In Michie, D., editor, Machine Intelligence 3, volume 3, pages 131-171. Elsevier/North-Holland, Amsterdam, London, New York.
Ambros-Ingerson, J. & Steel, S. (1988). Integrating planning, execution and monitoring. In Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88), pages 735-740, St. Paul, Minnesota. Morgan Kaufmann.
Amit, D., Gutfreund, H., & Sompolinsky, H. (1985). Spin-glass models of neural networks. Physical Review, A 32:1007-1018.
Ammon, K. (1993). An automatic proof of Gödel's incompleteness theorem. Artificial Intelligence, 61(2):291-306.
Andersen, S. K., Olesen, K. G., Jensen, F. V., & Jensen, F. (1989). HUGIN-a shell for building Bayesian belief universes for expert systems. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89), volume 2, pages 1080-1085, Detroit, Michigan. Morgan Kaufmann.
Anderson, A. R., editor (1964). Minds and Machines. Prentice-Hall, Englewood Cliffs, New Jersey.
Anderson, J. A. & Rosenfeld, E., editors (1988). Neurocomputing: Foundations of Research. MIT Press, Cambridge, Massachusetts.
John R. Anderson Cognitive Psychology and its Implications. W. H. Freeman, New York.
John R. Anderson The Architecture of Cognition. Harvard University Press, Cambridge, Massachusetts.
Anderson, T., & Donath, M., "Animal Behavior as a Paradigm for Developing Robot Autonomy," Robotics and Autonomous Systems, 6:145-168, 1990. Also in Maes 1990a
Andre, D., "The Automatic Programming of Agents That Learn Mental Models and Create Simple Plans of Action," in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), pp.741-747, San Francisco: Morgan Kaufmann, 1995.
Armstrong, D. M. (1968). A Materialist Theory of the Mind. Routledge and Kegan Paul, London.
Arnauld, A. (1662). La logique, ou l'art de penser. Chez Charles Savreux, au pied de la Tour de Nostre Dame, Paris. Usually referred to as the Port-Royal Logic; translated into English as Arnauld, 1964.
Arnauld, A. (1964). The Art of Thinking. Bobbs-Merrill, Indianapolis, Indiana. Translation of Arnauld, 1662, usually referred to as the Port-Royal Logic.
Ashby, W. R. (1952). Design for a Brain. Wiley, New York.
Isaac Asimov . (1942). Runaround. Astounding Science Fiction.
Isaac Asimov . (1950). I, Robot. Doubleday, Garden City, New York.
Astrom, K. J. (1965). Optimal control of Markov decision processes with incomplete state estimation. J. Math. Anal. Applic., 10:174-205. .
Austin, J. L. (1962). How To Do Things with Words. Harvard University Press, Cambridge, Massachusetts.
Bacchus, F., & Yang, Q., "The Expected Value of Hierarchical Problem-solving," in Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), pp.369-374, Melno Park, CA: AAAI Press, 1992.
Bacchus, F. (1990). Representing and Reasoning with Probabilistic Knowledge. MIT Press, Cambridge, Massachusetts.
Bacchus, F., Grove, A., Halpern, J. Y., & Koller, D. (1992). From statistics to beliefs. In Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), pages 602-608, San Jose, California. AAAI Press.
Bach, E. (1986). The algebra of events. Linguistics and Philosophy, 9:5-16.
Bachmann, P. G. H. (1894). Die analytische Zahlentheorie. B. G. Teubner, Leipzig.
Bain, M. & Muggleton, S. H. (1991). Non-monotonic learning. In Hayes, J. E., Michie, D., & Tyugu, E., editors, Machine Intelligence 12, pages 105-119. Oxford University Press, Oxford.
Bajcsy, R. (1988). Active perception. Proceedings of the IEEE, 76(8):996-1005.
Bajcsy, R. & Lieberman, L. (1976). Texture gradient as a depth cue. Computer Graphics and Image Processing, 5(1):52-67.
Baker, C. L. (1989). English Syntax. MIT Press, Cambridge, Massachusetts.
Baker, J. (1975). The Dragon system-an overview. IEEE Transactions on Acoustics, Speech, and Signal Processing, 23.
Baker, A., "Nonmonotonic Reasoning in the Framework of Situation Calculus," Artificial Intelligence, 49:5-23, 1991.
Ballard, B. W. (1983). The *-minimax search procedure for trees containing chance nodes. Artificial Intelligence, 21(3):327-350.
Ballard, D. H., "Animate Vision," Artificial Intelligence, 48(1):57-86, 1991.
Ballard, D. H., & Brown, C. M., Computer Vision, Englewood Cliffs, NJ: Prentice Hall, 1982.
Bar-Hillel, Y. (1954). Indexical expressions. Mind, 63:359-379.
Bar-Hillel, Y. (1960). The present status of automatic translation of languages. In Alt, F. L., editor, Advances in Computers. Academic Press, New York.
Bar-Shalom, Y. & Fortmann, T. E. (1988). Tracking and Data Association. Academic Press, New York.
Barr, A., Cohen, P. R., & Feigenbaum, E. A., editors (1989). The Handbook of Artificial Intelligence, volume 4. Addison-Wesley, Reading, Massachusetts. .
Barr, A. & Feigenbaum, E. A., editors (1981). The Handbook of Artificial Intelligence, volume 1. HeurisTech Press and William Kaufmann, Stanford, California and Los Altos, California. First of four volumes; other volumes published separately as Barr et al 1989Cohen & Feigenbaum, 1982Barr & Feigenbaum, 1982.
Barr, A. & Feigenbaum, E. A., editors (1982). The Handbook of Artificial Intelligence, volume 2. HeurisTech Press and William Kaufmann, Stanford, California and Los Altos, California. .
Barr, A., & Feigenbaum, E. (eds.), The Handbook of Artificial Intelligence, Volume 1, Reading, MA: Addison-Wesley, 1981. (See the following two entries and Cohen & Feigenbaum 1982 for the other three volumes.)
Barr, A., & Feigenbaum, E. (eds.), The Handbook of Artificial Intelligence, Volume 2, Reading, MA: Addison-Wesley, 1982.
Barr, Cohen, & Feigenbaum 1989
Barr, A., Cohen, P. R., & Feigenbaum, E. (eds.), The Handbook of Artificial Intelligence, Volume 4, Reading, MA: Addison-Wesley, 1989.
Barrett, A., Golden, K., Penberthy, J. S., & Weld, D. S. (1993). UCPOP user's manual (version 2.0). Technical Report 93-09-06, Department of Computer Science and Engineering, University of Washington.
Barrett, R., Ramsay, A., & Sloman, A. (1985). POP-11: A Practical Language for Artificial Intelligence. Ellis Horwood, Chichester, England.
Barstow, D. R. (1979). Knowledge-Based Program Construction. Elsevier/North-Holland, Amsterdam, London, New York.
Andrew G. Barto., Bradtke, S. J., & Singh, S. P. (1991). Real-time learning and control using asynchronous dynamic programming. Technical Report TR-91-57, University of Massachusetts Computer Science Department, Amherst, Massachusetts.
Andrew G. Barto., Sutton, R. S., & Brouwer, P. S. (1981). Associative search network: a reinforcement learning associative memory. Biological Cybernetics, 40(3):201-211.
Barto, A., Bradtke, S., & Singh, S., "Learning to Act Using Real-Time Dynamic Programming," Artificial Intelligence, 72(1,2):81-138, January 1995.
Barwise, J., & Etchemendy, J., The Language of First-Order Logic: Including the Macintosh Program~Tarski's World 4.0, Center for the Study of Language and Information (CSLI), Stanford, California, third revised and expanded edition, 1993.
Barwise, J. (1993). Everyday reasoning and logical inference. Behavioral and Brain Sciences, 16(2):337-338.
{bates} Bates, J., "The Role of Emotion in Believable Agents," Communications of the ACM, 37(7):122-125, 1994.
Bates, J., Loyall, A. B., & Reilly, W. S., "Integrating Reactivity, Goals, and Emotion in a Broad Agent," Technical Report CMU-CS-92-142, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, May 1992. (Also appeared in the Proceedings of the Fourteenth Annual Conference of the Cognitive Science Society, Bloomington, Indiana, July 1992.)
Baum, L. E. & Petrie, T. (1966). Statistical inference for probabilistic functions of finite state Markov chains. Annals of Mathematical Statistics, 41.
Bayes, T., "An Essay Towards Solving a Problem in the Doctrine of Chances," Phil. Trans., 3:370-418, 1763. Reproduced in Deming, W. (ed.), Two Papers by Bayes, New York: Hafner, 1963.
Beal, D. F. (1980). An analysis of minimax. In Clarke, M. R. B., editor, Advances in Computer Chess 2, pages 103-109. Edinburgh University Press, Edinburgh, Scotland.
Beck, H. W., Gala, S. K., & Navathe, S. B. (1989). Classification as a query processing technique in the CANDIDE semantic data model. In Proceedings Fifth International Conference on Data Engineering, pages 572-581, Los Angeles, California. IEEE Computer Society Press.
Beer, R., "A Dynamical Systems Perspective on Agent-Environment Interaction," Artificial Intelligence, 72(1-2):173-215, 1995.
Beer, R., Chiel, H., & Sterling, L., "A Biological Perspective on Autonomous Agent Design," Robotics and Autonomous Systems, 6:169-186, 1990. Also in Maes 1990a.
Belhumeur, P. N. (1993). A binocular stereo algorithm for reconstructing sloping, creased, and broken surfaces in the presence of half-occlusion. In Proceedings of the 4th International Conference on Computer Vision, Berlin. IEEE Computer Society Press.
Bell, C. & Tate, A. (1985). Using temporal constraints to restrict search in a planner. In Proceedings of the Third Alvey IKBS SIG Workshop, Sunningdale, Oxfordshire.
Bell, J. L. & Machover, M. (1977). A Course in Mathematical Logic. Elsevier/North-Holland, Amsterdam, London, New York.
Bellman, R. E. (1957). Dynamic Programming. Princeton University Press, Princeton, New Jersey.
Bellman, R. E. (1978). An Introduction to Artificial Intelligence: Can Computers Think? Boyd & Fraser Publishing Company, San Francisco.
Bellman, R. E. & Dreyfus, S. E. (1962). Applied Dynamic Programming. Princeton University Press, Princeton, New Jersey.
Benson, S., Learning Action Models for Reactive Autonomous Agents}, Stanford University Computer Science Department Ph.D.dissertation, Report No. STAN-CS-TR-97-1589, Stanford, CA 94305, 1997.
Benson, S., & Nilsson, N., "Reacting, Planning and Learning in an Autonomous Agent," in Furukawa, K., Michie, D., & Muggleton, S. (eds.), {Machine Intelligence 14}, Oxford: The Clarendon Press, 1995.
Berlekamp, E. R., Conway, J. H., & Guy, R. K. (1982). Winning Ways, For Your Mathematical Plays. Academic Press, New York.
Berliner, H., "The B* Tree-Search Algorithm: A Best-First Proof~Procedure," Artificial Intelligence, 12(1):23-40, 1979.
Berliner, H. J. (1977). BKG-A program that plays backgammon. Technical report, Computer Science Department, Carnegie-Mellon University, Pittsburgh, Pennsylvania.
Berliner, H. J. (1980a). Backgammon computer program beats world champion. Artificial Intelligence, 14:205-220.
Berliner, H. J. (1980b). Computer backgammon. Scientific American, pages 54-62.
Berliner, H. J. (1989). Hitech chess: From master to senior master with no hardware change. In MIV-89: Proceedings of the International Workshop on Industrial Applications of Machine Intelligence and Vision (Seiken Symposium), pages 12-21.
Berliner, H. J. & Ebeling, C. (1989). Pattern knowledge and search: The SUPREM architecture. Artificial Intelligence, 38(2):161-198.
Berliner, H. J. & Goetsch, G. (1984). A quantitative study of search methods and the effect of constraint satisfaction. Technical Report CMU-CS-84-187, Computer Science Department, Carnegie-Mellon University, Pittsburgh, Pennsylvania.
Berliner Schachgesellschaft 1848
Berliner Schachgesellschaft (1848). Berliner Schachgesellschaft. Vol. 3.
Bernoulli, D. (1738). Specimen theoriae novae de mensura sortis. Proceedings of the St. Petersburg Imperial Academy of Sciences, 5. Translated into English as Bernoulli, 1954.
Bernoulli, D. (1954). Exposition of a new theory of the measurement of risk. Econometrica, 22:123-136. Translation of Bernoulli, 1738 by Louise Sommer.
Bernstein, A. & Roberts, M. d. V. (1958). Computer vs. chess player. Scientific American, 198(6):96-105.
Bernstein, A., Roberts, M. d. V., Arbuckle, T., & Belsky, M. S. (1958). A chess playing program for the IBM 704. In Proceedings of the 1958 Western Joint Computer Conference, pages 157-159, Los Angeles.
Berry, D. A. & Fristedt, B. (1985). Bandit Problems: Sequential Allocation of Experiments. Chapman and Hall, London.
Bertsekas, D. P. (1987). Dynamic Programming: Deterministic and Stochastic Models. Prentice-Hall, Englewood Cliffs, New Jersey.
Beth, E. W. (1955). Semantic entailment and formal derivability. Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Afdeling Letterkunde, N.R., 18(13):309-342.
Bhanu, B., & Lee, S., Genetic Learning for Adaptive Image Segmentation, Boston: Kluwer Academic Publishers, 1994.
Wolfgang Bibel. (1981). On matrices with connections. Journal of the Association for Computing Machinery, 28(4):633-645.
Wolfgang Bibel. (1986). A deductive solution for plan generation. New Generation Computing, 4(2):115-132.
Binford, T. O., "Survey of Model-Based Image Analysis Systems," The International Journal of Robotics Research, 1(1):18-64, 1982.
Binford, T. O., "Generalized Cylinder Representation," in Shapiro, S. C. (ed.), Encyclopedia of Artificial Intelligence, pp.321-323, New York: John Wiley & Sons, 1987. (This article is based on an unpublished 1971 paper by Binford entitled "Visual Perception by Computer.")
Birnbaum, L. & Selfridge, M. (1981). Conceptual analysis of natural language. In Schank, R. & Riesbeck, C., editors, Inside Computer Understanding. Lawrence Erlbaum.
Biro, J. I. & Shahan, R. W., editors (1982). Mind, Brain and Function: Essays in the Philosophy of Mind. University of Oklahoma Press, Norman, Oklahoma.
Birtwistle, G., Dahl, O.-J., Myrhaug, B., & Nygaard, K. (1973). Simula Begin. Studentliteratur (Lund) and Auerbach, New York.
Bitner, J. R. & Reingold, E. M. (1975). Backtrack programming techniques. Communications of the Association for Computing Machinery, 18(11):651-656.
Black, E., Jelinek, F., Lafferty, J., Magerman, D., Mercer, R., & Roukos, S. (1992). Towards history-based grammars: using richer models for probabilistic parsing. In Marcus, M., editor, Fifth DARPA Workshop on Speech and Natural Language, Arden Conference Center, Harriman, New York.
Bledsoe, W., "Non-Resolution Theorem~Proving," Artificial Intelligence, 9(1):1-35, 1977.
Block, N., editor (1980). Readings in Philosophy of Psychology, volume 1. Harvard University Press, Cambridge, Massachusetts.
Bloom, P. (1994). Language Acquisition: Core Readings. MIT Press.
Blum, A., & Furst, M., "Fast Planning through Planning Graph Analysis," in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), pp.1636-1642, San Francisco: Morgan Kaufmann, 1995.
Blum, A. L. & Rivest, R. L. (1992). Training a 3-node neural network is NP-complete. Neural Networks, 5(1):117-127.
Blumberg, B., {Old Tricks, New Dogs: Ethology and Interactive Creatures, Ph.D. Dissertation, MIT Media Lab, Massachusetts Institute of Technology, 1996.
Blumer, A., Ehrenfeucht, A., Haussler, D., & Warmuth, M. K. (1989). Learnability and the Vapnik-Chervonenkis dimension. Journal of the Association for Computing Machinery, 36(4):929-965.
Blumer, A., Ehrenfeucht, A., Haussler, D., & Warmuth, M. K. (1990). Occam's razor. In Shavlik, J. W. & Dietterich, T. G., editors, Readings in Machine Learning, pages 201-204. Morgan Kaufmann.
Board, R. & Pitt, L. (1992). On the necessity of Occam algorithms. Theoretical Computer Science, 100(1):157-184.
Daniel G.Bobrow. (1967). Natural language input for a computer problem solving system. In Minsky, M. L., editor, Semantic Information Processing, pages 133-215. MIT Press, Cambridge, Massachusetts.
Daniel G.Bobrow. & Raphael, B. (1974). New programming languages for artificial intelligence research. Computing Surveys, 6(3):153-174.
Daniel G.Bobrow., "Natural Language Input for a Computer Problem~Solving System," in Minsky, M. (ed.), {Semantic Information Processing}, pp.133-215, Cambridge, MA: MIT Press, 1968.
Daniel G.Bobrow., Mittal, S., & Stefik, M., "Expert Systems: Perils and Promise," Communications of the ACM, 29(9):880-894, 1986.
Boden, M. A. (1977). Artificial Intelligence and Natural Man. Basic Books, New York.
Boden, M. A., editor (1990). The Philosophy of Artificial Intelligence. Oxford University Press, Oxford.
Bond, A., & Gasser, L. (eds.), Readings in Distributed Artificial Intelligence, San Francisco: Morgan Kaufmann, 1988.
Boole, G., An Investigation of the Laws of Thought on Which Are Founded the Mathematical Theories of Logic and Probabilities, New York: Dover Publications, 1854.
Boole, G. (1847). The Mathematical Analysis of Logic: Being an Essay towards a Calculus of Deductive Reasoning. Macmillan, Barclay, and Macmillan, Cambridge.
Boolos, G. S. (1990). On "seeing" the truth of the Gödel sentence. Behavioral and Brain Sciences, 13(4):655-656. Peer commentary on Penrose, 1990.
Boolos, G. S. & Jeffrey, R. C. (1989). Computability and Logic. Cambridge University Press, Cambridge, third edition.
Börger, E., Computability, Complexity, Logic, Amsterdam: North-Holland, 1989.
Borgida, A., Brachman, R., McGuinness, D., & Resnick, A., "CLASIC: A Structural Data Model for Objects," SIGMOD Record, 18(2):58-67, 1989.
Robert Boyer (1971). Locking: a restriction of resolution. PhD thesis, University of Texas, Austin, Texas.
Robert Boyer & Moore, J. S. (1972). The sharing of structure in theorem-proving programs. In Meltzer, B. & Michie, D., editors, Machine Intelligence 7, pages 101-116. Edinburgh University Press, Edinburgh, Scotland.
Robert Boyer & Moore, J., A Computational Logic, New York: Academic Press, 1979.
Robert Boyer & Moore, J. S. (1984). Proof checking the RSA public key encryption algorithm. American Mathematical Monthly, 91(3):181-189.
Brachman, R. J. (1979). On the epistemological status of semantic networks. In Findler, N. V., editor, Associative Networks: Representation and Use of Knowledge by Computers, pages 3-50. Academic Press, New York.
Brachman, R. J., Fikes, R. E., & Levesque, H. J. (1983). Krypton: A functional approach to knowledge representation. Computer, 16(10):67-73.
Brachman, R., & Levesque, H. (eds.), Readings in Knowledge Representation, San Francisco: Morgan Kaufmann, 1985.
Brachman, Gilbert & Levesque 1985
Brachman, R., Gilbert, V., & Levesque, H., "An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON," in Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), pp.532-539, San Francisco: Morgan Kaufmann, 1985.
Brain, A. E., et al "Graphical Data Processing Research Study and Experimental Investigation," Report No. 8 (pp.9-13) and No.9 (pp.3-10), Contract DA 36-039 SC-78343, SRI International, Menlo Park, CA, June 1962 and September 1962.
Braitenberg, V., {Vehicles: Experiments in Synthetic Psychology, Cambridge, MA: MIT Press, 1984.
Bransford, J. & Johnson, M. K. (1973). Consideration of some problems in comprehension. In Chase, W. G., editor, Visual Information Processing. Academic Press.
Ivan Bratko. (1986). Prolog Programming for Artificial Intelligence. Addison-Wesley, Reading, Massachusetts, first edition.
Ivan Bratko, {PROLOG Programming for Artificial Intelligence, second edition, Reading, MA: Addison-Wesley, 1990.
Ivan Bratko., & Michie, D., "An Advice Program for a Complex Chess Programming Task," Computer Journal, 23(4):353-359, 1980.
Bratman, M. E. (1987). Intention, Plans, and Practical Reason. Harvard University Press, Cambridge, Massachusetts.
Bratman, M. E. (1992). Planning and the stability of intention. Minds and Machines, 2(1):1-16.
{brave} Brave, S., "The Evolution of Memory and Mental Models Using Genetic Programming," in Koza, J., et al (eds.), Genetic Programming 1996: Proceedings of the First Annual Conference}, pp.261-266, Stanford University, July 28-31, 1996, Cambridge, MA: MIT Press, 1996.
Breiman, L., Friedman, J., Olshen, R., & Stone, C., Classification and Regression Trees, Belmont, CA: Wadsworth, 1984.
Brelaz, D. (1979). New methods to color the vertices of a graph. Communications of the Association for Computing Machinery, 22(4):251-256.
Bresnan, J. (1982). The Mental Representation of Grammatical Relations. MIT Press, Cambridge, Massachusetts.
Brewka, G., Dix, J., & Konolige, K., Nonmonotonic Reasoning: An Overview, CSLI Lecture Notes, No. 73, Center for the Study of Language and Information, Stanford, CA: Stanford University, 1997.
Briggs, R. (1985). Knowledge representation in Sanskrit and artificial intelligence. AI Magazine, 6(1):32-39.
Rodney Brooks "Symbolic Reasoning among 3-D Models and 2-D Images," Artificial Intelligence, 17:285-348, 1981.
Rodney Brooks "A Robust Layered Control System for a Mobile Robot," IEEE Journal of Robotics and Automation, RA-2(1):14-23, March 1986.
Rodney Brooks (1989). Engineering approach to building complete, intelligent beings. Proceedings of the SPIE-The International Society for Optical Engineering, 1002:618-625.
Brooks, R., "Elephants Don't Play Chess," Robotics and Autonomous Systems, 6:3-15, 1990. Also in Maes 1990.
Rodney Brooks "Intelligence without Representation," Artificial Intelligence, 47(1/3):139-159, January 1991.
Brooks, R. A., "Intelligence Without Reason," in Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), pp.569-595, San Francisco: Morgan Kaufmann, 1991.
Brooks, R., & Mataric, M., "Real Robots, Real Learning Problems," in Connell, J., & Mahadevan, S. (eds.), Robot Learning, Ch.~8, Boston: Kluwer Academic Publishers, 1993.
Brown, J. S. & Burton, R. (1975). Multiple representations of knowledge for tutorial reasoning. In Bobrow, D. G. & Collins, A., editors, Representation and Understanding: Studies in Cognitive Science. Academic Press, New York.
Brownston, L., Farrell, R., Kant, E., & Martin, N., Programming Expert Systems in OPS5, Reading, MA: Addison-Wesley, 1985.
Brudno, A. L. (1963). Bounds and valuations for shortening the scanning of variations. Problems of Cybernetics, 10:225-241.
Bryson, A., & Ho, Y.-C., Applied Optimal Control, New York: Blaisdell, 1969.
Bruce G. Buchanan , Sutherland, G. L., & Feigenbaum, E. A. (1969). Heuristic DENDRAL: a program for generating explanatory hypotheses in organic chemistry. In Meltzer, B., Michie, D., & Swann, M., editors, Machine Intelligence 4, pages 209-254. Edinburgh University Press, Edinburgh, Scotland.
Bruce G. Buchanan & Mitchell, T. M. (1978). Model-directed learning of production rules. In Waterman, D. A. & Hayes-Roth, F., editors, Pattern-Directed Inference Systems, pages 297-312. Academic Press, New York.
Bruce G. Buchanan, Mitchell, T. M., Smith, R. G., & Johnson, C. R. (1978). Models of learning systems. In Encyclopedia of Computer Science and Technology, volume 11. Dekker.
Bruce G. Buchanan & Shortliffe, E. (eds.), Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project, Reading, MA: Addison-Wesley, 1984.
Buchler, J., editor (1955). Philosophical Writings of Peirce. Dover, New York. .
Alan Bundy (1983). The Computer Modelling of Mathematical Reasoning. Academic Press, New York.
Bunt, H. C. (1985). The formal representation of (quasi-) continuous concepts. In Hobbs, J. R. & Moore, R. C., editors, Formal Theories of the Commonsense World, chapter 2, pages 37-70. Ablex, Norwood, New Jersey.
Burstall, R. M. (1974). Program proving as hand simulation with a little induction. In Information Processing '74, pages 308-312. Elsevier/North-Holland, Amsterdam, London, New York.
Burstall, R. M. & Darlington, J. (1977). A transformation system for developing recursive programs. Journal of the Association for Computing Machinery, 24(1):44-67.
Bylander, T. (1992). Complexity results for serial decomposability. In Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), pages 729-734, San Jose, California. AAAI Press.
Bylander, T., "An Average Case Analysis of Planning," in Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), pp.480-485, Menlo Park, CA: AAAI Press, 1993.
Bylander, T., "The Computational Complexity of Propositional STRIPS Planning," Artificial Intelligence, 69(1/2):165-204, 1994.
Caianello, E. R. (1961). Outline of a theory of thought and thinking machines. Journal of Theoretical Biology, 1:204-235.
Campbell, A. N., Hollister, V., Duda, R., & Hart, P., "Recognition of a Hidden Mineral Deposit by an Artificial Intelligence Program," Science, 217(4563):927-929, 1982.
Campbell, P. K., Johnes, K. E., Huber, R. J., Horch, K. W., & Normann, R. A. (1991). A silicon-based, 3-dimensional neural interface: manufacturing processes for an intracortical electrode array. IEEE Transactions on Biomedical Engineering, 38(8):758-768.
Canny, J. (1986). A computational approach to edge detection. IEEE Transactions on Pattern Analysis and Machine Intelligence (PAMI), 8:679-698.
Canny, J. & Reif, J. (1987). New lower bound techniques for robot motion planning problems. In IEEE FOCS, pages 39-48.
Canny, J. F. (1988). The Complexity of Robot Motion Planning. MIT Press, Cambridge, Massachusetts.
Carbonell, J. R. & Collins, A. M. (1973). Natural semantics in artificial intelligence. In Proceedings of the Third International Joint Conference on Artificial Intelligence (IJCAI-73), Stanford, California. IJCAII.
Carbonell, J., Blythe, J., Etzioni, O., Gil, Y., Kahn, D., Knoblock, C., Minton, S., Perez, A., Reilly, S., Veloso, M., & Wang, X., "PRODIGY 4.0: The Manual and Tutorial," Carnegie-Mellon University Computer Science Tech. Report CMU-CS-92-1560, Pittsburg, PA, 1992.
Rudolf Carnap On the application of inductive logic. Philosophy and Phenomenological Research, 8:133-148.
Rudolf Carnap Logical Foundations of Probability. University of Chicago Press, Chicago, Illinois.
Cassandra, Kaelbling & Littman 1994
Cassandra, A., Kaelbling, L., & Littman, M., "Acting Optimally in Partially Observable Stochastic Domains,: in Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94), pp.1023-1028, Menlo Park, CA: AAAI Press, 1994.
Chakrabarti, Ghose & DeSarkar 1986
Chakrabarti, P., Ghose, S., & DeSarkar, S., "Heuristic Search through Islands," Artificial Intelligence, 29(3):339-347, 1986.
Chakrabarti, P. P., Ghose, S., Acharya, A., & de Sarkar, S. C. (1989). Heuristic search in restricted memory. Artificial Intelligence, 41(2):197-122.
Chang, C.-L., & Lee, R., Symbolic Logic and Mechanical Theorem~Proving, Boston: Academic Press, 1973.
Chapman, D., "Planning for Conjunctive Goals," Artificial Intelligence, 32(3):333-377, 1987.
Chapman, D., "Penguins Can Make Cake," AI Magazine, 10(4):45-50, 1989.
Chapuis, A. & Droz, E. (1958). Automata: A Historical and Technological Study. Editions du Griffon, Neufchatel, Switzerland.
Eugene Charniak (1972). Toward a model of children's story comprehension. PhD thesis, Massachusetts Institute of Technology.
Eugene Charniak & McDermott, D. (1985). Introduction to Artificial Intelligence. Addison-Wesley, Reading, Massachusetts.
Eugene Charniak, Riesbeck, C., McDermott, D., & Meehan, J. (1987). Artificial Intelligence Programming. Lawrence Erlbaum Associates, Potomac, Maryland, second edition.
Eugene Charniak. & Goldman, R. P. (1992). A Bayesian model of plan recognition. Artificial Intelligence, 64(1):53-79.
Charniak, E., Statistical Language Learning, Cambridge, MA: MIT Press, 1993.
Chauvin, Y., & Rumelhart, D., backpropagation: Theory, Architectures, and Applications, Hillsdale, NJ: Lawrence Erlbaum, 1995.
Peter Cheeseman (1985). In defense of probability. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), pages 1002-1009, Los Angeles, California. Morgan Kaufmann.
Peter Cheeseman (1988). An inquiry into computer understanding. Computational Intelligence, 4(1):58-66.
Peter Cheeseman , Self, M., Kelly, J., & Stutz, J. (1988). Bayesian classification. In Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88), volume 2, pages 607-611, St. Paul, Minnesota. Morgan Kaufmann.
Chellas, B. F. (1980). Modal Logic: An Introduction. Cambridge University Press, Cambridge.
Chen, S., (ed.), Advances in Spatial Reasoning, Norwood, NJ: Ablex Publishing, 1990.
Cherniak, C. (1986). Minimal Rationality. MIT Press, Cambridge, Massachusetts.
Chierchia & McConnell-Ginet 1990
Chierchia, G. & McConnell-Ginet, S. (1990). Meaning and Grammar. MIT Press.
Chitrao, M. & Grishman, R. (1990). Statistical parsing of messages. In Proceedings of DARPA Speech and Natural Language Processing. Morgan Kaufman: New York.
Noam Chomsky (1956). Three models for the description of language. IRE Transactions on Information Theory, 2(3):113-124.
Noam Chomsky (1957). Syntactic Structures. Mouton, The Hague and Paris.
Noam Chomsky (1965). Aspects of the Theory of Syntax. MIT Press, Cambridge, Massachusetts.
Noam Chomsky (1980). Rules and representations. The Behavioral and Brain Sciences, 3:1-61.
Christensen, J., "A Hierarchical Planner That Generates Its Own Hierarchies," in Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), pp.1004-1009, Menlo Park, CA: AAAI Press, 1990.
Chung, K. L. (1979). Elementary Probability Theory with Stochastic Processes. Springer-Verlag, Berlin, third edition.
Alonzo Church (1936). A note on the Entscheidungsproblem. Journal of Symbolic Logic, 1:40-41 and 101-102.
Alonzo Church (1941). The Calculi of Lambda-Conversion. Princeton University Press, Princeton, New Jersey.
Church, K. (1988). A stochastic parts program and noun phrase parser for unrestricted texts. In Proceedings of the Second Conference on Applied Natural Language Processing, Austin, Texas.
Church, K. & Patil, R. (1982). Coping with syntactic ambiguity or how to put the block in the box on the table. American Journal of Computational Linguistics, 8(3-4):139-149.
Churchland, P. M. (1979). Scientific Realism and the Plasticity of Mind. Cambridge University Press, Cambridge.
Churchland, P. M. & Churchland, P. S. (1982). Functionalism, qualia, and intentionality. In Biro, J. I. & Shahan, R. W., editors, Mind, Brain and Function: Essays in the Philosophy of Mind, pages 121-145. University of Oklahoma Press, Norman, Oklahoma.
Churchland, P. S. (1986). Neurophilosophy: Toward a Unified Science of the Mind- Brain. MIT Press, Cambridge, Massachusetts.
Churchland, Ramachandran & Sejnowski 1994
Churchland, P. S., Ramachandran, V. S., & Sejnowski, T. J., "A Critique of Pure Vision," in Koch, C., & Davis, J. (eds.), Large-Scale Neuronal Theories of the Brain, pp.23-60, Cambridge, MA: MIT Press, 1994.
Clark, K. L. (1978). Negation as failure. In Gallaire, H. & Minker, J., editors, Logic and Data Bases, pages 293-322. Plenum, New York.
Clark, K. L. & Gregory, S. (1986). PARLOG: parallel programming in logic. ACM Transactions on Programming Languages, 8:1-49.
Clark, R. (1992). The selection of syntactic knowledge. Language Acquisition, 2(2):83-149.
Clarke, M. R. B., editor (1977). Advances in Computer Chess 1. Edinburgh University Press, Edinburgh, Scotland.
Clocksin, W., & Mellish, C., Programming in PROLOG (third edition), New York: Springer-Verlag, 1987.
Clowes, M., "On Seeing Things," Artificial Intelligence, 2:79-116, 1971.
Cobham, A. (1964). The intrinsic computational difficulty of functions. In Bar-Hillel, Y., editor, Proceedings of the 1964 International Congress for Logic, Methodology, and Philosophy of Science, pages 24-30. Elsevier/North-Holland.
Cohen, J. (1966). Human Robots in Myth and Science. Allen and Unwin, London.
Philip Cohen & Perrault, C. R., "Elements of a Plan-Based Theory of Speech Acts," Cognitive Science, 3:177-212, 1979.
Paul R. Cohen & Feigenbaum, E. (eds.), The Handbook of Artificial Intelligence, Volume 3, Reading, MA: Addison-Wesley, 1982.
Cohen, J. (1988). A view of the origins and development of PROLOG. Communications of the Association for Computing Machinery, 31:26-36.
Cohen, P., & Levesque, H., "Intention Is Choice with Commitment," Artificial Intelligence, 42(2-3):213-361, 1990.
Cohen, P., Morgan, J., & Pollack, M. (1990). Intentions in Communication. MIT Press.
Alain Colmerauer, Kanoui, H., Pasero, R., & Roussel, P. (1973). Un systéme de communication homme-machine en Français. Rapport, Groupe d'Intelligence Artificielle, Université d'Aix-Marseille II.
Alain Colmerauer (1975). Les grammaires de metamorphose. Technical report, Groupe d'Intelligence Artificielle, Université de Marseille-Luminy. Translated into English as Colmerauer, 1978.
Alain Colmerauer, "Metamorphosis Grammars," in Bolc, L. (ed.), Natural Language Communication with Computers," Berlin: Springer-Verlag. (This article is an English translation of a 1975 technical report written in French.)
Alain Colmerauer (1985). Prolog in 10 figures. Communications of the Association for Computing Machinery, 28(12):1296-1310.
Alain Colmerauer (1990). Prolog III as it actually is. In Warren, D. H. D. & Szeredi, P., editors, Logic Programming: Proceedings of the Seventh International Conference, page 766, Jerusalem. MIT Press.
Colomb, R. M. (1991). Enhancing unification in PROLOG through clause indexing. Journal of Logic Programming, 10(1):23-44.
Condon, E. U., Tawney, G. L., & Derr, W. A. (1940). Machine to play game of Nim. U.S. Patent 2,215,544, United States Patent Office, Washington, D.C.
Condon, J. H. & Thompson, K. (1982). Belle chess hardware. In Clarke, M. R. B., editor, Advances in Computer Chess 3, pages 45-54. Pergamon, New York.
Connell, J. H., " A Colony Architecture Applied to Robot Navigation," Technical Report 1151, MIT AI Lab, MIT, Cambridge, MA, June 1990.
Connell, J. H., "SSS: A Hybrid Architecture Applied to Robot Navigation," in Proc. 1992 IEEE International Conf. on Robotics and Automation, pp.2719-2724, 1992.
Connell, J., & Mahadevan, S., "Rapid Task Learning for Real Robots," in Connell, J., & Mahadevan, S. (eds.), Robot Learning, Ch.~5, Boston: Kluwer Academic Publishers, 1993.
Connell, J., & Mahadevan, S. (eds.), Robot Learning, Boston: Kluwer Academic Publishers, 1993.
Cook, S., "The Complexity of Theorem-Proving Procedures," in Proc. of the 3rd Annual ACM Symposium on Theory of Computing, pp.151-158, New York: Association for Computing Machinery, 1971.
Cook, S., "Short Propositional Formulas Represent Nondeterministic Computations," Information Processing Letters, 26(5):269-270, 1988.
Cooper, R. (1983). Quantification and Syntactic Theory. D. Reidel, Dordrecht, The Netherlands.
Cooper, G., "Computational Complexity of Probabilstic Inference Using Bayesian Belief Networks (Research Note)," Artificial Intelligence, 42(2/3):393-405, 1990.
Cooper, G., & Herskovitz, E., "A Bayesian Method for the Induction of Probabilistic Networks from Data," Machine Learning, 9:309-347, 1992
Copeland, J. (1993). Artificial Intelligence: A Philosophical Introduction. Blackwell, Oxford.
Cormen, Leiserson & Rivest 1990
Cormen, T., Leiserson, C., & Rivest, R., Introduction to Algorithms, Cambridge, MA, and New York: MIT Press and McGraw-Hill, 1990.
Cover, T., & Thomas, A., Elements of Information Theory, New York: John Wiley & Sons, 1991.
Covington, M. A. (1994). Natural Language Processing for Prolog Programmers. Prentice-Hall, Englewood Cliffs, New Jersey.
Cowan, J. D. & Sharp, D. H. (1988a). Neural nets. Quarterly Reviews of Biophysics, 21:365-427.
Cowan, J. D. & Sharp, D. H. (1988b). Neural nets and artificial intelligence. Daedalus, 117:85-121.
Cox, R. T. (1946). Probability, frequency, and reasonable expectation. American Journal of Physics, 14(1):1-13.
Cragg, B. G. & Temperley, H. N. V. (1954). The organization of neurones: A cooperative analogy. EEG and Clinical Neurophysiology, 6:85-92.
Cragg, B. G. & Temperley, H. N. V. (1955). Memory: The analogy with ferromagnetic hysteresis. Brain, 78(II):304-316.
Craik, K. J. W. (1943). The Nature of Explanation. Cambridge University Press, Cambridge.
Crevier, D. (1993). AI: The Tumultuous History of the Search for Artificial Intelligence. Basic Books, New York.
Crockett, L. (1994). The Turing Test and the Frame Problem: AI's Mistaken Understanding of Intelligence. Ablex, Norwood, New Jersey.
Cullingford, R. E. (1981). Integrating knowledge sources for computer `understanding' tasks. IEEE Transactions on Systems, Man and Cybernetics, SMC-11.
Currie, K., & Tate, A., "O-PLAN: The Open Planning Architecture, Artificial Intelligence, 2(1):49-86, 1991.
Curry, H. B. & Feys, R. (1958). Combinatory Logic, volume 1. Elsevier/North-Holland, Amsterdam, London, New York.
Cybenko, G. (1988). Continuous valued neural networks with two hidden layers are sufficient. Technical report, Department of Computer Science, Tufts University, Medford, Massachusetts.
Cybenko, G. (1989). Approximation by superpositions of a sigmoidal function. Mathematics of Controls, Signals, and Systems, 2:303-314.
Dagum, P. & Luby, M. (1993). Approximating probabilistic inference in Bayesian belief networks is NP-hard. Artificial Intelligence, 60(1):141-153.
Dahl, O.-J., Myrhaug, B., & Nygaard, K. (1970). (Simula 67) common base language. Technical Report N. S-22, Norsk Regnesentral (Norwegian Computing Center), Oslo.
Dantzig, G. B. (1960). On the significance of solving linear programming problems with some integer variables. Econometrica, 28:30-44.
Darwiche, A. Y. & Ginsberg, M. L. (1992). A symbolic generalization of probability theory. In Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), pages 622-627, San Jose, California. AAAI Press.
Davidson, D. (1980). Essays on Actions and Events. Oxford University Press, Oxford.
Davies, T. (1985). Analogy. Informal Note IN-CSLI-85-4, Center for the Study of Language and Information (CSLI), Stanford, California.
Davies, T. R. & Russell, S. J. (1987). A logical approach to reasoning by analogy. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), volume 1, pages 264-270, Milan, Italy. Morgan Kaufmann.
Davis, E. (1986). Representing and Acquiring Geographic Knowledge. Pitman and Morgan Kaufmann, London and San Mateo, California.
Davis, E. (1990). Representations of Commonsense Knowledge. Morgan Kaufmann, San Mateo, California.
Davis, M. (1957). A computer program for Presburger's algorithm. In Summer Institute for Symbolic Logic, pages 215-233.
Davis, M., & Putnam, H., "A Computing Procedure for Quantification Theory," Journ. Assoc. of Comp. Mach., 7(3):201-215, 1960.
Randall Davis "Meta-Rules: Reasoning about Control," Artificial Intelligence, 15(3):179-222, 1980.
Randall Davis & Lenat, D. B. (1982). Knowledge-Based Systems in Artificial Intelligence. McGraw-Hill, New York.
Dayan, P. (1992). The convergence of TDlambda for general lambda. Machine Learning, 8(3-4):341-362.
de Dombal, F. T., Leaper, D. J., Horrocks, J. C., & Staniland, J. R. (1974). Human and computer-aided diagnosis of abdominal pain: Further report with emphasis on performance of clinicians. British Medical Journal, 1:376-380.
de Dombal, F. T., Staniland, J. R., & Clamp, S. E. (1981). Geographical variation in disease presentation. Medical Decision Making, 1:59-69.
de Finetti, B. (1937a). Foresight: Its logical laws, its subjective sources. In Kyburg, H. E. & Smokler, H. E., editors, Studies in Subjective Probability, pages 55-118. Krieger, New York. .
de Finetti, B. (1937b). Le prévision: ses lois logiques, ses sources subjectives. Ann. Inst. Poincaré, 7:1-68. Translated into English as de Finetti, 1937a.
de Groot, A. D. (1946). Het Denken van den Schaker. Elsevier/North-Holland, Amsterdam, London, New York. Translated as de Groot, 1978.
de Groot, A. D. (1978). Thought and Choice in Chess. Mouton, The Hague and Paris, second edition. .
de Kleer, J. (1975). Qualitative and quantitative knowledge in classical mechanics. Technical Report AI-TR-352, MIT Artificial Intelligence Laboratory.
de Kleer, J., Doyle, J., Steele, G. L., & Sussman, G. J. (1977). AMORD: explicit control of reasoning. SIGPLAN Notices, 12(8):116-125.
de Kleer, J. & Brown, J. S. (1985). A qualitative physics based on confluences. In Hobbs, J. R. & Moore, R. C., editors, Formal Theories of the Commonsense World, chapter 4, pages 109-183. Ablex, Norwood, New Jersey.
de Kleer, J., "An Assumption-Based TMS," Artificial Intelligence, 28(2):127-162, 1986.
de Kleer, J., "Extending the ATMS," Artificial Intelligence, 28(2):163-196, 1986.
de Kleer, J., "Problem Solving with the ATMS," Artificial Intelligence, 28(2):197-224, 1986.
De Morgan, A. (1864). On the syllogism IV and on the logic of relations. Cambridge Philosophical Transactions, x:331-358.
De Raedt, L. (1992). Interactive Theory Revision: An Inductive Logic Programming Approach. Academic Press, New York.
Thomas Dean & Boddy, M., "An Analysis of Time-Dependent Planning," in Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88), nl pp.49-54, Menlo Park, CA: AAAI Press, 1988.
Thomas Dean, Firby, J., & Miller, D. (1989). Hierarchical planning involving deadlines, travel time, and resources. Computational Intelligence, 3.
Thomas Dean & Kanazawa, K. (1989). A model for reasoning about persistence and causation. Computational Intelligence, 5(3):142-150.
Thomas Dean & Wellman, M., Planning and Control, San Francisco: Morgan Kaufmann, 1991.
Thomas Dean, Basye, K., & Kaelbling, L., "Uncertainty in Graph-Based Map Learning," in Connell, J., & Mahadevan, S. (eds.), {Robot Learning}, Ch.~7, Boston: Kluwer Academic Publishers, 1993.
Thomas Dean, Kaelbling, L. P., Kirman, J., & Nicholson, A. (1993). Planning with deadlines in stochastic domains. In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), pages 574-579, Washington, D.C. AAAI Press.
Debreu, G. (1960). Topological methods in cardinal utility theory. In Arrow, K. J., Karlin, S., & Suppes, P., editors, Mathematical Methods in the Social Sciences, 1959. Stanford University Press, Stanford, California.
Rina Dechter & Pearl, J. (1985). Generalized best-first search strategies and the optimality of A*. Journal of the Association for Computing Machinery, 32(3):505-536.
Rina Dechter "Bucket Elimination: A Unifying Framework for Probabilistic Inference," in Proceedings of the Twelfth Conference on Uncertainty in AI, pp.211-219, San Francisco: Morgan Kaufmann, 1996.
DeGroot, M. H. (1970). Optimal Statistical Decisions. McGraw-Hill, New York.
DeGroot, M. H. (1989). Probability and Statistics. Addison-Wesley, Reading, Massachusetts, second edition. Reprinted with corrections.
Gerald Dejong (1981). Generalizations based on explanations. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence (IJCAI-81), pages 67-69, Vancouver, British Columbia. Morgan Kaufmann.
Gerald Dejong & Mooney, R. (1986). Explanation-based learning: An alternative view. Machine Learning, 1:145-176.
Dempster, A. P., "A Generalization of Bayesian Inference," Journal of the Royal Statistical Society, Series B, 30:205-247, 1968.
Dempster, A., Laird, N., & Rubin, D., "Maximum Likelihood from Incomplete Data via the EM Algorithm," Journal of the Royal Statistical Society, Series B, 39:1-38, 1977.
Daniel Dennett (1969). Content and Consciousness. Routledge and Kegan Paul, London.
Daniel Dennett "Intentional Systems," The Journal of Philosophy, 68(4):87-106, 1971.
Daniel Dennett (1978a). Brainstorms: Philosophical Essays on Mind and Psychology. MIT Press, Cambridge, Massachusetts, first edition.
Daniel Dennett (1978b). Why you can't make a computer that feels pain. Synthese, 38(3).
Daniel Dennett (1984). Cognitive wheels: the frame problem of AI. In Hookway, C., editor, Minds, Machines, and Evolution: Philosophical Studies, pages 129-151. Cambridge University Press, Cambridge.
Daniel Dennett (1986). The moral first aid manual. Tanner lectures on human values, University of Michigan.
Daniel Dennett Darwin's Dangerous Idea, New York: Simon & Schuster, 1995.
Deo, N. & Pang, C. (1982). Shortest path algorithms: Taxonomy and annotation. Technical Report CS-80-057, Computer Science Department, Washington State University.
Descotte, Y. & Latombe, J. C. (1985). Making compromises among antagonist constraints in a planner. Artificial Intelligence, 27:183-217.
Deutsch, J. A., The Structural Basis of Behavior, Chicago: The University of Chicago Press, 1960.
Devanbu, P., Brachman, R. J., Selfridge, P. G., & Ballard, B. W. (1991). LaSSIE: a knowledge-based software information system. Communications of the Association for Computing Machinery, 34(5):34-49.
Devlin, K. (1991). Logic and Information. Cambridge University Press.
Dickmanns, E. D. & Zapp, A. (1987). Autonomous high speed road vehicle guidance by computer vision. In Isermann, R., editor, Automatic Control-World Congress, 1987: Selected Papers from the 10th Triennial World Congress of the International Federation of Automatic Control, pages 221-226, Munich, Germany. Pergamon.
Thomas Dietterich (1990). Machine learning. Annual Review of Computer Science, 4.
Thomas Dietterich & Bakiri, G., "Error-Correcting Output Codes: A General Method for Improving Multiclass Inductive Learning Programs," in Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), nl pp. 572-577, Menlo Park, CA: AAAI Press. 1991.
Thomas Dietterich & Bakiri, G., "Solving Multiclass Learning Problems via Error-Correcting Output Codes," Journal of Artificial Intelligence Research, 2:263-286, 1995.
Edsger W. Dijkstra "A Note on Two Problems in Connection with Graphs," Numerische Mathematik, (1):269-271, 1959.
Dincbas, M. & LePape, J.-P. (1984). Metacontrol of logic programs in METALOG. In Proceedings of the International Conference on Fifth-Generation Computer Systems, Tokyo. Elsevier/North-Holland.
Dingwell, W. O. (1988). The evolution of human communicative behavior. In Newmeyer, F. J., editor, Linguistics: The Cambridge Survey, Vol. III, pages 274-313. Cambridge University Press.
Doran, J., & Michie, D., "Experiments with the Graph Traverser Program," Proc. Royal Society of London, vol.294 (series A), pp.235-259, 1966.
Dowling, W., & Gallier, J., "Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulas," Joural of Logic Programming, (3):267-284, 1984.
Dowty, D., Wall, R., & Peters, S. (1991). Introduction to Montague Semantics. D. Reidel, Dordrecht, The Netherlands.
Jon Doyle "A Truth Maintenance System," Artificial Intelligence, 12(3):231-272, 1979. (Reprinted in Webber, B., & Nilsson, N. (eds.), Readings in Artificial Intelligence, San Francisco: Morgan Kaufmann, 1981.)
Jon Doyle (1980). A model for deliberation, action, and introspection. Technical Report AI-TR-581, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, Massachusetts. Republished PhD dissertation.
Jon Doyle (1983). What is rational psychology? Toward a modern mental philosophy. AI Magazine, 4(3):50-53.
Jon Doyle & Patil, R. S. (1991). Two theses of knowledge representation: language restrictions, taxonomic classification, and the utility of representation services. Artificial Intelligence, 48(3):261-297.
Drabble, B. (1990). Mission scheduling for spacecraft: Diaries of T- SCHED. In Expert Planning Systems, pages 76-81. Institute of Electrical Engineers.
Draper, D., Hanks, S., & Weld, D. (1994). Probabilistic planning with information gathering and contingent execution. In Proceedings 2nd AIPS.
Hubert Dreyfus (1972). What Computers Can't Do: A Critique of Artificial Reason. Harper and Row, New York, first edition.
Hubert Dreyfus (1979). What Computers Can't Do: The Limits of Artificial Intelligence. Harper and Row, New York, revised edition.
Hubert Dreyfus What Computers Still Can't Do: A Critique of Artificial Reason, Cambridge, MA: MIT Press, 1992.
Hubert Dreyfus & Dreyfus, S., Mind over Machine: The Power of Human Intuition and Expertise in the Era of the Computer, (with T. Athanasiou), Oxford: Blackwell, 1986.
Dreyfus, S. E. (1969). An appraisal of some shortest-paths algorithms. Operations Research, 17:395-412.
Dubois, D. & Prade, H. (1994). A survey of belief revision and updating rules in various uncertainty models. International Journal of Intelligent Systems, 9(1):61-100.
Duda, R. O., Hart, P. E., & Nilsson, N., "Subjective Bayesian Methods for Rule-Based Inference Systems," Proc. AFIPS Nat. Computer Conference}, vol. 47:1075-1082, 1976. (Reprinted in Webber, B., and Nilsson, N. (eds.), {Readings in Artificial Intelligence, San Francisco: Morgan Kaufmann, 1981.)
Duda, R., Gaschnig, J., & Hart, P. (1979). Model design in the PROSPECTOR consultant system for mineral exploration. In Michie, D., editor, Expert Systems in the Microelectronic Age, pages 153-167. Edinburgh University Press, Edinburgh, Scotland.
Duda, R. O., Hart, P. E., & Stork, D., Pattern Classification, second edition, New York: John Wiley & Sons, 1998.
Dyer, M. (1983). In-Depth Understanding. MIT Press. .
Dym, C., & Levitt, R., Knowledge-Based Systems in Engineering, New York: McGraw-Hill, 1991.
Dzeroski, S., Muggleton, S., & Russell, S. J. (1992). PAC-learnability of determinate logic programs. In Proceedings of the Fifth Annual ACM Workshop on Computational Learning Theory (COLT-92), Pittsburgh, Pennsylvania. ACM Press.
Earley, J. (1970). An efficient context-free parsing algorithm. Communications of the Association for Computing Machinery, 13(2):94-102.
Ebeling, C. (1987). All the Right Moves. MIT Press, Cambridge, Massachusetts.
Edmonds, J. (1962). Covers and packings in a family of sets. Bulletin of the American Mathematical Society, 68:494-499.
Edmonds, J. (1965). Paths, trees, and flowers. Canadian Journal of Mathematics, 17:449-467.
Edwards, P., editor (1967). The Encyclopedia of Philosophy. Macmillan, London.
{elkan} Elkan, C., "Reasoning about Action in First-Order Logic," in Proc. of the Ninth Biennial Conf. of the Canadian Society for Computational Studies of Intelligence, pp.221-227, San Francisco, Morgan Kaufmann, 1992.
Elkan, C., "The Paradoxical Success of Fuzzy Logic," in Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), pp.698-703, Menlo Park, CA: AAAI Press. 1993.
Elman, J., "Finding Structure in Time," Cognitive Science, 14:179-211, 1990.
Emerson, E., "Temporal and Modal Logic," in van Leeuwen, J. (ed.), Handbook of Theoretical Computer Science, pp.995-1072, Amsterdam: North-Holland, 1989.
Empson, W. (1953). Seven Types of Ambiguity. New Directions.
Enderton, H., A Mathematical Introduction to Logic, New York: Academic Press, 1972.
Engelberger, J. F. (1980). Robotics in Practice. Amacom, New York.
Engelberger, J. F. (1989). Robotics in Service. MIT Press, Cambridge, Massachusetts.
Ephrati, Pollack & Milshtein 1996
Ephrati, E., Pollack, M., & Milshtein, M., "A Cost-Directed Planner: Preliminary Report," in Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96), pp.1194-1201, Menlo Park, CA: AAAI Press, 1996.
Erman, L., Hayes-Roth, F., Lesser, V., & Reddy, R., "The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty," Computing Surveys, 12:213-253, 1980.
Ernst, M., Millstein, T., & Weld, D., "Automatic SAT-Compilation of Planning Problems," in Proceedings of the Fifteenth International Conference on Artificial Intelligence (IJCAI-97), pp.1169-1176, San Francisco: Morgan Kaufmann, 1997.
Ernst, H. A. (1961). MH-1, a computer-operated mechanical hand. PhD thesis, Massachusetts Institute of Technology, Cambridge, Massachusetts.
Erol, K., Nau, D., & Subrahmanian, V., "On the Complexity of Domain-Independent Planning," in Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), pp.381-386, Menlo Park, CA: AAAI Press, 1992.
Erol, K., Hendler, J., & Nau, D., "HTN Planning: Complexity and Expressivity," in Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94), pp.1123-1128, Menlo Park, CA: AAAI Press, 1994.
Etzioni, O. (1989). Tractable decision-analytic control. In Proc. of 1st International Conference on Knowledge Representation and Reasoning, pages 114-125, Toronto, Ontario.
Etzioni, O., Hanks, S., Weld, D., Draper, D., Lesh, N., & Williamson, M. (1992). An approach to planning with incomplete information. In Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning.
Etzioni, O., "Acquiring Search-Control Knowledge via Static Analysis," Artificial Intelligence, 62(2):255-301, 1993.
Etzioni, O., & Weld, D., "A Softbot-Based Interface to the Internet," Communications of the ACM, 37(7)72-76, July 1994.
Evans, T. G., "A Program for the Solution of a Class of Geometric-Analogy Intelligence-Test Questions," in Minsky, M. (ed.), {Semantic Information Processing}, pp.271-353, Cambridge, MA: MIT Press, 1968.
Fagin R., & Halpern, J., "Belief, Awareness, and Limited Reasoning," in Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), pp.491-501, San Francisco: Morgan Kaufmann, 1985.
Fagin, R., Halpern, J., Moses, Y., & Vardi, M., {Reasoning about Knowledge}, Cambridge, MA: MIT Press, 1995.
Fahlman, S. E. (1974). A planning system for robot construction tasks. Artificial Intelligence, 5(1):1-49.
Fahlman, S. E. (1979). NETL: A System for Representing and Using Real-World Knowledge. MIT Press, Cambridge, Massachusetts.
Farhat, N. H., Psaltis, D., Prata, A., & Paek, E. (1985). Optical implementation of the Hopfield model. Applied Optics, 24:1469-1475. Reprinted in Anderson & Rosenfeld, 1988.
Faugeras, O., Three-Dimensional Computer Vision: A Geometric Viewpoint, Cambridge, MA: MIT Press, 1993.
Edward A .Feigenbaum (1961). The simulation of verbal learning behavior. Proceedings of the Western Joint Computer Conference, 19:121-131. Reprinted in Feigenbaum & Feldman, 1963.pp. 297-309
Edward A .Feigenbaum & Feldman, J. (eds.), Computers and Thought. New York: McGraw-Hill, 1963.
Edward A .Feigenbaum, Buchanan, B. G., & Lederberg, J. (1971). On generality and problem solving: A case study using the DENDRAL program. In Meltzer, B. & Michie, D., editors, Machine Intelligence 6, pages 165-190. Edinburgh University Press, Edinburgh, Scotland.
Feigenbaum, McCorduck & Nii 1988
Edward A .Feigenbaum, McCorduck, P., & Nii, H. P., {The Rise of the Expert Company: How Visionary Compaines Are Using Artificial Intelligence to Achieve Higher Productivity and Profits, New York: Times Books, 1988.
Edward A .Feigenbaum & Shrobe, H. (1993). The Japanese national fifth generation project: introduction, survey, and evaluation. Future Generation Computer Systems, 9(2):105-117.
Feldman, J. A. & Sproull, R. F. (1977). Decision theory and artificial intelligence II: The hungry monkey. Technical report, Computer Science Department, University of Rochester.
Feldman, J. A. & Yakimovsky, Y. (1974). Decision theory and artificial intelligence I: Semantics-based region analyzer. Artificial Intelligence, 5(4):349-371.
Feller, W., An Introduction to Probability Theory and Applications, vol.1, New York: John Wiley & Sons, 1968.
Richard Fikes & Nisson, N., "{STRIPS}: A New Approach to the Application of Theorem Proving to Problem~Solving," Artificial Intelligence, 2(3/4):189-208, 1971.
Richard Fikes & Hart, P., & Nilsson, N., "Learning and Executing Generalized Robot Plans," Artificial Intelligence, 3(4):251-288, 1972.
Richard Fikes & Nilsson, N. J. (1993). STRIPS, a retrospective. Artificial Intelligence, 59(1-2):227-232.
Findlay, J. N. (1941). Time: A treatment of some puzzles. Australasian Journal of Psychology and Philosophy, 19(3):216-235.
Finin, T., Labrou, Y., & Mayfield, J., "KQML as an Agent Communication Language," in Bradshaw, J. (ed.), Software Agents, Cambridge, MA: MIT Press, 1997.
Firby, R. J., & Kahn, R., "An Architecture for Vision and Action," in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), pp.72-79, San Francisco: Morgan Kaufmann, 1995.
Fischer, M. J. & Ladner, R. E. (1977). Propositional modal logic of programs. In Proceedings of the 9th ACM Symposium on the Theory of Computing, pages 286-294.
Fisher, R. A. (1922). On the mathematical foundations of theoretical statistics. Philosophical Transactions of the Royal Society of London, Series A 222:309-368.
Fischler, M. A., & Firschein, O. (eds.), Readings in Computer Vision: Issues, Problems, Principles, and Paradigms, San Francisco: Morgan Kaufmann, 1987.
Fleischmann, R., et al "Whole-Genome Random Sequencing and Assembly of Haemophilus influenzae Rd," Science, 269:496-512, July 28, 1995.
Floyd, R. W. (1962a). Algorithm 96: Ancestor. Communications of the Association for Computing Machinery, 5:344-345.
Floyd, R. W. (1962b). Algorithm 97: Shortest path. Communications of the Association for Computing Machinery, 5:345.
Fodor, J. A. (1980). Searle on what only brains can do. Behavioral and Brain Sciences, 3:431-432. Peer commentary on Searle, 1980.
Fodor, J. A. (1983). The Modularity of Mind: An Essay on Faculty Psychology. MIT Press, Cambridge, Massachusetts.
Forbes, J., Huang, T., Kanazawa, K., & Russell, S., "The BATmobile: Towards a Bayesian Automatic Taxi," in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), pp.1878-1885, San Francisco: Morgan Kaufmann, 1995.
Kenneth Forbus (1985). The role of qualitative dynamics in naive physics. In Hobbs, J. R. & Moore, R. C., editors, Formal Theories of the Commonsense World, chapter 5, pages 185-226. Ablex, Norwood, New Jersey.
Kenneth Forbus & de Kleer, J. (1993). Building Problem Solvers. MIT Press, Cambridge, Massachusetts.
Forgy, C., "RETE: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem," Artificial Intelligence, 19(1):17-37, 1982.
Forsyth, D. & Zisserman, A. (1991). Reflections on shading. IEEE Transactions on Pattern Analysis and Machine Intelligence (PAMI), 13(7):671-679.
Mark Fox (1990). Constraint-guided scheduling: a short history of research at CMU. Computers in Industry, 14(1-3):79-88.
Mark Fox, Allen, B., & Strohm, G. (1981). Job shop scheduling: an investigation in constraint-based reasoning. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence (IJCAI-81), Vancouver, British Columbia. Morgan Kaufmann.
Mark Fox & Smith, S. F. (1984). Isis: a knowledge-based system for factory scheduling. Expert Systems, 1(1):25-49.
Frean, M. (1990). The upstart algorithm: A method for constructing and training feedforward neural networks. Neural Computation, 2:198-209.
Frege, G., "Begriffsschrift, a Formula Language Modelled upon That of Arithmetic, for Pure Thought," (1879), in van Heijenoort,~J. (ed.), From Frege to G"{o}del: A Source Book in Mathematical Logic, 1879-1931, pp.1-82, Cambridge, MA: Harvard University Press, 1967.
Friedberg, R., Dunham, B., & North, T. (1959). A learning machine: Part II. IBM Journal of Research and Development, 3(3):282-287.
Friedberg, R. M. (1958). A learning machine: Part I. IBM Journal, 2:2-13.
Friedman, N., "Learning Belief Networks in the Presence of Missing Values and Hidden Variables," Proceedings of the Fourteenth International Conference on Machine Learning (ICML '97), San Francisco: Morgan Kaufmann, 1997.
Friedman, N., & Goldszmidt, M., "Learning Bayesian Networks with Local Structure," in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence, pp.252-262, San Francisco: Morgan Kaufmann, 1996.
Friedman, N., & Goldszmidt, M., "Building Classifiers Using Bayesian Networks," Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96), pp.1277-1284, Menlo Park, CA: AAAI Press, 1996.
Fu, L. M., Neural Networks in Computer Intelligence, New York: McGraw-Hill, 1994.
Fu, K.-S. & Booth, T. L. (1986a). Grammatical inference: Introduction and survey-part I. IEEE Transactions on Pattern Analysis and Machine Intelligence, PAMI-8(3):343-359. Reprinted from IEEE Trans. on Systems, Man, and Cybernetics, Vol. SMC-5, No. 1, January 1975.
Fu, K.-S. & Booth, T. L. (1986b). Grammatical inference: Introduction and survey-part ii. IEEE Transactions on Pattern Analysis and Machine Intelligence, PAMI-8(3):360-375. Reprinted from IEEE Trans. on Systems, Man, and Cybernetics, Vol. SMC-5, No. 4, January 1975.
Fuchs, J. J., Gasquet, A., Olalainty, B., & Currie, K. W. (1990). PlanERS-1: An expert planning system for generating spacecraft mission plans. In First International Conference on Expert Planning Systems, pages 70-75, Brighton, United Kingdom. Institute of Electrical Engineers.
Fung, R. & Chang, K. C. (1989). Weighting and integrating evidence for stochastic simulation in ayesian networks. In Proceedings UAI-89.
Furukawa, K. (1992). Summary of basic research activities of the FGCS project. In Fifth Generation Computer Systems 1992, volume 1, pages 20-32, Tokyo. IOS Press.
Furuta, K., Ochiai, T., & Ono, N. (1984). Attitude control of a triple inverted pendulum. International Journal of Control, 39(6):1351-1365.
Gabbay, D. M. (1991). Abduction in labelled deductive systems: A conceptual abstract. In Kruse, R. & Siegel, P., editors, Symbolic and Quantitative Approaches to Uncertainty: Proceedings of European Conference ECSQAU, pages 3-11. Springer-Verlag.
Gallaire, H. & Minker, J., editors (1978). Logic and Databases. Plenum, New York.
Gallier, J. H. (1986). Logic for Computer Science: Foundations of Automatic Theorem Proving. Harper and Row, New York.
Galton, A., Temporal Logics and Their Applications, London: Academic Press, 1987.
Gamba, A., Gamberini, L., Palmieri, G., & Sanna, R. (1961). Further experiments with PAPA. Nuovo Cimento Supplemento, 20(2):221-231.
Garding, J. (1992). Shape from texture for smooth curved surfaces in perspective projection. Journal of Mathematical Imaging and Vision, 2(4):327-350.
Gardner, M. (1968). Logic Machines, Diagrams and Boolean Algebra. Dover, New York.
Gardner, M., Logic Machines and Diagrams (second edition). Chicago: The University of Chicago Press, 1982.
Garey, M., & Johnson, D., Computers and Intractability, New York: W. H. Freeman, 1979.
Garside, R., Leech, F., & Sampson, G., editors (1987). The Computational Analysis of English. Longman.
Gaschnig, J., "Performance Measurement and Analysis of Certain Search Algorithms," Carnegie-Mellon University Computer Science Tech. Report CMU-CS-79-124, Pittsburg, PA, 1979.
Gaschnig, J., "A Problem-Similarity Approach to Devising heuristics: First Results," in Proceedings of the Sixth International Joint Conference on Artificial Intelligence (IJCAI-79), pp.301-307, San Francisco: Morgan Kaufmann, 1979. (Reprinted in Webber, B., & Nilsson, N. (eds.), Readings in Artificial Intelligence, pp.23-29, San Francisco: Morgan Kaufmann, 1981.)
Gat, E., "Integrating Planning and Reacting in a Heterogeneous Asynchronous Architecture for Controlling Real-World Mobile Robots," in Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), pp. 809-815, Menlo Park, CA: AAAI Press, 1992.
Gauss, K. F. (1809). Theoria Motus Corporum Coelestium in Sectionibus Conicis Solem Ambientium. Sumtibus F. Perthes et I. H. Besser, Hamburg.
Gazdar, G. (1989). COMIT =>* PATR. In Wilks, Y., editor, Theoretical Issues in Natural Language Processing.
Gazdar, G., Klein, E., Pullum, G., & Sag, I. (1985). Generalized Phrase Structure Grammar. Blackwell, Oxford.
Geffner, H. (1992). Default Reasoning: Causal and Conditional Theories. MIT Press, Cambridge, Massachusetts.
Gelb, A. (1974). Applied Optimal Estimation. MIT Press, Cambridge, Massachusetts.
Gelernter, H., "Realization of a Geometry Theorem-Proving Machine," Proc. Intern. Conf. Inform Proc.}, UNESCO House, Paris, pp.273-282, 1959. (Reprinted in Feigenbaum, E., & Feldman, J. (eds.), Computers and Thought, pp.134-152, New York: McGraw-Hill, 1963.)
Gelernter, H., Hansen, J. R., & Gerberich, C. L. (1960). A FORTRAN-compiled list processing language. Journal of the Association for Computing Machinery, 7(2):87-101.
Michael Gelfond & Lifschitz, V. (1988). Compiling circumscriptive theories into logic programs. In Reinfrank, M., de Kleer, J., Ginsberg, M. L., & Sandwall, E., editors, Non-Monotonic Reasoning: 2nd International Workshop Proceedings, pages 74-99, Grassau, Germany. Springer-Verlag.
Michael Gelfond & Lifschitz, V. (1991). Classical negation in logic programs and disjunctive databases. New Generation Computing, 9(3-4):365-385.
Michael Genesereth & Smith, D. (1981). Meta-level architecture. Memo HPP-81-6, Computer Science Department, Stanford University, Stanford, California.
Michael Genesereth (1984). The use of design descriptions in automated diagnosis. Artificial Intelligence, 24(1-3):411-436.
Michael Genesereth & Nilsson, N., Logical Foundations of Artificial Intelligence, San Francisco: Morgan Kaufmann, 1987.
Michael Genesereth & Fikes, R. (eds.), Knowledge Interchange Format, Version 3.0 Reference Manual, Computer Science Department, Stanford University, Technical Report Logic-92-1, June 1992.
Michael Genesereth & Ketchpel, S. P. (1994). Software agents. Communications of the Association for Computing Machinery, 37(7).
Gentner, D., "Structure Mapping: A Theoretical Framework for Analogy," Cognitive Science, 7:55-170, 1983.
Gentzen, G. (1934). Untersuchungen über das logische Schliessen. Mathematische Zeitschrift, 39:176-210, 405-431.
Georgeff, M. P. & Lansky, A. L., editors (1986). Reasoning about Actions and Plans: Proceedings of the 1986 Workshop, Timberline, Oregon. Morgan Kaufmann.
Gibson, J. J., The Perception of the Visual World, Boston: Houghton Mifflin, 1950.
Gibson, J. J., Olum, P., & Rosenblatt, F. (1955). Parallax and perspective during aircraft landings. American Journal of Psychology, 68:372-385.
Gibson, J. J., The Ecological Approach to Visual Perception, Boston: Houghton Mifflin, 1979.
Gil, Y., Acquiring Domain Knowledge for Planning by Experimentation, Ph.D. dissertation, School of Computer Science, Carnegie-Mellon University, 1992.
Gilmore, P. C. (1960). A proof method for quantification theory: Its justification and realization. IBM Journal of Research and Development, 4:28-35.
Matthew Ginsberg (ed.), Redings in Nonmonotonic Reasoning, San Francisco: Morgan Kaufmann, 1987.
Matthew Ginsberg (1989). Universal planning: An (almost) universally bad idea. AI Magazine, 10(4):40-44.
Matthew Ginsberg, Frank, M., Halpin, M., & Torrance, M., "Search Lessons Learned from Crossword Puzzles," in Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), pp.210-215, Menlo Park, CA: AAAI Press, 1990.
Matthew Ginsberg & Harvey. W. D., "Iterative Broadening," Artificial Intelligence, 55(2/3):367-383, 1992.
Matthew Ginsberg "Dynamic Backtracking," Journal of Artificial Intelligence Research, 1:25-46, 1993.
Matthew Ginsberg (1993). Essentials of Artificial Intelligence. Morgan Kaufmann, San Mateo, California.
Matthew Ginsberg "Do Computers Need Commonsense?" in Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR-96), pp.620-626, San Francisco: Morgan Kaufmann, 1996.
Giralt, G., Alami, R., Chatila, R., & Freedman, P. (1991). Remote operated autonomous robots. In Intelligent Robotics. Proceedings of the International Symposium, volume 1571, pages 416-427, Bangalore, India. International Society for Optical Engineering (SPIE).
Glanc, A. (1978). On the etymology of the word "robot". SIGART Newsletter, 67:12
Glesner, S., & Koller, D., "Constructing Flexible Dynamic Belief Networks from First-Order Probabilistic Knowledge Bases," Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU), Fribourg, Switzerland, July 1995, in Froidevaux, C., & Kohlas, J. (eds.), Lecture Notes in Artificial Intelligence, pp.217-226, Berlin: Springer-Verlag, 1995.
Glover, F. (1989). Tabu search: 1. ORSA Journal on Computing, 1(3):190-206.
Kurt Gödel (1930). Über die Vollständigkeit des Logikkalküls. PhD thesis, University of Vienna. .
Kurt Gödel (1931). Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik, 38:173-198.
Gogic, G., Kautz, H., Papadimitriou, C., & Selman, B., "The Comparative Linguistics of Knowledge Representations," in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), pp.862-869, San Francisco: Morgan Kaufmann, 1995.
Gold, E. M. (1967). Language identification in the limit. Information and Control, 10:447-474.
Goldberg, A., "On the Complexity of the Satisfiability Problem," Courant Computer Science Report No.16, New York University, NY, 1979.
Goldberg, D., Genetic Algorithms in Search, Optimization, and Machine Learning, Reading, MA: Addison-Wesley, 1989. bibitem
Goldman, R. P. & Charniak, E. (1992). Probabilistic text understanding. Statistics and Computing, 2(2):105-114. .
Goldszmidt, Morris & Pearl 1990
Goldszmidt, M., Morris, P., & Pearl, J., "A Maximum Entropy Approach to Nonmonotonic Reasoning," in Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), pp.646-652, Menlo Park, CA: AAAI Press, 1990.
Good, I. J. (1950). Contribution to the discussion of Eliot Slater's "Statistics for the chess computer and the factor of mobility". In Symposium on Information Theory, page 199, London. Ministry of Supply.
Good, I. J. (1961). A causal calculus. British Journal of the Philosophy of Science, 11:305-318. Reprinted in Good, 1983.
Good, I. J. (1983). Good Thinking: The Foundations of Probability and Its Applications. University of Minnesota Press, Minneapolis, Minnesota. .
Goodman, N. (1954). Fact, Fiction and Forecast. University of London Press, London, first edition.
Goodman, N. (1977). The Structure of Appearance. D. Reidel, Dordrecht, The Netherlands, third edition.
Gorry, G. A. (1968). Strategies for computer-aided diagnosis. Mathematical Biosciences, 2(3-4):293-318.
Gorry, G. A., Kassirer, J. P., Essig, A., & Schwartz, W. B. (1973). Decision analysis as the basis for computer-aided management of acute renal failure. American Journal of Medicine, 55:473-484.
Gould, S. J. (1994). This view of life. Natural History, 8:10-17.
Graham, S. L., Harrison, M. A., & Ruzzo, W. L. (1980). An improved context-free recognizer. ACM Transactions on Programming Languages and Systems, 2(3):415-462.
Grayson, C. J. (1960). Decisions under uncertainty: Drilling decisions by oil and gas operators. Technical report, Division of Research, Harvard Business School, Boston.
Green, C., "Application of Theorem~Proving to Problem Solving," in Proceedings of the First International Joint Conference on Artificial Intelligence (IJCAI-69), pp.741-747, San Francisco: Morgan Kaufmann, 1969.
Green, C., "Theorem-Proving by Resolution as a Basis for Question-Answering Systems," in Meltzer, B., & Michie, D. (eds.), Machine Intelligence 4, pp.183-205, Edinburgh: Edinburgh University Press, 1969.
Greenblatt, R. D., Eastlake, D. E., & Crocker, S. D. (1967). The Greenblatt chess program. In Proceedings of the Fall Joint Computer Conference, pages 801-810.
Gregory, R., Eye and Brain: The Psychology of Seeing, New York: McGraw-Hill, 1966.
Greiner, R. (1989). Towards a formal analysis of EBL. In Proceedings of the Sixth International Machine Learning Workshop, Ithaca, NY. Morgan Kaufmann.
Grice, H. P. (1957). Meaning. Philosophical Review, 66:377-388. Reprinted in Steinberg & Jakobovits, 1971.
Grimes, J. (1975). The Thread of Discourse. Moulton.
W. Eric Grimson, Object Recognition by Computer: The Role of Geometric Constraints, Cambridge, MA: MIT Press, 1990.
Grosz, Sparck Jones & Webber 1986
Barbara Grosz, Sparck Jones, K., & Webber, B. (eds.), Readings in Natural Language Processing, San Francisco: Morgan Kaufmann, 1986.
Barbara Grosz & Sidner, C. L. (1986). Attention, intentions, and the structure of discourse. Computational Linguistics, 12(3):175-204.
Barbara Grosz, Appelt, D., Martin, P., & Pereira, F., "Team: An Experiment in the Design of Transportable Natural-Language Interfaces," Artificial Intelligence, 32(2):173-244, 1987.
Gruber, T., "Toward Principles for the Design of Ontologies Used for Knowledge Sharing," in Guarino, N., & Poli, R. (eds.), Formal Ontology in Conceptual Analysis and Knowledge Representation, Amsterdam: Kluwer Academic Publishers, 1997. (Original paper presented at the International Workshop on Formal Ontology, March 1993, Stanford Knowledge Systems Laboratory Report KSL-93-04.)
Gu, J., Parallel Algorithms and Architectures for Very Fast AI Search, Ph.D. thesis, University of Utah, 1989.
Guard, J., Oglesby, F., Bennett, J., & Settle, L. (1969). Semi-automated mathematics. Journal of the Association for Computing Machinery, 16:49-62.
Guha, R. V., & Lenat, D., "Cyc: A Midterm Report," AI Magazine, pp.35-59, Fall 1990.
Gupta, N., & Nau, D., "On the Complexity of Blocks-World Planning," Artificial Intelligence, 56(2/3):223-254, 1992.
Guzman, A., "Decomposition of a Visual Scene into Three-Dimensional Bodies," Proc. Fall Joint Computer Conference, vol.33, pp.291-304, 1968.
Haas, A. (1986). A syntactic theory of belief and action. Artificial Intelligence, 28(3):245-292.
Hacking, I. (1975). The Emergence of Probability. Cambridge University Press, Cambridge.
Hald, A. (1990). A History of Probability and Statistics and Their Applications Before 1750. Wiley, New York.
Joseph Halpern (1987). Using reasoning about knowledge to analyze distributed systems. In Traub, J. F., Grosz, B. J., Lampson, B. W., & Nilsson, N. J., editors, Annual review of computer science, volume 2, pages 37-68. Annual Reviews, Palo Alto.
Hamming, R. W. (1991). The Art of Probability for Scientists and Engineers. Addison-Wesley, Reading, Massachusetts.
Hammond, K. (1989). Case-Based Planning: Viewing Planning as a Memory Task. Academic Press.
Hanks, S., & McDermott, D., "Default Reasoning, Nonmonotonic Logics, and the Frame Problem," in Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI-86), pp.328-333, Menlo Park, CA: AAAI Press, 1986. (Reprinted in Ginsberg, M. (ed.), Readings in Nonmonotonic Reasoning, pp.390-395, San Francisco: Morgan Kaufmann, 1987.)
Hanks, S., Russell, S., & Wellman, M., editors (1994). Proc. AAAI Spring Symposium on Decision-Theoretic Planning, Stanford, California. .
Hanski, I. & Cambefort, Y., editors (1991). Dung Beetle Ecology. Princeton University Press, Princeton, New Jersey.
Hansson, O. & Mayer, A. (1989). Heuristic search as evidential reasoning. In Proceedings of the Fifth Workshop on Uncertainty in Artificial Intelligence, Windsor, Ontario. Morgan Kaufmann.
Haralick, R. & Elliot, G. (1980). Increasing tree search efficiency for constraint-satisfaction problems. Artificial Intelligence, 14(3):263-313.
Harel, D. (1984). Dynamic logic. In Gabbay, D. & Guenthner, F., editors, Handbook of Philosophical Logic, volume 2, pages 497-604. D. Reidel, Dordrecht, The Netherlands.
Harkness, K. & Battell, J. S. (1947). This made chess history. Chess Review.
Harman, G. H. (1983). Change in View: Principles of Reasoning. MIT Press, Cambridge, Massachusetts.
Harnad, S., "The Symbol Grounding Problem," Physica D, 42(1-3):335-346, 1990.
Harp, S. A., Samad, T., & Guha, A. (1990). Designing application-specific neural networks using the genetic algorithm. In Touretzky, D. S., editor, Advances in Neural Information Processing Systems II, pages 447-454. Morgan Kaufmann, San Mateo, California.
Harris, L. R. (1984). Experience with intellect: Artificial intelligence technology transfer. AI Magazine, 5(2, Summer):43-55.
Hart, P., Nilsson, N., & Raphael, B., "A Formal Basis for the Heuristic Determination of Minimum Cost Paths," IEEE Trans. Syst. Science and Cybernetics, SSC-4(2):100-107, 1968.
Hart, P., Nilsson, N., & Raphael, B., "Correction to 'A Formal Basis for the Heuristic Determination of Minimum Cost Paths,'" SIGART Newsletter, no.37, pp.28-29, December 1972.
Hart, T. P. & Edwards, D. J. (1961). The tree prune (TP) algorithm. Artificial Intelligence Project Memo 30, Massachusetts Institute of Technology, Cambridge, Massachusetts.
Harvey, W. D., Nonsystematic Backtracking Search, Ph. D. dissertation, Department of Computer Science, Stanford University, December 1994.
Haugeland, J., editor (1981). Mind Design. MIT Press, Cambridge, Massachusetts.
Haugeland, J., editor (1985). Artificial Intelligence: The Very Idea. MIT Press, Cambridge, Massachusetts.
David Haussler "Quantifying Inductive Bias: AI Learning Algorithms and Valiant's Learning Framework," Artificial Intelligence, 36:177-221, 1988. (Reprinted in Shavlik, J., & Dietterich, T. (eds.), Readings in machine Learning, pp.96-107, San Francisco: Morgan Kaufmann, 1990.)
David Haussler (1989). Learning conjunctive concepts in structural domains. Machine Learning, 4(1):7-40.
David Haussler "Probably Approximately Correct Learning," Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), pp.1101-1108, Menlo Park, CA: AAAI Press, 1990.
Hawkins, J. (1961). Self-organizing systems: A review and commentary. Proceedings of the IRE, 49(1):31-48.
Hayes, J. E. & Levy, D. N. L. (1976). The World Computer Chess Championship: Stockholm 1974. Edinburgh University Press, Edinburgh, Scotland.
Patrick Hayes (1973). Computation and deduction. In Proceedings of the Second Symposium on Mathematical Foundations of Computer Science, Czechoslovakia. Czechoslovakian Academy of Science.
Patrick Hayes "The Naive Physics Manifesto," in Michie, D. (ed.), Expert Systems in the Microelectronic Age, Edinburgh: Edinburgh University Press, 1978.
Patrick Hayes (1979). The logic of frames. In Metzing, D., editor, Frame Conceptions and Text Understanding, pages 46-61. de Gruyter, Berlin.
Patrick Hayes "The Second Naive Physics Manifesto," in Hobbs, J., & Moore, R. (eds.), Formal Theories of the Commonsense World, Ch.~1, pp.1-36, Norwood, NJ: Ablex, 1985.
Patrick Hayes "Naive Physics I: Ontology for Liquids," in Hobbs, J., & Moore, R. (eds.), Formal Theories of the Commonsense World, Ch.3, pp.71-107, Norwood, NJ: Ablex, 1985.
Patrick Hayes & Ford, K., "Turing Test Considered Harmful," in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), pp.972-977, San Francisco: Morgan Kaufmann, 1995.
Barbara Hayes-Roth "A Blackboard Architecture for Control," Artificial Intelligence, 26(3):251-321, 1985.
Barbara Hayes-Roth "An Architecture for Adaptive Intelligent Systems," Artificial Intelligence, 72(1/2):329-365, 1995.
Barbara Hayes-Roth, Washington, R., Ash, D., Hewett, R., Collinot, A., Vina, A., Seiver, A., "Guardian: An Intelligent Agent for ICU Monitoring," J. AI in medicine, 4:165-185, 1992.
Simon Haykin Neural Networks: A Comprehensive Foundation, New York: Macmillan College Publishing, 1994.
Hazan, M. (1973). The Classic Italian Cookbook. Ballantine.
Hebb, D. O. (1949). The Organization of Behavior. Wiley, New York.
Habert, M., et al "Mobility for Unmanned Ground Vehicles," in Firschein, O., & Strat, T. (eds.), Reconnaissance, Surveillance, and Target Acquisition for the Unmanned Ground Vehicle: Providing the Surveillance "Eyes" for an Autonomous Vehicle, San Francisco: Morgan Kaufmann, 1997.
David Heckerman (1986). Probabilistic interpretation for MYCIN's certainty factors. In Kanal, L. N. & Lemmer, J. F., editors, Uncertainty in Artificial Intelligence, pages 167-196. Elsevier/North-Holland, Amsterdam, London, New York.
David Heckerman Probabilistic Similarity Networks, Cambridge, MA: MIT Press, 1991.
David Heckerman & Nathwani, B., "An Evaluation of the Diagnostic Accuracy of Pathfinder," SIAM Journal on Computing, 25:56-74, 1992.
David Heckerman, Geiger, D., & Chickering, M. (1994). Learning Bayesian networks: The combination of knowledge and statistical data. Technical Report MSR-TR-94-09, Microsoft Research, Redmond, Washington.
Heckerman, Geiger & Chickering 1995
David Heckerman, Geiger, D., & Chickering, D., "Learning Bayesian Networks: The Combination of Knowledge and Statistical Data," Machine Learning, 20:3, 197-243, 1995.
David Heckerman "A Tutorial on Learning with Bayesian Networks," Microsoft Research Technical Report, MSR-TR-95-06, Redmond, WA, March 1995 (revised November 1996).
Heinsohn, J., Kudenko, D., Nebel, B., & Profitlich, H.-J., "An Empirical Analysis of Terminological Representation Systems," Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), pp.767-773, Menlo Park, CA: AAAI Press, 1992.
Held, M. & Karp, R. M. (1970). The traveling salesman problem and minimum spanning trees. Operations Research, 18:1138-1162.
Helman, D. H., editor (1988). Analogical Reasoning: Perspectives of Artificial Intelligence, Cognitive Science, and Philosophy. Kluwer, Dordrecht, The Netherlands.
Hendrix, G. G. (1975). Expanding the utility of semantic networks through partitioning. In Proceedings of the Fourth International Joint Conference on Artificial Intelligence (IJCAI-75), pages 115-121, Tbilisi, Georgia. IJCAII.
Hendrix, G., "Encoding Knowledge in partitioned Networks," in Findler,~N. (ed.), Associative Networks, pp.~51-92, New York: Academic Press, 1979.
Henrion, M., "Propagation of Uncertainty in Bayesian Networks by probabilistic Logic Sampling," in Lemmer, J., & Kanal, L. (eds.), Uncertainty in Artificial Intelligence, 2:149-163, New York: Elsevier/North-Holland, 1988.
Henrion, M., "An Introduction to Algorithms for Inference in Belief Nets," in Henrion, M., Shachter, R., Kanal, L., & Lemmer, J. (eds.), Uncertainty in Artificial Intelligence, 5, Amsterdam: North Holland, 1990.
Heppenheimer, T. A. (1985). Man makes man. In Minsky, M., editor, Robotics, pages 28-69. Doubleday, Garden City, New York.
Herbrand, J. (1930). Recherches sur la théorie de la démonstration. PhD thesis, University of Paris.
Hertz, J., Krogh, A., & Palmer, R., Introduction to the Theory of Neural Computation, Reading, MA: Addison-Wesley, 1991.
Carl Hewitt PLANNER: a language for proving theorems in robots. In Proceedings of the First International Joint Conference on Artificial Intelligence (IJCAI-69), pages 295-301, Washington, D.C. IJCAII.
Hintikka, J., Knowledge and Belief, Ithaca, NY: Cornell University Press, 1962.
Geoffrey Hinton & Anderson, J. A. (1981). Parallel Models of Associative Memory. Lawrence Erlbaum Associates, Potomac, Maryland.
Geoffrey Hinton & Sejnowski, T. (1983). Optimal perceptual inference. In Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, pages 448-453, Washington, D.C. IEEE Computer Society Press.
Geoffrey Hinton & Sejnowski, T. J. (1986). Learning and relearning in Boltzmann machines. In Rumelhart, D. E. & McClelland, J. L., editors, Parallel Distributed Processing, chapter 7, pages 282-317. MIT Press, Cambridge, Massachusetts.
Hirsh, H. (1987). Explanation-based generalization in a logic programming environment. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), Milan, Italy. Morgan Kaufmann.
Hirst, G. (1987). Semantic Interpretation Against Ambiguity. Cambridge University Press.
Jerry Hobbs & Moore, R., (eds.), Formal Theories of the Commonsense World, Norwood, NJ: Ablex, 1985.
Jerry Hobbs (1985). Ontological promiscuity. In Proceedings, 23rd Annual Meeting of the Association for Computational Linguistics, pages 61-69, Chicago, Illinois.
Jerry Hobbs, Blenko, T., Croft, B., Hager, G., Kautz, H. A., Kube, P., & Shoham, Y. (1985). Commonsense summer: Final report. Technical Report CSLI-85-35, Center for the Study of Language and Information (CSLI), Stanford, California.
Jerry Hobbs (1986). Overview of the TACITUS project. Computational Linguistics, 12(3):220-222.
Jerry Hobbs (1990). Literature and Cognition. CSLI Press, Stanford, California.
Jerry Hobbs, Croft, W., Davies, T., Edwards, D. D., & Laws, K. I. (1987). Commonsense metaphysics and lexical semantics. Computational Linguistics, 13(3-4):241-250.
Jerry Hobbs & Moore, R. C., editors (1985). Formal Theories of the Commonsense World. Ablex, Norwood, New Jersey.
Jerry Hobbs, Stickel, M., Appelt, D., & Martin, P. (1990). Interpretation as abduction. Technical Note 499, SRI International, Menlo Park, California.
Jerry Hobbs, Stickel, M. E., Appelt, D. E., & Martin, P. (1993). Interpretation as abduction. Artificial Intelligence, 63(1-2):69-142.
John Holland Adaptation in Natural and Artificial Systems, Ann Arbor: The University of Michigan Press, 1975. (Second edition printed in 1992 by MIT Press, Cambridge, MA.)
John Holland "Escaping Brittleness: The Possibilities of General-Purpose Learning Algorithms Applied to Parallel Rule-Based Systems," in Michalski, R., Carbonell, J., & Mitchell, T. (eds.), Machine Learning: An Artificial Intelligence Approach, Volume 2, Ch.~20, San Francisco: Morgan Kaufmann, 1986.
John J.Hopfield (1982). Neurons with graded response have collective computational properties like those of two-state neurons. Proceedings of the National Academy of Sciences (USA), 79:2554-2558.
Horn, A. (1951). On sentences which are true of direct unions of algebras. Journal of Symbolic Logic, 16:14-21.
Berthold Horn Shape from shading: a method for obtaining the shape of a smooth opaque object from one view. Technical Report 232, MIT Artificial Intelligence Laboratory, Cambridge, Massachusetts. .
Berthold Horn Robot Vision. MIT Press, Cambridge, Massachusetts.
Berthold Horn & Brooks, M. J. (1989). Shape from Shading. MIT Press, Cambridge, Massachusetts.
Horowitz, S., & Pavlidis, T., "Picture Segmentation by a Tree Traversal Algorithm," Jour. Assoc. Comp. Mach., 23(2):368-388, April 1976.
Horswill, I., "Polly: A Vision-Based Artificial Agent," in Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), pp.824-829, Menlo Park, CA: AAAI Press, 1993.
Eric Horvitz "Reasoning about Beliefs and Actions under Computational Resource Constraints," in Proc. of the 1987 Workshop on Uncertainty in Artificial Intelligence}, nl pp.429-444, 1987. (Also in Kanal, L, et al (eds.), Uncertainty in Artificial Intelligence 3, pp.301-324, New York: Elsevier, 1989.)
Horvitz, Breese & Henrion 1988
Eric Horvitz, Breese, J., & Henrion, M., "Decision Theory in Expert Systems and Artificial Intelligence," International Journal of Approximate Reasoning, 2:247-302, 1988.
Eric Horvitz & Heckerman, D. (1986). The inconsistent use of measures of certainty in artificial intelligence research. In Kanal, L. N. & Lemmer, J. F., editors, Uncertainty in Artificial Intelligence, pages 137-151. Elsevier/North-Holland, Amsterdam, London, New York.
Eric Horvitz, Heckerman, D. E., & Langlotz, C. P. (1986). A framework for comparing alternative formalisms for plausible reasoning. In Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI-86), volume 1, pages 210-214, Philadelphia, Pennsylvania. Morgan Kaufmann.
Eric Horvitz, Suermondt, H. J., & Cooper, G. F. (1989). Bounded conditioning: Flexible inference for decisions under scarce resources. In Proceedings of the 1989 Workshop on Uncertainty in Artificial Intelligence, pages 182-193.
Howard, R. A. (1960). Dynamic Programming and Markov Processes. MIT Press, Cambridge, Massachusetts.
Howard, R. A. (1966). Information value theory. IEEE Transactions on Systems Science and Cybernetics, SSC-2:22-26.
Howard, R. A. (1977). Risk preference. In Howard, R. A. & Matheson, J. E., editors, Readings in Decision Analysis, pages 429-465. Decision Analysis Group, SRI International, Menlo Park, California.
Howard, R. A. (1989). Microrisks for medical decision analysis. International Journal of Technology Assessment in Health Care, 5:357-370.
Howard, R. A. & Matheson, J. E. (1984). Influence diagrams. In Howard, R. A. & Matheson, J. E., editors, Readings on the Principles and Applications of Decision Analysis, pages 721-762. Strategic Decisions Group, Menlo Park, California. Article dates from 1981.
Hsu, F.-H., Anantharaman, T. S., Campbell, M. S., & Nowatzyk, A. (1990). A grandmaster chess machine. Scientific American, 263(4):44-50.
Hsu, K., Brady, D., & Psaltis, D. (1988). Experimental demonstration of optical neural computers. In Anderson, D. Z., editor, Neural Information Processing Systems, Denver 1987, pages 377-386, Denver, Colorado. American Institute of Physics.
Huang, T., Koller, D., Malik, J., Ogasawara, G., Rao, B., Russell, S., & Weber, J. (1994). Automatic symbolic traffic scene analysis using belief networks. In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94), pages 966-972, Seattle, Washington. AAAI Press.
Hubel, D., Eye, Brain, and Vision, New York: W. H. Freeman, 1988.
Hubel, D., & Wiesel, T., "Receptive Fields and Functional Architecture of Monkey Striate Cortex," Journal of Physiology (London), 195(1):215-243, March 1968.
Huberman, B. J., A Program to Play Chess End Games, Stanford University Computer Science Department Report CS 106, August 19, 1968.
Huddleston, R. D. (1988). English Grammar: An Outline. Cambridge University Press, Cambridge.
Hueckel, M., "A Local Visual Operator Which Recognizes Edges and Lines," Journal of the Assoc. for Comp. Machinery, 20(4):634-647, October 1973.
Huffman, D., "Impossible Objects as Nonsense Sentences," in Machine Intelligence 6, Meltzer, B., and Michie, D. (eds.), pp.295-323, New York: American Elsevier, 1971.
Huffman, D. A. (1971). Impossible objects as nonsense sentences. In Meltzer, B. & Michie, D., editors, Machine Intelligence 6, pages 295-324. Edinburgh University Press, Edinburgh, Scotland.
Hughes, G. E. & Cresswell, M. J. (1968). An Introduction to Modal Logic. Methuen, London.
Hughes, G. E. & Cresswell, M. J. (1984). A Companion to Modal Logic. Methuen, London.
Hume, D. (1978). A Treatise of Human Nature. Oxford University Press, Oxford, second edition. Edited by L. A. Selby-Bigge & P. H. Nidditch.
Hunt, E. B., Marin, J., & Stone, P. T. (1966). Experiments in Induction. Academic Press, New York.
Hunter, G. (1971). Metalogic: An Introduction to the Metatheory of Standard First-Order Logic. University of California Press, Berkeley and Los Angeles.
Hunter, L. & States, D. J. (1992). Bayesian classification of protein structure. IEEE Expert, 7(4):67-75.
Huttenlocher, D. P. & Ullman, S. (1990). Recognizing solid objects by alignment with an image. International Journal of Computer Vision, 5(2):195-212.
Huygens, C. (1657). Ratiociniis in ludo aleae. In van Schooten, F., editor, Exercitionum Mathematicorum. Elsevirii, Amsterdam.
Hwang, C. H. & Schubert, L. K. (1993). EL: a formal, yet natural, comprehensive knowledge representation. In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), pages 676-682, Washington, D.C. AAAI Press.
Hyatt, R. M., Gower, A. E., & Nelson, H. L. (1986). Cray Blitz. In Beal, D. F., editor, Advances in Computer Chess 4, pages 8-18. Pergamon, New York.
Ingerman, P. Z. (1967). Panini-Backus form suggested. Communications of the Association for Computing Machinery, 10(3):137.
Jackson, P. (1986). Introduction to Expert Systems. Addison-Wesley, Reading, Massachusetts.
Jacobs, P. & Rau, L. (1990). Scisor: A system for extracting information from on-line news. Communications of the ACM, 33(11):88-97.
Jaffar, J. & Lassez, J.-L. (1987). Constraint logic programming. In Proceedings of the Fourteenth ACM Conference on Principles of Programming Languages.
Jaffar, J., Michaylov, S., Stuckey, P. J., & Yap, R. H. C. (1992a). The CLP(R) language and system. ACM Transactions on Programming Languages and Systems, 14(3):339-395.
Jaffar, J., Stuckey, P. J., Michaylov, S., & Yap, R. H. C. (1992b). An abstract machine for CLP(R). SIGPLAN Notices, 27(7):128-139.
Jain, R., Kasturi, R., & Schunck, B., Machine Vision, New York: McGraw-Hill, 1995.
Jáskowski, S. (1934). On the rules of suppositions in formal logic. Studia Logica, 1.
Jeffrey, R. C. (1983). The Logic of Decision. University of Chicago Press, Chicago, Illinois, second edition.
Jelinek, F. (1976). Continuous speech recognition by statistical methods. Proceedings of the IEEE, 64(4):532-556.
Jelinek, F. (1990). Self-organizing language modeling for speech recognition. In Waibel, A. & Lee, K.-F., editors, Readings in Speech Recognition, pages 450-506. Morgan Kaufmann.
Jensen, F. V., Lauritzen, S. L., & Olesen, K. G. (1990). Bayesian updating in causal probabilistic networks by local computations. Computational Statistics Quarterly, 5(4):269-282.
Jensen, F., An Introduction to Bayesian Networks, New York: Springer-Verlag, 1996.
Jerison, H. J. (1991). Brain Size and the Evolution of Mind. American Museum of Natural History, New York.
Jochem, T., Pomerleau, D., & Thorpe, C. (1993). Maniac: A next generation neurally based autonomous road follower. In Proceedings of the International Conference on Intelligent Autonomous Systems: IAS-3.
Johnson, W. W. & Story, W. E. (1879). Notes on the ``15'' puzzle. American Journal of Mathematics, 2:397-404.
Johnson-Laird, P., The Computer and the Mind: An Introduction to Cognitive Science, Cambridge, MA: Harvard University Press, 1988.
Johnston, M. D. & Adorf, H.-M. (1992). Scheduling with neural networks: the case of the Hubble space telescope. Computers & Operations Research, 19(3-4):209-240.
Jones, N. D., Gomard, C. K., & Sestoft, P. (1993). Partial Evaluation and Automatic Program Generation. Prentice Hall. .
Michael Jordan & Rumelhart, D., "Forward Models: Supervised Learning with a Distal Teacher," Cognitive Science, 16:307-354, 1992.
Aravind Joshi Tree-adjoining grammars: How much context sensitivity is required to provide reasonable structural descriptions. In Dowty, D., Karttunen, L., & Zwicky, A., editors, Natural Language Parsing. Cambridge University Press.
Aravind Joshi, Webber, B., & Sag, I. Elements of Discourse Understanding. Cambridge University Press.
Judd, J. S. (1990). Neural Network Design and the Complexity of Learning. MIT Press, Cambridge, Massachusetts.
Juels, A., & Wattenberg, M., "Stochastic Hillclimbing as a Baseline Method for the Evaluation of Genetic Algorithms," in Neural Information Processing Systems 8, Cambridge, MA: MIT Press, 1996.
Julesz, B., Foundations of Cyclopean Perception, Chicago: The University of Chicago Press, 1971.
Leslie Pack Kaelbling & Rosenschein, S., "Action and Planning in Embedded Agents," Robotics and Autonomous Systems, 6:35-48, 1990.
Leslie Pack Kaelbling Learning functions in k-DNF from reinforcement. In Machine Learning: Proceedings of the Seventh International Conference, pages 162-169, Austin, Texas. Morgan Kaufmann.
Kaelbling, Littman & Moore 1996
Leslie Pack Kaelbling, Littman, M. L., & Moore, A. W., "Reinforcement Learning: A Survey," Journal of Artificial Intelligence Research, 4:237-285, 1996.
Kahneman, D., Slovic, P., & Tversky, A., editors (1982). Judgment under Uncertainty: Heuristics and Biases. Cambridge University Press, Cambridge.
Kaindl, H. (1990). Tree searching algorithms. In Marsland, A. T. & Schaeffer, J., editors, Computers, Chess, and Cognition, pages 133-158. Springer-Verlag, Berlin.
Kaindl, H. & Khorsand, A. (1994). Memory-bounded bidirectional search. In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94), pages 1359-1364, Seattle, Washington. AAAI Press.
Rudolf E. Kalman A new approach to linear filtering and prediction problems. Journal of Basic Engineering, pages 35-46.
Kambhampati, S. & Nau, D. S. (1993). On the nature and role of modal truth criteria in planning. Technical Report ISR-TR-93-30, University of Maryland, Institute for Systems Research.
Laveen N. Kanal & Lemmer, J. F., editors . Uncertainty in Artificial Intelligence. Elsevier/North-Holland, Amsterdam, London, New York.
Laveen N. Kanal & Kumar, V. (eds.), Search in Artificial Intelligence, Berlin: Springer-Verlag, 1988.
Kandel, E. R., Schwartz, J. H., & Jessell, T. M., editors (1991). Principles of Neural Science. Elsevier/North-Holland, Amsterdam, London, New York, third edition.
Kaplan, D. & Montague, R. (1960). A paradox regained. Notre Dame Journal of Formal Logic, 1(3):79-90. Reprinted in Thomason, 1974.
Karger, D. R., Koller, D., & Phillips, S. J. (1993). Finding the hidden path: time bounds for all-pairs shortest paths. SIAM Journal on Computing, 22(6):1199-1217.
Karmarkar, N., "A New Polynomial-Time Algorithm for Linear Programming," Combinatorica, 4(4):373-395, 1984.
Karp, R. M. (1972). Reducibility among combinatorial problems. In Miller, R. E. & Thatcher, J. W., editors, Complexity of Computer Computations, pages 85-103. Plenum, New York.
Kartha, G. N., "Two Counterexamples~Related to Baker's Approach to the Frame Problem," Artificial Intelligence, 69(1-2):379-391, 1994.
Kasami, T. (1965). An efficient recognition and syntax analysis algorithm for context-free languages. Technical Report AFCRL-65-758, Air Force Cambridge Research Laboratory, Bedford, Massachusetts.
Henry Kautz "Formalizing Spatial Concepts and Spatial Language," in Commonsense Summer: Final Report, Center for the Study of Language and Information (CSLI) Technical Report CSLI-85-35, Stanford University, Stanford, CA, 1985.
Henry Kautz "A Formal Theory of Plan Recognition and Its Implementation," in Allen, J., Kautz, H., Pelavin, R., & Tenenberg, J. (eds.), Reasoning About Plans, Ch.~2, San Francisco: Morgan Kaufmann, 1991.
Henry Kautz & Selman, B. (1991). Hard problems for simple default logics. Artificial Intelligence, 49(1-3):243-279.
Henry Kautz & Selman, B., "Forming Concepts for Fast Inference," in Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), pp.787-793, Menlo Park, CA: AAAI Press, 1992.
Henry Kautz & Selman, B., "Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search," in Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96), pp.1194-1201, Menlo Park, CA: AAAI Press, 1996.
Henry Kautz, Kearns, M., & Selman, B., "Reasoning with Characteristic Models," Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), pp.34-39, Menlo Park, CA: AAAI Press, 1993.
Kautz, McAllester & Selman 1996
Henry Kautz, McAllester, D., & Selman, B., "Encoding Plans in Propositional Logic," in Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR-96), pp.374-384, San Francisco: Morgan Kaufmann, 1996.
Kay, M., Gawron, J. M., & Norvig, P. (1994). Verbmobil: A Translation System for Face-To-Face Dialog. CSLI Press.
Kearns, M. J. (1990). The Computational Complexity of Machine Learning. MIT Press, Cambridge, Massachusetts.
Kearns, M., & Vazirani, U., An Introduction to Computational Learning Theory, Cambridge, MA: MIT Press, 1994.
Keeney, R. L. (1974). Multiplicative utility functions. Operations Research, 22:22-34.
Keeney, R. L. & Raiffa, H. (1976). Decisions with Multiple Objectives: Preferences and Value Tradeoffs. Wiley, New York.
Kemp, M., editor (1989). Leonardo on Painting: An Anthology of Writings. Yale University Press, New Haven, Connecticut.
Kemp, M. (1990). The Science of Art: Optical Themes in Western Art from Brunelleschi to Seurat. Yale University Press, New Haven, Connecticut.
Keynes, J. M. (1921). A Treatise on Probability. Macmillan,
Khardon, R., & Roth, D., "Learning to Reason," Journal of the ACM, to appear, 1998.
Kierulf, Chen & Nievergelt 1990
Kierulf, A., Chen, K., & Nievergelt, J., "Smart Game Board and Go Explorer: A Study in Software and Knowledge Engineering," Comm. of the ACM, 33(2):152-167, 1990.
Kietz, J.-U. & Dzeroski, S. (1994). Inductive logic programming and learnability. SIGART Bulletin, 5(1):22-32.
Kim, J. H. (1983). CONVINCE: A conversational inference consolidation engine. PhD thesis, Department of Computer Science, University of California at Los Angeles.
Kim, J. H. & Pearl, J. (1987). CONVINCE: A conversational inference consolidation engine. IEEE Transactions on Systems, Man, and Cybernetics, 17(2):120-132.
Kim, J., & Pearl, J., "A Computational Model for Combined Causal and Diagnostic Reasoning in Inference Systems," in Proceedings of the Eighth International Joint Conference on Artificial Intelligence (IJCAI-83), pp.190-193, San Francisco: Morgan Kaufmann, 1983.
King, R. D., Muggleton, S., Lewis, R. A., & Sternberg, M. J. E. (1992). Drug design by machine learning: the use of inductive logic programming to model the structure activity relationships of trimethoprim analogues binding to dihydrofolate reductase. Proceedings of the National Academy of Sciences of the United States of America, 89(23):11322-11326.
King, S., Motet, S., Thoméré, J., & Arlabosse, F. (1993). A visual surveillance system for incident detection. In AAAI 93 Workshop on AI in Intelligent Vehicle Highway Systems, pages 30-36, Washington, D.C.
Kirkpatrick, Gelatt & Vecchi 1983
Kirkpatrick, S., Gelatt, C., & Vecchi, M., "Optimization by Simulated Annealing," Science, 220:671-680, 1983.
Kirkpatrick, S. & Selman, B. (1994). Critical behavior in the satisfiability of random Boolean expressions. Science, 264(5163):1297-1301.
Kirousis, L. M. & Papadimitriou, C. H. (1988). The complexity of recognizing polyhedral scenes. Journal of Computer and System Sciences, 37(1):14-38.
Kirsh, D., "Today the Earwig, Tomorrow Man?" Artificial Intelligence, 47(1-3):161-184, 1991.
Kister, J., Stein, P., Ulam, S., Walden, W., & Wells, M. (1957). Experiments in chess. Journal of the Association for Computing Machinery, 4:174-177.
Kjaerulff, U. (1992). A computational scheme for reasoning in dynamic probabilistic networks. In Proceedings of the Eighth Conference on Uncertainty in Artificial Intelligence, pages 121-129.
Kevin Knight Unification: A multidisciplinary survey. ACM Computing Surveys, 21(1):93-121. .
Knoblock, C. A., "Learning Abstraction Hierarchies for Problem Solving," in Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), nl pp.923-928, Menlo Park, CA: AAAI Press, 1990.
Donald E. Knuth Semantics for context-free languages. Mathematical Systems Theory 2, pages 127-145.
Donald E. Knuth The Art of Computer Programming, volume 2: Fundamental Algorithms. Addison-Wesley, Reading, Massachusetts, second edition.
Donald E. Knuth & Bendix, P. B. (1970). Simple word problems in universal algebras. In Leech, J., editor, Computational Problems in Abstract Algebra, pages 263-267. Pergamon, New York.
Donald E. Knuth & Moore, R. W. (1975). An analysis of alpha-beta pruning. Artificial Intelligence, 6(4):293-326.
Koenderink, J. J. & van Doorn, A. J. (1975). Invariant properties of the motion parallax field due to the movement of rigid bodies relative to an observer. Optica Acta, 22(9):773-791.
Koenderink, J., "The Structure of Images," Biological Cybernetics, 50:363-370, 1984.
Koenderink, J. J. (1990). Solid Shape. MIT Press, Cambridge, Massachusetts.
Kohn, W. (1991). Declarative control architecture. Communications of the Association for Computing Machinery, 34(8):65-79.
Teuvo Kohonen Self-Organization and Associative Memory. Springer-Verlag, Berlin, third edition.
Koller, D., Weber, J., Huang, T., Malik, J., Ogasawara, G., Rao, B., & Russell, S. (1994). Towards robust automatic traffic scene analysis in real-time. In Proceedings of the International Conference on Pattern Recognition, Israel.
Andrey Nikolayevich Kolmogorov Interpolation und extrapolation von stationaren zufalligen folgen. Bulletin of the Academy of Sciences of the USSR, Ser. Math. 5:3-14.
Andrey Nikolayevich Kolmogorov Foundations of the Theory of Probability. Chelsea, New York. English translation of Kolmogorov, 1950.
Andrey Nikolayevich Kolmogorov On tables of random numbers. Sankhya, the Indian Journal of Statistics, Series A 25.
Andrey Nikolayevich Kolmogorov Three approaches to the quantitative definition of information. Problems in Information Transmission, 1(1):1-7.
Janet Kolodner Reconstructive memory: A computer model. Cognitive Science, 7:281-328.
Janet Kolodner Case-Based Reasoning, San Francisco: Morgan Kaufmann, 1993.
Kurt Konolige "A First-Order Formalization of Knowledge and Action for a Multi-Agent Planning System," in Hayes, J., Michie, D., & Pao, Y. (eds.), Machine Intelligence 10, Chichester, England: Ellis Horwood, Ltd., 1982.
Kurt Konolige A Deduction Model of Belief, London: Pitman, 1986.
Koopmans, T. C. (1972). Representation of preference orderings over time. In McGuire, C. B. & Radner, R., editors, Decision and Organization. Elsevier/North-Holland, Amsterdam, London, New York.
Richard Korf Depth-first iterative-deepening: an optimal admissible tree search. Artificial Intelligence, 27(1):97-109.
Richard Korf Iterative-deepening A*: An optimal admissible tree search. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), pages 1034-1036, Los Angeles, California. Morgan Kaufmann.
Richard Korf "Planning as Search: A Quantitative Approach," Artificial Intelligence, 33(1):65-88, 1987.
Richard Korf Optimal path finding algorithms. In Kanal, L. N. & Kumar, V., editors, Search in Artificial Intelligence, chapter 7, pages 223-267. Springer-Verlag, Berlin.
Richard Korf "Real-Time Heuristic Search," Artificial Intelligence, 42, 1990.
Richard Korf "Multi-Player Alpha-Beta Pruning," Artificial Intelligence, 48:99-111, 1991.
Richard Korf "Search," in Shapiro, S. (ed.), Encyclopedia of Artificial Intelligence, Second Edition, pp.1460-1467, New York: John Wiley & Sons, 1992.
Richard Korf "Linear-Space Best-First Search," Artificial Intelligence, 62, 41-78, 193.
Richard Korf "Space-Efficient Search Algorithms," ACM Computing Surveys, 27(3):337-339, 1996.
Richard Korf "Finding Optimal Solutions to Rubik's Cube Using Pattern Databases," in Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI-97), nl pp.700-705, Menlo Park, CA: AAAI Press, 1997.
Richard Korf & Taylor, L., "Finding Optimal Solutions to the Twenty-Four Puzzle," in Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96), pp.1202-1207, Menlo Park, CA: AAAI Press, 1996.
Kotok, A. (1962). A chess playing program for the IBM 7090. AI Project Memo 41, MIT Computation Center, Cambridge, Massachusetts.
Robert A. Kowalski "Predicate Logic as a Programming Language," in Proceedings of the IFIP-74 Congress, pp.569-574, Amsterdam: Elsevier/North-Holland, 1974.
Robert A. Kowalski Algorithm = logic + control. Communications of the Association for Computing Machinery, 22:424-436.
Robert A. Kowalski Logic for Problem Solving. Elsevier/North-Holland, Amsterdam, London, New York.
Robert A. Kowalski The early years of logic programming. Communications of the Association for Computing Machinery, 31:38-43.
Robert A. Kowalski & Sergot, M. (1986). A logic-based calculus of events. New Generation Computing, 4(1):67-95.
Robert A. Kowalski & Kim, J.-S., "A Metalogic Programming Approach to Multi-Agent Belief," in Lifschitz, V. (ed.), Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp.231-246, Boston: Academic Press, 1991.
John Koza Genetic Programming: On the Programming of Computers by Means of Natural Selection, Cambridge, MA: MIT Press, 1992.
John Koza {Genetic Programming II: Automatic Discovery of Reusable Programs}, Cambridge, MA: MIT Press, 1994.
John Koza, Bennett, F., III, Andre, D., & Keane, M., "Automated WYSIWYG Design of Both the Topology and Component Values of Analog Electrical Circuits Using Genetic Programming," in Koza, John R., Goldberg, David E., Fogel, David B., & Riolo, Rick L. (eds.), {Genetic Programming 1996: Proceedings of the First Annual Conference}, Stanford University, July 28-31, 1996, Cambridge, MA: MIT Press.
Kripke, S., "Semantical Considerations on Modal Logic," {Acta Philosophica Fennica}, 16:83-94, 1963.
Kruppa, E. (1913). Zur Ermittlung eines Objecktes aus zwei Perspektiven mit innerer Orientierung. Sitz.-Ber. Akad. Wiss., Wien, Math. Naturw., Kl. Abt. IIa, 122:1939-1948.
Kuehner, D. (1971). A note on the relation between resolution and Maslov's inverse method. DCL Memo 36, University of Edinburgh.
Benjamin Kuipers, Froom, R., Lee, W-Y., Pierce, D., "The Semantic Hierarchy in Robot Learning," in Connell, J., & Mahadevan, S. (eds.), {Robot Learning}, Ch.6, Boston: Kluwer Academic Publishers, 1993.
Benjamin Kuipers, & Byun, Y-T., "A Robot Exploration and Mapping Strategy Based on a Semantic Hierarchy of Spatial Representations," Robotics and Autonomous Systems, 8:47-63, 1991.
Kukich, K. (1992). Techniques for automatically correcting words in text. ACM Computing Surveys, 24(4):377-439.
Kumar, V. & Kanal, L. N. (1983). A general branch and bound formulation for understanding and synthesizing and/or tree search procedures. Artificial Intelligence, 21:179-198.
Kumar, V., & Kanal, L., "The CDP: A Unifying Formulation for Heuristic Search, Dynamic Programming, and Branch-and-Bound," in Kanal, L., & Kumar, V. (eds.), {Search in Artificial Intelligence}, Ch.1, pp.1-27, Berlin: Springer-Verlag, 1988.
Kumar, V., Nau, D. S., & Kanal, L. N. (1988). A general branch-and-bound formulation for AND/OR graph and game tree search. In Kanal, L. N. & Kumar, V., editors, Search in Artificial Intelligence, chapter 3, pages 91-130. Springer-Verlag, Berlin.
Kumar, V., "Algorithms for Constraint-Satisfaction Problems: A Survey," Artificial Intelligence Magazine, 13(1):32-44, Spring 1992.
Kumar, V. (1991). A general heuristic bottom-up procedure for searching AND/OR graphs. Information Sciences, 56(1-3):39-57.
Raymond Kurzweil The Age of Intelligent Machines. MIT Press, Cambridge, Massachusetts.
Henry Kyburg Randomness and the right reference class. The Journal of Philosophy, 74(9):501-521.
Henry Kyburg The reference class. Philosophy of Science, 50:374-397.
La Mettrie, J. O. d. (1748). L'homme machine. E. Luzac, Leyde. Translated into English as La Mettrie, 1912.
La Mettrie, J. O. d. (1912). Man a Machine. Open Court, La Salle, Illinois. English translation of La Mettrie, 1748.
Ladkin, P. (1986a). Primitives and units for time specification. In Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI-86), volume 1, pages 354-359, Philadelphia, Pennsylvania. Morgan Kaufmann.
Ladkin, P. (1986b). Time representation: a taxonomy of interval relations. In Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI-86), volume 1, pages 360-366, Philadelphia, Pennsylvania. Morgan Kaufmann.
John Laird, Rosenbloom, P. S., & Newell, A. (1986). Chunking in Soar: the anatomy of a general learning mechanism. Machine Learning, 1:11-46.
Laird, Newell & Rosenbloom 1987
John Laird , Newell, A., & Rosenbloom, P., "SOAR: An Architecture for General Intelligence," Artificial Intelligence, 33(1):1-64, 1987.
John Laird, Yager, E., Hucka, M., & Tuck, C., "Robo-Soar: An Integration of External Interaction, Planning, and Learning Using SOAR," Robotics and Autonomous Systems, 8:113-129, 1991.
Lakoff, G., Women, Fire, and Dangerous Things: What Categories Reveal about the Mind, Chicago: The University of Chicago Press, 1987.
Lakoff, G., & Johnson, M., Metaphors We Live By, Chicago: The University of Chicago Press, 1980.
Pat Langley, Simon, H. A., Bradshaw, G. L., & Zytkow, J. M. (1987). Scientific Discovery: Computational Explorations of the Creative Processes. MIT Press, Cambridge, Massachusetts.
Pat Langley Elements of Machine Learning, San Francisco: Morgan Kaufmann, 1996.
Lassez, J.-L., Maher, M. J., & Marriott, K. (1988). Unification revisited. In Minker, J., editor, Foundations of Deductive Databases and Logic Programming, pages 587-625. Morgan Kaufmann, San Mateo, California.
Jean-Claude Latombe Robot Motion Planning, Dordrecht: Kluwer Academic Publishers, 1991.
Lauritzen, S., "The EM Algorithm for Graphical Association Models with Missing Data," Tech. Report TR-91-05, Dept. of Statistics, Aalborg University, Denmark, 1991.
Lauritzen & Spiegelhalter 1988
Lauritzen, S., & Spiegelhalter, D., "Local Computations with Probabilities on Graphical Structures and Their Application to Expert Systems," Journal of the Royal Statistical Society, B 50(2):157-224, 1988.
Lauritzen, S. L. & Wermuth, N. (1989). Graphical models for associations between variables, some of which are qualitative and some quantitative. Annals of Statistics, 17:31-57.
Lavravč, N., & Dvžeroski, S., Inductive Logic Programming, Chichester, England: Ellis Horwood, 1994.
Lawler, E. L. & Wood, D. E. (1966). Branch-and-bound methods: A survey. Operations Research, 14(4):699-719.
LeCun, Y., Boser, B., Denker, J., Henderson, D., Howard, R., Hubbard, W., & Jackel, L., "Backpropagation Applied to Handwritten Zip Code Recognition," Neural Computation, 1(4), 1989.
Le Cun, Y., Jackel, L. D., Boser, B., & Denker, J. S. (1989). Handwritten digit recognition: applications of neural network chips and automatic learning. IEEE Communications Magazine, 27(11):41-46.
Kai-Fu Lee & Mahajan, S., "A Pattern Classification Approach to Evaluation Function Learning," Artificial Intelligence, 36(1):1-26, 1988.
Kai-Fu Lee Automatic Speech Recognition: The Development of the SPHINX System. Kluwer.
Lefkovitz, D. (1960). A strategic pattern recognition program for the game GO. Technical Note 60-243, Wright Air Development Division, University of Pennsylvania, The Moore School of Electrical Engineering.
Douglas Lenat EURISKO: a program that learns new heuristics and domain concepts: the nature of heuristics, III: program design and results. Artificial Intelligence, 21(1-2):61-98.
Douglas Lenat & Brown, J. S. (1984). Why AM and EURISKO appear to work. Artificial Intelligence, 23(3):269-294.
Douglas Lenat & Feigenbaum, E. A. (1991). On the thresholds of knowledge. Artificial Intelligence, 47(1-3):185-250.
Douglas Lenat & Guha, R. V. (1990). Building Large Knowledge-Based Systems: Representation and Inference in the CYC Project. Addison-Wesley, Reading, Massachusetts.
Douglas Lenat "CYC: A Large-Scale Investment in Knowledge Infrastructure," Comm. ACM, 38(11):33-38, November 1995.
Leonard, H. S. & Goodman, N. (1940). The calculus of individuals and its uses. Journal of Symbolic Logic, 5(2):45-55.
Leonard, J. J. & Durrant-Whyte, H. F. (1992). Directed sonar sensing for mobile robot navigation. Kluwer, Dordrecht, The Netherlands.
Leonard-Barton, D., "The Case for Integrative Innovation: An Expert System at Digital," Sloan Management Review, pp.7-19, Fall 1987.
Lesniewski, S. (1916). Podstawy ogólnej teorii mnogosci. Moscow.
Letvinn, J., Maturana, H., McCulloch, W., & Pitts, W., "What the Frog's Eye Tells the Frog's Brain," Proc. IRE, 47:1940-1951, 1959.
Hector Levesque "Foundations of a Functional Approach to Knowledge Representation," Artificial Intelligence, 23(2):155-212, 1984.
Hector Levesque "A Logic of Implicit and Explicit Belief," in Proceedings of the Fourth National Conference on Artificial Intelligence (AAAI-84), pp.198-202, Menlo Park, CA: AAAI Press, 1984.
Hector Levesque "Making Believers Out of Computers," Artificial Intelligence, 30(1):81-108, 1986.
Hector Levesque & Brachman, R., "Expressiveness and Tractability in Knowledge Representation and Reasoning," Computational Intelligence, 3(2)78-93, 1987.
Hector Levesque, Reiter, R., Lesprance, Y., Lin, F., & Scherl, R., "GOLOG: A Logic Programming Language for Dynamic Domains," Journal of Logic Programming, Special Issue on Reasoning about Action and Change, 31(1-3):59-83, 1997.
Levy, D. N. L. (1983). Computer Gamesmanship: The Complete Guide to Creating and Structuring Intelligent Games Programs. Simon and Schuster, New York.
Levy, D. N. L., editor (1988a). Computer Chess Compendium. Springer-Verlag, Berlin.
Levy, D. N. L., editor (1988b). Computer Games. Springer-Verlag, Berlin. Two volumes.
Lewis, D. K. (1966). An argument for the identity theory. The Journal of Philosophy, 63(1):17-25.
Lewis, D. K. (1972). General semantics. In Davidson, D. & Harman, G., editors, Semantics of Natural Language, pages 169-218. D. Reidel, Dordrecht, The Netherlands.
Lewis, D. K. (1980). Mad pain and Martian pain. In Block, N., editor, Readings in Philosophy of Psychology, volume 1, pages 216-222. Harvard University Press, Cambridge, Massachusetts.
Li, M. & Vitanyi, P. M. B. (1993). An Introduction to Kolmogorov Complexity and Its Applications. Springer-Verlag, Berlin.
Vladimir Lifschitz "On the Semantics of STRIPS," in Georgeff, M., & Lansky, A. (eds.), Reasoning about Actions and Plans: Proceedings of the 1986 Workshop}, Timberline, Oregon, pp.1-9, San Francisco: Morgan Kaufmann, 1986. (Also in Allen, J., Hendler, J., & Tate, A. (eds.), Readings in Planning, pp.523-530, San Francisco: Morgan Kaufmann, 1990.)
Vladimir Lifschitz Between circumscription and autoepistemic logic. In Brachman, R. J. & Levesque, H. J., editors, Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, pages 235-244, Toronto, Ontario. Morgan Kaufmann.
Lighthill, J. (1973). Artificial intelligence: A general survey. In Lighthill, J., Sutherland, N. S., Needham, R. M., Longuet-Higgins, H. C., & Michie, D., editors, Artificial Intelligence: A Paper Symposium. Science Research Council of Great Britain, London.
Lin, S. (1965). Computer solutions of the travelling salesman problem. Bell Systems Technical Journal, 44(10):2245-2269.
Linden, T. A. (1991). Representing software designs as partially developed plans. In Lowry, M. R. & McCartney, R. D., editors, Automating Software Design, pages 603-625. MIT Press, Cambridge, Massachusetts.
Lindsay, R. K. (1963). Inferential memory as the basis of machines which understand natural language. In Feigenbaum, E. A. & Feldman, J., editors, Computers and Thought, pages 217-236. McGraw-Hill, New York.
Lindsay, R., Buchanan, B., Feigenbaum, E., & Lederberg, J., Applications of Artificial Intelligence for Organic Chemistry: The DENDRAL Project, New York: McGraw-Hill, 1980.
Lloyd, J. W. (1987). Foundations of Logic Programming. Springer-Verlag, Berlin.
Locke, W. N. & Booth, A. D. (1955). Machine Translation of Languages: Fourteen Essays. MIT Press, Cambridge, Massachusetts.
Longuet-Higgins, H. C. (1981). A computer algorithm for reconstructing a scene from two projections. Nature, 293:133-135.
Lovejoy, W., "A Survey of Algorithmic Methods for Partially Observed Markov Decision Processes," Annals of Operations Research, 28(1-4):47-66, 1991.
Donald Loveland Mechanical theorem proving by model elimination. Journal of the Association for Computing Machinery, 15(2):236-251.
Donald Loveland Automated Theorem Proving: A Logical Basis, New York: North-Holland, 1978.
Lowe, D. G. (1987). Three-dimensional object recognition from single two-dimensional images. Artificial Intelligence, 31:355-395.
Löwenheim, L., "Über M" {o}glichkeiten im Relativekalk" {u}l," {Mathematische Annalen}, 76:447-470, 1915. (English translation appears in van Heijenoort, J. (ed.), From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931, Cambridge, MA: Harvard University Press, 1967.)
Lowerre, B. T. & Reddy, R. (1980). The HARPY speech recognition system. In Lea, W. A., editor, Trends in Speech Recognition, chapter 15. Prentice-Hall, Englewood Cliffs, New Jersey.
Lowry, M., & McCartney, R., Automating Software Design, Cambridge, MA: MIT Press, 1991.
Loyd, S. (1959). Mathematical Puzzles of Sam Loyd: Selected and Edited by Martin Gardner. Dover, New York.
Lozano-Pérez, T., Mason, M., & Taylor, R. (1984). Automatic synthesis of fine-motion strategies for robots. International Journal of Robotics Research, 3(1):3-24.
Lucas, J. R., "Minds, Machines, and Gödel," Philosophy, 36:112-127, 1961. (Also in Anderson, A. R. (ed.), Minds and Machines, pp.43-59, Englewood Cliffs, NJ: Prentice Hall, 1964.)
Luckham, D., "Refinement Theorems in Resolution Theory," Proc. IRIA 1968 Symp. on Automatic Demonstration, Springer-Verlag Lecture Notes in Mathematics, nl No.125, pp.163-190, 1970.
Luckham, D. C., & Nilsson, N., "Extracting Information from Resolution Proof~Trees," Artificial Intelligence, 2(1):27-54, 1971.
Alan Mackworth Interpreting pictures of polyhedral scenes. Artificial Intelligence, 4:121-137. .
Pattie Maes Designing Autonomous Agents: Theory and Practice from Biology to Engineering and Back, Cambridge, MA: MIT Press, 1990.
Pattie Maes "Guest Editorial," Robotics and Autonomous Systems, 6:1-2, 1990. Also in Maes 1990a
Pattie Maes, Darrell, T., Blumberg, B., & Pentland, A. (1994). ALIVE: Artificial Life Interactive Video Environment. In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94), page 1506, Seattle, Washington. AAAI Press.
Magerman, D., Natural Language Parsing as Statistical Pattern Recognition, Ph.D. thesis, Department of Computer Science, Stanford University, 1993.
Sridhar Mahadevan "Enhancing Transfer in Reinforcement Learning by Building Stochastic Models of Robot Actions," in Proceedings of the Ninth International Workshop on Machine Learning (ML92), pp.290-299, San Francisco: Morgan Kaufmann, 1992.
Sridhar Mahadevan & Connell, J., "Automatic Programming of Behavior-Based Robots Using Reinforcement Learning," Artificial Intelligence, 55(1-2):311-365, 1992.
Mahanti, A. & Daniels, C. J. (1993). A SIMD approach to parallel heuristic search. Artificial Intelligence, 60(2):243-282.
Malik, J. (1987). Interpreting line drawings of curved objects. International Journal of Computer Vision, 1(1):73-103.
Malik, J. & Rosenholtz, R. (1994). Recovering surface curvature and orientation from texture distortion: a least squares algorithm and sensitivity analysis. In Eklundh, J.-O., editor, Proceedings of the Third European Conf. on Computer Vision, pages 353-364, Stockholm. Springer-Verlag. Published as Lecture Notes in Computer Science 800.
Manin, Y. I. (1977). A Course in Mathematical Logic. Springer-Verlag, Berlin.
Mann, W. C. & Thompson, S. A. (1983). Relational propositions in discourse. Technical Report RR-83-115, Information Sciences Institute.
Manna, Z. & Waldinger, R. (1971). Toward automatic program synthesis. Communications of the Association for Computing Machinery, 14(3):151-165.
Zohar Manna & Waldinger, R., The Logical Basis for Computer Programming, Volume 1: Deductive Reasoning, Reading, MA: Addison-Wesley, 1985.
Zohar Manna & Waldinger, R., The Logical Basis for Computer Programming, Volume 2: Deductive Systems, Reading, MA: Addison-Wesley, 1990.
Zohar Manna & Waldinger, R. (1986). Special relations in automated deduction. Journal of the Association for Computing Machinery, 33(1):1-59.
Zohar Manna & Waldinger, R. (1992). Fundamentals of deductive program synthesis. IEEE Transactions on Software Engineering, 18(8):674-704.
Marchand, M., Golea, M., & Ruján, P. (1990). A convergence theorem for sequential learning in two-layer perceptrons. Europhysics Letters, 11:487-492.
Andrei Markop An example of statistical investigation in the text of ``Eugene Onegin'' illustrating coupling of "tests" in chains. Proceedings of the Academy of Sciences of St. Petersburg, 7.
Marr, D., Vision: A Computational Investigation into the Human Representation and Processing of Visual Information, New York: W. H. Freeman, 1982.
Marr, D., & Hildreth, E., "Theory of Edge Detection," Proc. Royal Soc. of London, Series B, Vol.207, pp.187-217, 1980.
Marr, D., & Poggio, T., "A Computational Theory of Human Stereo Vision," Proceedings of the Royal Society London, B, 204:301-328, 1979.
Marsland, A. T. & Schaeffer, J., editors (1990). Computers, Chess, and Cognition. Springer-Verlag, Berlin.
Martelli, A., & Montanari, U., "Additive AND/OR Graphs," in Proceedings of the Third International Joint Conference on Artificial Intelligence (IJCAI-73), pp.1-11, San Francisco: Morgan Kaufmann, 1973.
Martelli, A. & Montanari, U. (1976). Unification in linear time and space: A structured presentation. Internal Report B 76-16, Istituto di Elaborazione della Informazione, Pisa, Italy.
Martelli, A. & Montanari, U. (1978). Optimizing decision trees through heuristically guided search. Communications of the Association for Computing Machinery, 21:1025-1039.
Martin, C. D. (1993). The myth of the awesome thinking machine. Communications of the Association for Computing Machinery, 36(4):120-133.
Martin, J. H. (1990). A Computational Model of Metaphor Interpretation. Academic Press. .
Masand, B., Linoff, G., & Waltz, D., "Classifying News Stories Using Memory Based Reasoning," in {Proceedings of ACM/SIGIR}, pp.59-65, 1992.
Maslov, S. Y. (1964). An inverse method for establishing deducibility in classical predicate calculus. Doklady Akademii nauk SSSR, 159:17-20.
Maslov, S. Y. (1967). An inverse method for establishing deducibility of nonprenex formulas of the predicate calculus. Doklady Akademii nauk SSSR, 172:22-25.
Maslov, S. Y. (1971). Relationship between tactics of the inverse method and the resolution method. Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, Consultants Bureau, New York-London, 16:69-73.
Matthew Mason Kicking the sensing habit. AI Magazine, 14(1):58-59.
Mataric, M., "A Distributed Model for Mobile Robot Environment Learning and Navigation," Technical Report No. AIM-TR-1228, MIT AI Lab, MIT, Cambridge, MA, 1990.
Mataric, M., "Designing and Understanding Adaptive Group Behavior," Adaptive Behavior, 4(1):51-80, 1996.
Mataric, M., "Studying the Role of Embodiment in Cognition," Cybernetics and Systems, 28(6):457-470, (Special Issue on Epistemological Aspects of Embodied AI), July 1997.
Mates, B. (1953). Stoic Logic. University of California Press, Berkeley and Los Angeles.
Mauldin, M. L., "Chatterbots, Tinymuds, and the Turing Test: Entering the Loebner Prize Competition," in Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94) pp.16-21, Menlo Park, CA: AAAI Press, 1994.
Maxwell, J. & Kaplan, R. (1993). The interface between phrasal and functional constraints. Computational Linguistics, 19(4):571-590.
Mays, E., Apte, C., Griesmer, J., & Kastner, J. (1987). Organizing knowledge in a complex financial domain. IEEE Expert, 2(3):61-70.
McAdams, H., & Shapiro, L., "Circuit Simulation of Genetic Networks," Science, 269:650-656, August 4, 1995.
David McAllester An outlook on truth maintenance. AI Memo 551, MIT AI Laboratory, Cambridge, Massachusetts.
David McAllester Conspiracy numbers for min-max search. Artificial Intelligence, 35(3):287-310.
David McAllester Ontic: A Knowledge Representation System for Mathematics. MIT Press, Cambridge, Massachusetts.
David McAllester & Rosenblitt, D., "Systematic Nonlinear Planning," in Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), pp.634-369, Menlo Park, CA: AAAI Press, 1991.
John McCarthy "Programs with Common Sense," Mechanisation of Thought Processes, Proceedings of the Symposium of the National Physics Laboratory, Vol. I, pp.~77-84, London: Her Majesty's Stationary Office, 1958. (Also in Minsky, M. (ed.), Semantic Information Processing, pp.403-410, Cambridge, MA: MIT Press, 1968, & Brachman, R., & Levesque, H. (eds.), Readings in Knowledge Representation}, nl pp.299-307, San Francisco: Morgan Kaufmann, 1985.)
John McCarthy Situations, actions, and causal laws. Memo 2, Stanford University Artificial Intelligence Project, Stanford, California. Reprinted as part of McCarthy, 1968.
John McCarthy Programs with common sense. In Minsky, M. L., editor, Semantic Information Processing, pages 403-418. MIT Press, Cambridge, Massachusetts.
John McCarthy & Hayes, P. J. (1969). Some philosophical problems from the standpoint of artificial intelligence. In Meltzer, B., Michie, D., & Swann, M., editors, Machine Intelligence 4, pages 463-502. Edinburgh University Press, Edinburgh, Scotland.
John McCarthy "Epistemological Problems in Artificial Intelligence," in Proceedings of the Fifth International Joint Conference on Artificial Intelligence (IJCAI-77), nl pp.1038-1044, San Francisco: Morgan Kaufmann, 1977.
John McCarthy History of LISP. In Wexelblat, R. L., editor, History of Programming Languages: Proceedings of the ACM SIGPLAN Conference, pages 173-197. Academic Press. Published in 1981; 1978 is date of conference.
John McCarthy "Ascribing Mental Qualities to Machines," in Ringle, M. (ed.), Philosophical Perspectives in Artificial Intelligence, pp.161-195, Atlantic Highlands, NJ: Humanities Press, 1979.
John McCarthy "First-Order Theories of Individual Concepts and Propositions," in Hayes, J., Michie, D., & Mikulich, L. (eds.), Machine Intelligence 9, pp.129-147, Chichester, England: Ellis Horwood, Ltd., 1979.
John McCarthy "Circumscription: A Form of Non-monotonic Reasoning," Artificial Intelligence, 13(1-2):27-39, 1980.
John McCarthy "Applications of Circumscription to Formalizing Commonsense Knowledge," Artificial Intelligence, 28(1):89-116, 1986.
John McCarthy "AI as Sport," (a Review of newborn 1996), Science, 276:1518-1519, June 6, 1997.
John McCarthy & Hayes, P., "Some Philosophical Problems from the Standpoint of Artificial Intelligence," in Meltzer, B., & Michie, D. (eds.), Machine Intelligence 4, Edinburgh: Edinburgh University Press, 1969.
McCawley, J. D. (1993). Everything That Linguists Have Always Wanted to Know About Logic But Were Ashamed to Ask. University of Chicago Press, Chicago, Illinois, second edition.
McClelland, J., & Rumelhart, D., "An Interactive Activation Model of Context Effects in Letter Perception, Part I: An Account of Basic Findings," Psychological Review, 88:375-407, 1981.
McClelland, J., & Rumelhart, D., "An Interactive Activation Model of Context Effects in Letter Perception, Part II: The Contextual Enhancement Effect and Some Tests and Extensions of the Model," Psychological Review, 89:60-84, 1982.
McCorduck, P. (1979). Machines Who Think: A Personal Inquiry into the History and Prospects of Artificial Intelligence. W. H. Freeman, New York.
McCulloch, W., & Pitts, W., "A Logical Calculus of the Ideas Immanent in Nervous Activity," Bulletin of Math. Biophysics, 5:115-133, 1943.
McCune, W., "Automated Discovery of New Axiomatizations of the Left Group and Right Group Calculi," Automated Reasoning, 9(1):1-24, 1992.
McCune, W., OTTER 3.0 Reference Manual and Guide, Technical Report ANL-94/6, Argonne National Laboratory, Argonne, IL, 1994.
McDermott, D. (1976). Artificial intelligence meets natural stupidity. SIGART Newsletter, 57.
McDermott, D. (1978a). Planning and acting. Cognitive Science, 2(2):71-109.
McDermott, D. (1978b). Tarskian semantics, or, no notation without denotation! Cognitive Science, 2(3).
McDermott, D., & Doyle, J., "Non-monotonic Logic I," Artificial Intelligence, 13(1-2):41-72, 1980.
McDermott, J., "R1: A Rule-Based Configurer of Computer Systems," Artificial Intelligence, 19(1):39-88, 1982.
McDermott, D. (1987). A critique of pure reason. Computational Intelligence, 3(3):151-237. Includes responses by a number of commentators and final rebuttal by the author.
McDermott, D. (1991). Regression planning. International Journal of Intelligent Systems, 6:357-416.
McDonald, D., & Bolc, L., Natural Language Generation Systems, New York: Springer-Verlag, 1988.
McFarland, D. (ed.), The Oxford Companion to Animal Behavior, Oxford: Oxford University Press, 1987.
McFarland, D., & Bösser, T., Intelligent Behavior in Animals and Robots, Cambridge, MA: MIT Press, 1993.
McKeown, K., & Swartout, W., "Language Generation and Explanation," in Annual Review of Computer Science, vol.2, Palo Alto, CA: Annual Reviews, 1987.
Mead, C. (1989). Analog VLSI and Neural Systems. Addison-Wesley, Reading, Massachusetts.
Megiddo, N. & Wigderson, A. (1986). On play by means of computing machines. In Proc. 1st Conf. on Theor. Aspects of Reasoning About Knowledge, pages 259-274.
Melcuk, I. A. & Polguere, A. (1988). A formal lexicon in the meaning-text theory (or how to do lexica with words). Computational Linguistics, 13(3-4):261-275.
Mérõ, L., "A Heuristic Search Algorithm with Modifiable Estimate," Artificial Intelligence, 23:13-27, 1984.
Metropolis, N., Rosenbluth, A., Rosenbluth, M., Teller, A., & Teller, E. (1953). Equations of state calculations by fast computing machines. Journal of Chemical Physics, 21:1087-1091.
Mézard, M. & Nadal, J.-P. (1989). Learning in feedforward layered networks: The tiling algorithm. Journal of Physics, 22:2191-2204.
Zbigniew Michalewicz Genetic Algorithms + Data Structures = Evolution Programs, Berlin: Springer-Verlag, 1992.
Ryszard S. Michalski "On the Quasi-Minimal Solution o the General Covering Problem," Proc. of the Fifth International Symposium on Information Processing (FCIP 69), Vol. A3, pp.125-128, (Switching Circuits), Bled, Yugoslavia, 1969.
Ryszard S. Michalski, Carbonell, J. G., & Mitchell, T. M., editors (1983). Machine Learning: An Artificial Intelligence Approach, volume 1. Morgan Kaufmann, San Mateo, California.
Ryszard S. Michalski, Carbonell, J. G., & Mitchell, T. M., editors (1986). Machine Learning: An Artificial Intelligence Approach, volume 2. Morgan Kaufmann, San Mateo, California.
Michie, D. (1966). Game-playing and game-learning automata. In Fox, L., editor, Advances in Programming and Non-Numerical Computation, pages 183-200. Pergamon, New York.
Michie, D. (1972). Machine intelligence at Edinburgh. Management Informatics, 2(1):7-12.
Michie, D. (1982). The state of the art in machine learning. In Introductory Readings in Expert Systems, pages 209-229. Gordon and Breach, New York.
Michie, D. (1986). Current developments in expert systems. In Proc. 2nd Australian Conference on Applications of Expert Systems, pages 163-182, Sydney, Australia.
Michie, D. & Chambers, R. A. (1968). BOXES: An experiment in adaptive control. In Dale, E. & Michie, D., editors, Machine Intelligence 2, pages 125-133. Elsevier/North-Holland, Amsterdam, London, New York.
Michie, D., Spiegelhalter, D. J., & Taylor, C. C., editors (1994). Machine Learning, Neural and Statistical Classification. Ellis Horwood, Chichester, England.
Miles, F. A. (1969). Excitable Cells. William Heinemann Medical Books, London.
Mill, J. S. (1843). A System of Logic, Ratiocinative and Inductive: Being a Connected View of the Principles of Evidence, and Methods of Scientific Investigation. J. W. Parker, London.
Mill, J. S. (1863). Utilitarianism. Parker, Son and Bourn, London.
Miller, A. C., Merkhofer, M. M., Howard, R. A., Matheson, J. E., & Rice, T. R. (1976). Development of automated aids for decision analysis. Technical report, SRI International, Menlo Park, California.
Miller, G. F., Todd, P. M., & Hegde, S. U. (1989). Designing neural networks using genetic algorithms. In Schaffer, J. D., editor, Proceedings of the Third International Conference on Genetic Algorithms, pages 379-384, Arlington, Virginia. Morgan Kaufmann.
Miller, R., Pople, H., & Myers, J., "INTERNIST-1: An Experimental Computer-Based Diagnostic Consultant for General Internal Medicine," New England Journal of Medicine, 307:468-476, 1982.
Milne, A. A. (1926). Winnie-the-Pooh. Methuen, London. With decorations by Ernest H. Shepard.
Jack Minker, editor (1988). Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann, San Mateo, California.
Jack Minker "Logic and Databases: Past, Present, and Future," AI Magazine, 18(3):21-47, Fall 1997.
Minnix, J., McVey, E., & Iñigo, R., "Multistage Self-Organizing Neural Network with Biologically Inspired Preprocessing Features for Rotation and Scale Invariant Pattern Recognition," Proc. of the IEEE, pp.1605-1610, 1991.
Marvin Minsky Neural nets and the brain-model problem. PhD thesis, Princeton University.
Marvin Minsky Computation: Finite and Infinite Machines, Englewood Cliffs, NJ: Prentice Hall, 1967.
Marvin Minsky Semantic Information Processing. MIT Press, Cambridge, Massachusetts.
Marvin Minsky & Papert, S. (1969). Perceptrons: An Introduction to Computational Geometry. MIT Press, Cambridge, Massachusetts, first edition.
Marvin Minsky A framework for representing knowledge. In Winston, P. H., editor, The Psychology of Computer Vision, pages 211-277. McGraw-Hill, New York. Originally appeared as an MIT Artificial Intelligence Laboratory memo; the present version is abridged, but is the most widely cited. Another, later abridged version appeared in Haugeland, 1981.
Marvin Minsky & Papert, S. (1988). Perceptrons: An Introduction to Computational Geometry. MIT Press, Cambridge, Massachusetts, expanded edition.
Steven Minton Constraint-based generalization: Learning game-playing plans from single examples. In Proceedings of the National Conference on Artificial Intelligence (AAAI-84), pages 251-254, Austin, TX. Morgan Kaufmann.
Steven Minton Quantitative results concerning the utility of explanation- based learning. In Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88), St. Paul, Minnesota. Morgan Kaufmann.
Steven Minton Learning Search Control Knowledge: An Explanation-Based Approach, Boston: Kluwer Academic Publishers, 1988.
Steven Minton, Carbonell, J., Knoblock, C., Kuokka, D., Etzioni, O., & Gil, Y., "Explanation-Based Learning: A Problem~Solving Perspective," Artificial Intelligence, 40(1-3):63-118, 1989.
Steven Minton "Quantitative Results Concerning the Utility of Explanation-Based Learning," Artificial Intelligence, 42(2-3):363-391, 1990.
Steven Minton Machine Learning Methods for Planning, San Francisco: Morgan Kaufmann, 1993.
Steven Minton, Johnston, M., Phillips, A., & Laird, P., "Solving Large-Scale Constraint-Satisfaction and Scheduling Problems Using A Heuristic Repair Method," in Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), pp.17-24, Menlo Park, CA: AAAI Press, 1990.
Steven Minton, Johnston, M., Philips, A., & Laird, P., "Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems," Artificial Intelligence, 58(1-3):161-205, 1992.
Minton, Bresina & Drummond 1994
Steven Minton, Bresina, J., & Drummond, M., "Total-Order and Partial-Order Planning: A Comparative Analysis," Journal of Artificial Intelligence Research, 2:227-262, 1994.
Tom Mitchell, Keller, R., & Kedar-Cabelli, S. (1986). Explanation-based generalization: A unifying view. Machine Learning, 1:47-80.
Mitchell, M., {An Introduction to Genetic Algorithms}, Cambridge, MA: MIT Press, 1996.
Tom Mitchell Version spaces: a candidate elimination approach to rule learning. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence (IJCAI-77), pages 305-310, Cambridge, Massachusetts. IJCAII.
Tom Mitchell The need for biases in learning generalizations. Technical Report CBM-TR-117, Department of Computer Science, Rutgers University, New Brunswick, New Jersey.
Tom Mitchell Generalization as search. Artificial Intelligence, 18(2):203-226.
Tom Mitchell Becoming increasingly reactive (mobile robots). In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), volume 2, pages 1051-1058, Boston, Massachusetts. MIT Press.
Tom Mitchell, Utgoff, P. E., & Banerji, R. (1983). Learning by experimentation: acquiring and refining problem-solving heuristics. In Michalski, R. S., Carbonell, J. G., & Mitchell, T. M., editors, Machine Learning: An Artificial Intelligence Approach, pages 163-190. Morgan Kaufmann, San Mateo, California.
Tom Mitchell {Machine Learning}, New York: McGraw-Hill, 1997.
Monahan, G., "A Survey of Partially Observable Markov Decision Processes: Theory, Models, and Algorithms," Management Science, 28:1-16, January 1982.
Montague, R. (1970). English as a formal language. In Linguaggi nella Società e nella Tecnica, pages 189-224. Edizioni di Comunità, Milan. Reprinted in Thomason, 1974pp. 188-221.
Montague, R. (1973). The proper treatment of quantification in ordinary English. In Hintikka, K. J. J., Moravcsik, J. M. E., & Suppes, P., editors, . D. Reidel, Dordrecht, The Netherlands.
Montague, P., Dayan, P., Person, C., & Sejnowski, T., "Bee Foraging in Uncertain Environments Using Predictive Hebbian Learning," Nature 377:725-728, 1995.
Moore, E. F., "The Shortest Path through a Maze," in {Proceedings of an International Symposium on the Theory of Switching, Part II}, pp.285-292, Cambridge, MA: Harvard University Press, 1959.
Moore, A., & Atkeson, C., "Prioritized Sweeping-Reinforcement Learning with Less Data and Less Time," Machine Learning, 13:103-130, 1993.
Moore, J. & Newell, A. (1973). How can Merlin understand? In Gregg, L., editor, Knowledge and Cognition. Lawrence Erlbaum Associates, Potomac, Maryland.
Moore, R. C. (1980). Reasoning about knowledge and action. Artificial Intelligence Center Technical Note 191, SRI International, Menlo Park, California.
Moore, R., "Semantical Considerations on Nonmonotonic Logic," Artificial Intelligence, 25(1):75-94, 1985.
Moore, R., "A Formal Theory of Knowledge and Action," in Hobbs, J., & Moore, R. (eds.), Formal Theories of the Commonsense World, pp.319-358, Norwood, NJ: Ablex, 1985.
Moore, R., "Autoepistemic Logic Revisited," Artificial Intelligence, 59(1-2):27-30, 1993.
Hans Moravec Mind Children: The Future of Robot and Human Intelligence. Harvard University Press, Cambridge, Massachusetts.
Morgenstern, L. (1987). Knowledge preconditions for actions and plans. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), pages 867-874, Milan, Italy. Morgan Kaufmann.
Morrison, P. & Morrison, E., editors (1961). Charles Babbage and His Calculating Engines: Selected Writings by Charles Babbage and Others. Dover, New York.
Mostow, J., & Prieditis, A., "Discovering Admissible Heuristics by Abstraction and Optimizing: A Transformational Approach," in Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89), pp.701-707, San Francisco: Morgan Kaufmann, 1989.
Motzkin, T. S. & Schoenberg, I. J. (1954). The relaxation method for linear inequalities. Canadian Journal of Mathematics, 6(3):393-404.
Mourelatos, A. P. D. (1978). Events, processes, and states. Linguistics and Philosophy, 2:415-434.
Moussouris, J., Holloway, J., & Greenblatt, R. (1979). CHEOPS: A chess-oriented processing system. In Hayes, J. E., Michie, D., & Mikulich, L. I., editors, Machine Intelligence 9, pages 351-360. Ellis Horwood, Chichester, England.
Stephen H. Muggleton Inductive logic programming. New Generation Computing, 8:295-318.
Stephen H. Muggleton Inductive Logic Programming, New York: Academic Press, 1992.
Stephen H. Muggleton & Buntine, W., "Machine Invention of First-Order Predicates by Inverting Resolution," in Laird, J. (ed.), in Proceedings of the Fifth International Conference on Machine Learning, pp.339ff, San Francisco: Morgan Kaufmann, 1988.
Stephen H. Muggleton & Cao, F. (1990). Efficient induction of logic programs. In Proc. Workshop on Algorithmic Learning Theory, Tokyo.
Muggleton, King & Sternberg 1992
Stephen H. Muggleton, King, R., & Sternberg, J., "Protein Secondary Structure Prediction Using Logic-Based Machine Learning," Protein Engineering, 5(7):647-657, 1992.
Stephen H. Muggleton & De Raedt, L., "Inductive Logic Programming: Theory and Methods," {Journal of Logic Programming}, 19,20:629-679, 1994.
Mundy, J. & Zisserman, A., editors (1992). Geometric Invariance in Computer Vision. MIT Press, Cambridge, Massachusetts.
Myers, K., "Hybrid Reasoning Using Universal Attachment," Artificial Intelligence, (67)2:329-375, 1994.
Nagel, T. (1974). What is it like to be a bat? Philosophical Review, 83:435-450.
Nalwa, V. S., A Guided Tour of Computer Vision, Reading, MA: Addison-Wesley, 1993.
Nalwa, V., & Binford, T., "On Detecting Edges," IEEE Trans on Pattern Analysis and Machine Intelligence, PAMI-8(6):699-714, November 1986.
Nalwa, V., & Pauchon, E., "Edgel Aggregation and Edge Description," Computer Vision, Graphics, and Image Processing, 40:79-94, 1987.
Dana Nau Pathology on game trees: A summary of results. In Proceedings of the First Annual National Conference on Artificial Intelligence (AAAI-80), pages 102-104, Stanford, California. AAAI.
Dana Nau Pathology on game trees revisited, and an alternative to minimaxing. Artificial Intelligence, 21(1-2):221-244.
Dana Nau, Kumar, V., & Kanal, L. N. (1984). General branch and bound, and its relation to A* and AO*. Artificial Intelligence, 23:29-58.
Naur, P. (1963). Revised report on the algorithmic language Algol 60. Communications of the Association for Computing Machinery, 6(1):1-17.
Neal, R., "Connectionist Learning of Belief Networks," Artificial Intelligence, 56:71-113, 1991.
Neapolitan, R., Probabilistic Reasoning in Expert Systems: Theory and Algorithms, New York: John Wiley & Sons, 1990.
Netto, E. (1901). Lehrbuch der Combinatorik. B. G. Teubner, Leipzig.
Monty Newborn Computer Chess Comes of Age, New York: Springer-Verlag, 1996.
Allen Newell, Shaw, J., & Simon, H., "Empirical Explorations of the Logic Theory Machine," Proc. West. Joint Computer Conf., vol.15, pp.218-239, 1957. (Reprinted in Feigenbaum, E., & Feldman, J. (eds.), Computers and Thought, nl pp.109-133, New York: McGraw-Hill, 1963.)
Allen Newell & Shaw, J. C. (1957). Programming the logic theory machine. In Proceedings of the 1957 Western Joint Computer Conference, pages 230-240. IRE.
Allen Newell, Shaw, J. C., & Simon, H. A., "Chess-Playing Programs and the Problem of Complexity," IBM Jour. R & D, 2:320-355, 1958. (Reprinted in Feigenbaum, E., & Feldman, J. (eds.), Computers and Thought, pp.109-133, New York: McGraw-Hill, 1963.)
Allen Newell, Shaw, J. C., & Simon, H. A., "Report on a General Problem-Solving Program for a Computer," Computers and Automation, 8(7):10-16, 1959.
Allen Newell & Simon, H. A. (1961). GPS, a program that simulates human thought. In Billing, H., editor, Lernende Automaten, pages 109-124. R. Oldenbourg, Munich, Germany. Reprinted in Feigenbaum & Feldman, 1963pp. 279-293.
Allen Newell & Simon, H., "GPS, A Program That Simulates Human Thought," in Feigenbaum, E., & Feldman, J. (eds.) Computers and Thought, nl pp.279-293, New York: McGraw-Hill, 1963.
Allen Newell "The Possibility of Planning Languages in Man-Computer Communication," in Communication Processes, Proceedings of a Symposium Held in Washington, 1963, New York: Pergamon, 1964.
Allen Newell & Ernst, G. (1965). The search for generality. In Kalenich, W. A., editor, Information Processing 1965: Proceedings of IFIP Congress 1965, volume 1, pages 17-24. Spartan.
Allen Newell & Simon, H., {Human Problem~Solving}, Englewood Cliffs, NJ: Prentice Hall, 1972.
Allen Newell & Simon, H. A., "Computer Science as Empirical Inquiry: Symbols and Search," Communications of the Association for Computing Machinery, 19(3):113-126, 1976.
Allen Newell "Production Systems: Models of Control Structures," in Chase, W. (ed.), Visual Information Processing, New York: Academic Press, 1973.
Allen Newell "The Knowledge Level," Artificial Intelligence, 18(1):87-127, 1982.
Allen Newell Unified Theories of Cognition. Harvard University Press, Cambridge, Massachusetts.
Allen Newell Unified Theories of Cognition, Cambridge, MA: Harvard University Press, 1991.
Neyman, A. (1985). Bounded complexity justifies cooperation in the finitely repeated prisoners' dilemma. Economics Letters, 19:227-229.
Nicholson, A. E. & Brady, J. M. (1992). The data association problem when monitoring robot vehicles using dynamic belief networks. In ECAI 92: 10th European Conference on Artificial Intelligence Proceedings, pages 689-693, Vienna, Austria. Wiley.
Nii, H. P., "Blackboard Systems: The Blackboard Model of Problem Solving and the Evolution of Blackboard Architectures," The AI Magazine, 7(2):38-64, Summer 1986.
Nii, H. P., "Blackboard Systems (Part Two): Blackboard Application Systems, Blackboard Systems from a Knowledge Engineering Perspective," The AI Magazine, 7(3):82-106, 1986.
Nils J.Nilsson Learning Machines: Foundations of Trainable Pattern-Classifying Systems. McGraw-Hill, New York.
Nils J.Nilsson The Mathematical Foundations of Learning Machines, San Francisco: Morgan Kaufmann, 1990. (This Book is a reprint of Nilsson, N., Learning Machines: Foundations of Trainable Pattern-Classifying Systems, New York: McGraw-Hill, 1965.)
Nils J.Nilsson & Raphael, B., "Preliminary Design of an Intelligent Robot," in Tou, J. T. (ed.), Computer and Information Sciences-II, pp.235-259, New York: Academic Press, 1967.
Nils J.Nilsson "Searching Problem-Solving and Game-Playing Trees for Minimal Cost Solutions," in Morrell, A. (ed.), Information Processing 68, vol.2, pp.1556-1562, Amsterdam: North-Holland, 1969.
Nils J.Nilsson Problem-Solving Methods in Artificial Intelligence. McGraw-Hill, New York.
Nils J.Nilsson Principles of Artificial Intelligence, San Francisco: Morgan Kaufmann, 1980.
Nils J.Nilsson "Artificial Intelligence, Employment, and Income," The AI Magazine, 5(2):5-14, Summer 1984.
Nils J.Nilsson Shakey the Robot, Technical Note 323, SRI Internationa. Menlo Park, CA, 1984.
Nils J.Nilsson "Probabilistic Logic, {Artificial Intelligence}, 28(1):71-87, 1986.
Nils J.Nilsson The Mathematical Foundations of Learning Machines. Morgan Kaufmann, San Mateo, California. Introduction by Terrence J. Sejnowski and Halbert White.
Nils J.Nilsson "Logic and Artificial Intelligence," Artificial Intelligence 47:31-56, 1991.
Nils J.Nilsson "Teleo-Reactive Programs for Agent Control," Journal of Artificial Intelligence Research, 1, pp.139-158, January 1994.
Nitta, K., Taki, K., & Ichiyoshi, N. (1992). Experimental parallel inference software. In Fifth Generation Computer Systems 1992, volume 1, pages 166-190, Tokyo. IOS Press.
Peter Norvig Multiple simultaneous interpretations of ambiguous sentences. In Proceedings of the 10th Annual Conference of the Cognitive Science Society.
Peter Norvig Paradigms of Artificial Intelligence Programming: Case Studies in Common LISP, San Francisco: Morgan Kaufmann, 1992.
Nourbakhsh, I., Interleaving Planning and Execution for Autonomous Robots, Boston: Kluwer Academic Publishers, 1997.
Nowick, S. M., Dean, M. E., Dill, D. L., & Horowitz, M. (1993). The design of a high-performance cache controller: a case study in asynchronous synthesis. Integration: The VLSI Journal, 15(3):241-262.
Noyes, J. L. (1992). Artificial Intelligence with Common Lisp: Fundamentals of Symbolic and Numeric Processing. D. C. Heath, Lexington, Massachusetts.
Nunberg, G. (1979). The non-uniqueness of semantic solutions: Polysemy. Language and Philosophy, 3(2):143-184.
Nussbaum, M. C. (1978). Aristotle's De Motu Animalium. Princeton University Press, Princeton, New Jersey.
O'Keefe, R. (1990). The Craft of Prolog. MIT Press, Cambridge, Massachusetts.
Olawsky, D. & Gini, M. (1990). Deferred planning and sensor use. In Proceedings, DARPA Workshop on Innovative Approaches to Planning, Scheduling, and Control. Morgan Kaufmann.
Olesen, K. G. (1993). Causal probabilistic networks with both discrete and continuous variables. IEEE Transactions on Pattern Analysis and Machine Intelligence (PAMI), 15(3):275-279.
Oliver, R. M. & Smith, J. Q., editors (1990). Influence Diagrams, Belief Nets and Decision Analysis. Wiley, New York.
Olson, C. F. (1994). Time and space efficient pose clustering. In Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, pages 251-258, Seattle, Washington.
O'Reilly, U.-M., & Oppacher, F., "Program Search with a Hierarchical Variable Length Representation: Genetic Programming, Simulated Annealing and Hill Climbing," in Davidor, Y., Schwefel, H., & Manner, R. (eds.), Lecture Notes in Computer Science, No.866, Berlin: Springer-Verlag, 1994.
Ortony, A., editor (1979). Metaphor and Thought. Cambridge University Press, Cambridge.
Osherson, D. N., Stob, M., & Weinstein, S. (1986). Systems That Learn: An Introduction to Learning Theory for Cognitive and Computer Scientists. MIT Press, Cambridge, Massachusetts.
Paige, R. & Henglein, F. (1987). Mechanical translation of set theoretic problem specifications into efficient RAM code-a case study. Journal of Symbolic Computation, 4:207-232.
Palay, A. J. (1985). Searching with Probabilities. Pitman, London.
Palmieri, G. & Sanna, R. (1960). Automatic probabilistic programmer/analyzer for pattern recognition. Methodos, 12(48):331-357.
Papadimitriou & Yannakakis 1994
Papadimitriou, C. H. & Yannakakis, M. (1994). On complexity as bounded rationality. In STOC.
Parker, D. B. (1985). Learning logic. Technical Report TR-47, Center for Computational Research in Economics and Management Science, Massachusetts Institute of Technology, Cambridge, Massachusetts.
Partridge, D. (1991). A New Guide to Artificial Intelligence. Ablex, Norwood, New Jersey.
Paterson, M. & Wegman, M., "Linear Unification," Journal of Computer and System Science, 16:158-167, 1978.
Patrick, B. G., Almulla, M., & Newborn, M. M. (1992). An upper bound on the time complexity of iterative-deepening-A*. Annals of Mathematics and Artificial Intelligence, 5(2-4):265-278.
Paul, R. P. (1981). Robot Manipulators: Mathematics, Programming, and Control. MIT Press, Cambridge, Massachusetts.
Peano, G. (1889). Arithmetices principia, nova methodo exposita. Fratres Bocca, Turin.
Judea Pearl "Reverend Bayes on Inference Engines: A Distributed Hierarchical Approach," in Proceedings of the Second National Conference on Artificial Intelligence (AAAI-82), pp.133-136, Menlo Park, CA: AAAI Press, 1982.
Judea Pearl "A Solution for the Branching Factor of the Alpha-Beta Pruning Algorithm and its Optimality," Comm. ACM, 25(8):559-564, 1982.
Judea Pearl Heuristics: Intelligent Search Strategies for Computer Problem Solving, Reading, MA: Addison-Wesley, 1984.
Judea Pearl "Fusion, Propagation, and Structuring in Belief Networks," Artificial Intelligence, 29:241-288, 1986.
Judea Pearl Evidential reasoning using stochastic simulation of causal models. Artificial Intelligence, 32:247-257.
Judea Pearl Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, San Francisco: Morgan Kaufmann, 1988.
Judea Pearl "Reasoning under Uncertainty," Annual Review of Computer Science, vol.4, 1989-1990, pp.37-72, Palo Alto, CA: Annual Reviews, 1990.
Pednault, E. "Formulating Multiagent, Dynamic-World Problems in the Classical Planning Framework," in Georgeff, M., & Lansky, A. (eds.), Reasoning about Actions and Plans: Proceedings of the 1986 Workshop, Timberline, Oregon, pp.47-82, San Francisco: Morgan Kaufmann, 1986. (Also in Allen, J., Hendler, J., & Tate, A. (eds.), Readings in Planning, pp.675-710, San Francisco: Morgan Kaufmann, 1990.)
Pednault, E., "ADL: Exploring the Middle Ground between STRIPS and the Situation Calculus," in Brachman, R., Levesque, H., & Reiter, R. (eds.), Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR-89), pp.324-332, San Francisco: Morgan Kaufmann, 1989.
Charles Sanders Peirce Description of a notation for the logic of relatives, resulting from an amplification of the conceptions of Boole's calculus of logic. Memoirs of the American academy of arts and sciences, 9:317-378.
Charles Sanders Peirce A theory of probable inference. Note B. The logic of relatives. In Studies in logic by members of the Johns Hopkins University, pages 187-203, Boston.
Charles Sanders Peirce Logic as semiotic: the theory of signs. Unpublished manuscript; reprinted in Buchler, 1955pp. 98-119.
Penberthy, J., & Weld, D., "UCPOP: A Sound, Complete Partial-Order Planner for ADL," in Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR-92), pp.103-113, San Francisco: Morgan Kaufmann, 1992.
Peng, J. & Williams, R. J. (1993). Efficient learning and planning within the Dyna framework. Adaptive Behavior, 2:437-454.
Roger Penrose The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics, Oxford: Oxford University Press, 1989.
Roger Penrose Shadows of the Mind: Search for the Missing Science of Consciousness, Oxford: Oxford University Press, 1994.
Peot, M. & Smith, D. (1992). Threat-removal strategies for partial-order planning. In Proceedings of the First International Conference on AI Planning Systems, pages 189-197.
Fernando Pereira Logic for natural language analysis. Technical Note 275, SRI International.
Fernando Pereira & Shieber, S., PROLOG and Natural Language Analysis, CSLI Lecture Notes, No.10, Center for the Study of Language and Information, Stanford University, Stanford, CA, 1987.
Fernando Pereira & Warren, D., "Definite Clause Grammars for Language Analysis: A Survey of the Formalism and a Comparison with Augmented Transition Networks," Artificial Intelligence, 13:231-278, 1980.
Perlis, D., "Languages with Self-Reference, I: Foundations," Artificial Intelligence, 25:301-332, 1985.
Perlis, D., "Languages with Self-Reference, II: Knowledge, Belief, and Modality," Artificial Intelligence, 34:179-212, 1988.
Perona, P., & Malik, J., "Scale-Space and Edge Detection Using Anisotropic Diffusion," IEEE Transactions on Pattern Analysis and Machine Intelligence, PAMI-12:7:629-639, July 1990.
Peterson, C., Redfield, S., Keeler, J. D., & Hartman, E. (1990). An optoelectronic architecture for multilayer learning in a single photorefractive crystal. Neural Computation, 2:25-34.
Pineda, F. J., "Generalization of Back-Propagation to Recurrent Neural Networks," Physical Review Letters, 59:2229-2232, 1987.
Pingle, K., "Visual Perception by a Computer," in {Automatic Interpretation and Classification of Images}, Grasselli, A. (ed.), pp.277-284, New York: Academic Press, 1969.
Pinker, S. (1989). Learnability and Cognition. MIT Press, Cambridge, MA.
Place, U. T. (1956). Is consciousness a brain process? British Journal of Psychology, 47:44-50.
Plotkin, G. D. (1971). Automatic methods of inductive inference. PhD thesis, Edinburgh University.
Pnueli, A. (1977). The temporal logic of programs. In Proceedings of the 18th IEEE Symposium on the Foundations of Computer Science, pages 46-57.
Pohl, I. (1969). Bi-directional and heuristic search in path problems. Technical Report 104, SLAC (Stanford Linear Accelerator Center, Stanford, California.
Pohl, I. (1970). First results on the effect of error in heuristic search. In Meltzer, B. & Michie, D., editors, Machine Intelligence 5, pages 219-236. Elsevier/North-Holland, Amsterdam, London, New York.
Pohl, I., "Bi-directional Search," in {Machine Intelligence 6}, Meltzer, B., & Michie, D. (eds.), pp.127-140, Edinburgh: Edinburgh University Press, 1971.
Pohl, I., "The Avoidance of (Relative) Catastrophe, Heuristic Competence, Genuine Dynamic Weighting and Computational Issues in Heuristic Problem~Solving," in Proceedings of the Third International Joint Conference on Artificial Intelligence (IJCAI-73), pp.20-23, San Francisco: Morgan Kaufmann, 1973.
Pohl, I. (1977). Practical and theoretical considerations in heuristic search algorithms. In Elcock, E. W. & Michie, D., editors, Machine Intelligence 8, pages 55-72. Ellis Horwood, Chichester, England.
Martha Pollack & Ringuette, M., "Introducing the Tileworld: Experimentally Evaluating Agent Architectures," in Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), pp.183-189, Menlo Park, CA: AAAI Press, 1990.
Pollard, C. & Sag, I. A. (1994). Head-Driven Phrase Structure Grammar. University of Chicago Press, Chicago, Illinois.
Pólya, G. (1957). How to solve it; a new aspect of mathematical method. Doubleday, Garden City, New York, second edition. .
Dean Pomerleau "Rapidly Adapting Artificial Neural Networks for Autonomous Navigation," in Lippmann, P., et al (eds.), Advances in Neural Information Processing Systems, 3, pp.429-435, San Francisco: Morgan Kaufmann, 1991.
Dean Pomerleau Neural Network Perception for Mobile Robot Guidance, Boston: Kluwer Academic Publishers, 1993.
Popper, K. R. (1959). The Logic of Scientific Discovery. Basic Books, New York.
Popper, K. R. (1962). Conjectures and refutations; the growth of scientific knowledge. Basic Books, New York.
Port, R., & van Gelder, T., Mind as Motion: Explorations in the Dynamics of Cognition, Cambridge, MA: Bradford Books/MIT Press, 1995.
Pospesel, H., Introduction to Logic: Predicate Logic, Englewood Cliffs, NJ: Prentice Hall, 1976.
Post, E. L. (1921). Introduction to a general theory of elementary propositions. American Journal of Mathematics, 43:163-185.
Powers, R., Galatea 2.2, New York: Farrar, Straus & Giroux, 1995.
Powley, C., Ferguson, C., & Korf, R., "Depth-First Heuristic Search on a SIMD Machine," Artificial Intelligence, 60:199-242, 1993.
Pradhan, M., Provan, G., Middleton, B., & Henrion, M., "Knowledge Engineering for Large Belief Networks," in Proceedings of the Tenth Conference on Uncertainty in Artificial Intelligence, pp.484-490, San Francisco: Morgan Kaufmann, 1994.
Pratt, V. R. (1976). Semantical considerations on Floyd-Hoare logic. In Proceedings of the 17th IEEE Symposium on the Foundations of Computer Science, pages 109-121.
Prawitz, D. (1960). An improved proof procedure. Theoria, 26:102-139.
Prawitz, D., Natural Deduction: A Proof Theoreticall Study, Stockholm: Almquist and Wiksell, 1965.
Prieditis, A, "Machine Discovery of Effective Admissible Heuristics," Machine Learning, 12(1-3):117-141, 1993.
Prinz, D. G. (1952). Robot chess. Research, 5:261-266.
Prior, A. N. (1967). Past, Present, and Future. Oxford University Press, Oxford.
Pullum, G. K. (1991). The Great Eskimo Vocabulary Hoax (and Other Irreverent Essays on the Study of Language). University of Chicago Press, Chicago, Illinois.
Purdom, P. (1983). Search rearrangement backtracking and polynomial average time. Artificial Intelligence, 21:117-133.
Purdom, P. W., Jr., & Brown, C., "Polynomial Average-Time Satisfiability Problems," Information Science, 41:23-42, 1987.
Putnam, H. (1960). Minds and machines. In Hook, S., editor, Dimensions of Mind, pages 138-164. Macmillan, London.
Putnam, H. (1963). `Degree of confirmation' and inductive logic. In Schilpp, P. A., editor, The Philosophy of Rudolf Carnap. Open Court, La Salle, Illinois.
Putnam, H. (1967). The nature of mental states. In Capitan, W. H. & Merrill, D. D., editors, Art, Mind, and Religion, pages 37-48. University of Pittsburgh Press, Pittsburgh, Pennsylvania. Original title was ``Psychological predicates''; title changed in later reprints at the request of the author.
Puterman, M., Markov Decision Processesm Discrete Stochastic Dynamic Programming, New York: John Wiley & Sons, 1994.
Zenon Pylyshyn Minds, machines and phenomenology: Some reflections on Dreyfus' ``What Computers Can't Do''. International Journal of Cognitive Psychology, 3(1):57-77.
Zenon Pylyshyn Computation and Cognition: Toward a Foundation for Cognitive Science. MIT Press, Cambridge, Massachusetts.
Quillian, M. R. (1961). A design for an understanding machine. Paper presented at a colloquium: Semantic Problems in Natural Language, King's College, Cambridge, England.
Quillian, M. R. (1968). Semantic memory. In Minsky, M. L., editor, Semantic Information Processing, pages 216-270. MIT Press, Cambridge, Massachusetts.
Quine, W. V. (1953). Two dogmas of empiricism. In From a Logical Point of View, pages 20-46. Harper and Row, New York.
Quine, W. V. (1960). Word and Object. MIT Press, Cambridge, Massachusetts.
Quine, W. V. (1982). Methods of Logic. Harvard University Press, Cambridge, Massachusetts, fourth edition.
Quinlan, E. & O'Brien, S. (1992). Sublanguage: characteristics and selection guidelines for MT. In AI and Cognitive Science '92: Proceedings of Annual Irish Conference on Artificial Intelligence and Cognitive Science '92, pages 342-345, Limerick, Ireland. Springer-Verlag.
Quinlan, J., "Discovering Rules from Large Collections of Examples: A Case Study," in Michie, D. (ed.), Expert Systems in Microelectronic Age, Edinburgh: Edinburgh University Press, 1979.
Ross Quinlan Induction of decision trees. Machine Learning, 1:81-106.
Ross Quinlan "Learning Logical Definitions from Relations," Machine Learning, 5(3):239-266, 1990.
Ross Quinlan C4.5:Programs for Machine Learning, San Francisco: Morgan Kaufmann, 1993.
Ross Quinlan Combining instance-based and model-based learning. In Proceedings of the Tenth International Conference on Machine Learning, pages 236-243, Amherst, MA. Morgan Kaufmann.
Ross Quinlan & Cameron-Jones, R. M. (1993). FOIL: a midterm report. In Brazdil, P. B., editor, European Conference on Machine Learning Proceedings (ECML-93), pages 3-20, Vienna. Springer-Verlag.
Quirk, R., Greenbaum, S., Leech, G., & Svartvik, J. (1985). A Comprehensive Grammar of the English Language. Longman, New York.
Rabiner, L. R. (1990). A tutorial on hidden Markov models and selected applications in speech recognition. Proceedings of the IEEE. Reprinted in Waibel & Lee, 1990.
Rabiner, L. R. & Juang, B.-H. (1993). Fundamentals of Speech Recognition. Prentice-Hall.
Raibert, M. H. (1986). Legged Robots That Balance. MIT Press, Cambridge, Massachusetts.
Ramadge, P., & Wonham, M., "The Control of Discrete Event Systems," Proc. of the IEEE, 77(1):81-93, 1989.
Ramsey, F. P. (1931). Truth and probability. In Braithwaite, R. B., editor, The Foundations of Mathematics and Other Logical Essays. Harcourt Brace Jovanovich, New York.
Raphael, B. (1968). SIR: Semantic information retrieval. In Minsky, M. L., editor, Semantic Information Processing, pages 33-134. MIT Press, Cambridge, Massachusetts.
Raphael, B. (1976). The Thinking Computer: Mind Inside Matter. W. H. Freeman, New York.
Ratner, D. & Warmuth, M. (1986). Finding a shortest solution for the n x n extension of the 15-puzzle is intractable. In Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI-86), volume 1, pages 168-172, Philadelphia, Pennsylvania. Morgan Kaufmann.
Reichardt, W., "On the Theory of Lateral Nervous Inhibition in the Complex Eye of Limulus," Progress in Brain Research, 17:64-73, 1965.
Reichardt, J. (1978). Robots: Fact, Fiction, and Prediction. Penguin Books, New York.
Reichenbach, H. (1949). The Theory of Probability: An Inquiry into the Logical and Mathematical Foundations of the Calculus of Probability. University of California Press, Berkeley and Los Angeles, second edition.
Reif, J. H. (1979). Complexity of the mover's problem and generalizations. In Proceedings of the 20th IEEE Symposium on Foundations of Computer Science, pages 421-427.
Reiter, R., "A Logic for Default Reasoning," Artificial Intelligence, 13(1-2):81-132, 1980.
Reiter, R., "The Frame Problem in Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression," in Lifschitz, V. (ed.), Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp.359-380, New York: Academic Press, 1991.
Reitman, W., & Wilcox, B., "The Structure and Performance of the INTERIM.2 Go Program," in Proceedings of the Sixth International Joint Conference on Artificial Intelligence (IJCAI-79), pp.711-719, San Francisco: Morgan Kaufmann, 1979.
Remus, H. (1962). Simulation of a learning machine for playing Go. In Proceedings IFIP Congress, pages 428-432. Elsevier/North-Holland.
Rényi, A. (1970). Probability Theory. Elsevier/North-Holland, Amsterdam, London, New York.
Rescher, N. & Urquhart, A. (1971). Temporal Logic. Springer-Verlag, Berlin.
Resnick, M., "Behavior Construction Kits," Communications of the ACM, 36(7):64-71, July 1993.
Resnik, P. (1993). Semantic classes and syntactic ambiguity. ARPA Workshop on Human Language Technology. Princeton.
Elaine Rich & Kevin Knight Artificial Intelligence (second edition), New York: McGraw-Hill, 1991.
Rieger, C. (1976). An organization of knowledge for problem solving and language comprehension. Artificial Intelligence, 7:89-127.
Ringle, M. (1979). Philosophical Perspectives in Artificial Intelligence. Humanities Press, Atlantic Highlands, New Jersey.
Rissanen, J., "Universal Coding, Information, Prediction, and Estimation," IEEE Transactions on Information Theory, IT-30(4):629-636, 1984.
Ritchie, G. D. & Hanna, F. K. (1984). AM: a case study in AI methodology. Artificial Intelligence, 23(3):249-268.
Rivest, R., "Learning Decision Lists," Machine Learning, 2, 229-246, 1987.
Rivest, R., & Schapire, R., "Inference of Finite Automata Using Homing Sequences," Information and Computation, 103(2):299-347, 1993.
Roach, J. W., Sundararajan, R., & Watson, L. T. (1990). Replacing unification by constraint satisfaction to improve logic program expressiveness. Journal of Automated Reasoning, 6(1):51-75.
Roberts, D. D. (1973). The Existential Graphs of Charles S. Peirce. Mouton, The Hague and Paris.
Roberts, L., Machine Perception of Three-Dimensional Solids, Tech. Report 315, MIT Lincoln Laboratory, Ph.D. dissertation, Massachusetts Institute of Technology, 1963.
John A. Robinson "A Machine-Oriented Logic Based on the Resolution Principle," Journal of the Association for Computing Machinery, 12(1):23-41, 1965,
Rock, I. (1984). Perception. W. H. Freeman, New York.
Rohwer, R., & Forrest, B., "Training Time-Dependence in Neural Networks," in Caudill, M., & Butler, C. (eds.), IEEE First International Conference on Neural Networks, San Diego, 1987, vol. II, pp.701-708, New York: IEEE, 1987.
Rorty, R. (1965). Mind-body identity, privacy, and categories. Review of Metaphysics, 19(1):24-54.
Rosenblatt, F. (1957). The perceptron: A perceiving and recognizing automaton. Report 85-460-1, Project PARA, Cornell Aeronautical Laboratory.
Rosenblatt, F. (1960). On the convergence of reinforcement procedures in simple perceptrons. Report VG-1196-G-4, Cornell Aeronautical Laboratory.
Rosenblatt, F., Principles of Neurodynamics, Washington, DC: Spartan Books, 1962.
Rosenbloom, Laird & Newell 1993
Paul Rosenbloom, Laird, J., & Newell, A., (eds.), {The Soar Papers: Research on Integrated Intelligence}, vols. 1 and 2, Cambridge, MA: MIT Press, 1993.
Rosenschein, J. S. & Genesereth, M. R. (1987). Communication and cooperation among logic-based agents. In Friesen, O. & Golshani, F., editors, Sixth Annual International Phoenix Conference on Computers and Communications: 1987 Conference Proceedings, pages 594-600. IEEE Computer Society Press.
Rosenschein, S. J. (1985). Formal theories of knowledge in AI and robotics. New Generation Computing, 3(4):345-357.
Rosenschein, S., & Kaelbling, L., "A Situated View of Representation and Control," Artificial Intelligence, 73:149-173, 1995.
Rosenthal, D. M., editor (1971). Materialism and the Mind-Body Problem. Prentice-Hall, Englewood Cliffs, New Jersey.
Ross, S., A First Course in Probability, third edition, London: Macmillan, 1988.
Rothwell, C. A., Zisserman, A., Mundy, J. L., & Forsyth, D. A. (1993). Efficient model library access by projectively invariant indexing functions. In Proceedings 1992 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, pages 109-114, Champaign, Illinois. IEEE Computer Society Press.
Roussel, P., "PROLOG: Manual de Reference et d'Utilization," Technical Report, Université Aix-Marseille II, Groupe d'Intelligence Artificielle, France, 1975.
Rouveirol, C. & Puget, J.-F. (1989). A simple and general solution for inverting resolution. In Proc. European Working Session on Learning, pages 201-210. Pitman.
Rowe, N. C. (1988). Artificial intelligence through Prolog. Prentice-Hall, Englewood Cliffs, New Jersey.
David Rumelhart, Hinton, G. E., & Williams, R. J., "Learning Internal Representations by Error Propagation," in Rumelhart, D. E., & McClelland, J. L. (eds.), Parallel Distributed Processing, Vol 1., pp.318-362, 1986.
David Rumelhart & McClelland, J. L., editors (1986). Parallel Distributed Processing. MIT Press, Cambridge, Massachusetts. In two volumes.
Ruspini, E. H., Lowrance, J. D., & Strat, T. M. (1992). Understanding evidential reasoning. International Journal of Approximate Reasoning, 6(3):401-424.
Russell, J. G. B. (1990). Is screening for abdominal aortic aneurysm worthwhile? Clinical Radiology, 41:182-184.
Stuart Russell & Grosof, B. (1987). A declarative approach to bias in concept learning. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), Seattle, Washington. Morgan Kaufmann.
Stuart Russell The compleat guide to MRS. Report STAN-CS-85-1080, Computer Science Department, Stanford University.
Stuart Russell Preliminary steps toward the automation of induction. In Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI-86), Philadelphia, Pennsylvania. Morgan Kaufmann.
Stuart Russell A quantitative analysis of analogy by similarity. In Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI-86), Philadelphia, Pennsylvania. Morgan Kaufmann.
Stuart Russell Tree-structured bias. In Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88), volume 2, pages 641-645, St. Paul, Minnesota. Morgan Kaufmann.
Stuart Russell Efficient memory-bounded search methods. In ECAI 92: 10th European Conference on Artificial Intelligence Proceedings, pages 1-5, Vienna, Austria. Wiley.
Stuart Russell, Binder, J., & Koller, D. (1994). Adaptive probabilistic networks. Technical Report UCB/CSD-94-824, Computer Science Division, University of California at Berkeley.
Stuart Russell & Subramanian, D. (1993). Provably bounded optimal agents. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), Chambery, France. Morgan Kaufmann.
Stuart Russell & Wefald, E. (1991). Do the Right Thing: Studies in Limited Rationality. MIT Press, Cambridge, Massachusetts.
Stuart Russell & Wefald, E. H. (1989). On optimal game-tree search using rational meta-reasoning. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89), pages 334-340, Detroit, Michigan. Morgan Kaufmann.
Stuart Russell & Norvig, P., Artificial Intelligence: A Modern Approach, Englewood Cliffs, NJ: Prentice Hall, 1995. (Revised edition to appear in 1998.)
Stuart Russell "Rationality and Intelligence," Artificial Intelligence, (94)1:57-77, 1997
Ryder, J. L. (1971). Heuristic analysis of large trees as generated in the game of Go. Memo AIM-155, Stanford Artificial Intelligence Project, Computer Science Department, Stanford University, Stanford, California.
Earl Sacerdoti "Planning in a Hierarchy of Abstraction Spaces," Artificial Intelligence, 5(2):115-135, 1974. (Reprinted in Allen, J., Hendler, J., & Tate, A. (eds.), Readings in Planning, pp.98-108, San Francisco: Morgan Kaufmann, 1990.)
Earl Sacerdoti "The Non-linear Nature of Plans," in Proceedings of the Fourth International Joint Conference on Artificial Intelligence (IJCAI-75), pp.206-214, San Francisco: Morgan Kaufmann, 1975. (Reprinted in Allen, J., Hendler, J., & Tate, A. (eds.), Readings in Planning, pp.162-170, San Francisco: Morgan Kaufmann, 1990.)
Earl Sacerdoti A Structure for Plans and Behavior, New York: American Elsevier, 1977.
Earl Sacerdoti, Fikes, R. E., Reboh, R., Sagalowicz, D., Waldinger, R. J., & Wilber, B. M. (1976). QLISP-a language for the interactive development of complex systems. In Proceedings of the AFIPS National Computer Conference, pages 349-356.
Sachs, J. S. (1967). Recognition memory for syntactic and semantic aspects of connected discourse. Perception and Psychophysics, 2:437-442.
Sacks, E. & Joskowicz, L. (1993). Automated modeling and kinematic simulation of mechanisms. Computer Aided Design, 25(2):106-118.
Sadek, M., Ferrieux, A., Cozannet, A., Bretier, P., Panaget, F., & Simonin, J., "Effective Human-Computer Cooperative Spoken Dialogue: The AGS Demonstrator," in Proc. ICSLP'96 International Conf. on Spoken Language Processing, nl pp.546-549, Philadelphia, PA, October 3-6, 1996.
Sager, N. (1981). Natural Language Information Processing: A Computer Grammar of English and Its Applications. Addison-Wesley, Reading, Massachusetts.
Salton, G. (1989). Automatic Text Processing. Addison-Wesley.
Sammut, C., Hurst, S., Kedzier, D., & Michie, D. (1992). Learning to fly. In Proceedings of the Ninth International Conference on Machine Learning, Aberdeen. Morgan Kaufmann.
Arthur Samuel "Some Studies in Machine Learning Using the Game of Checkers," IBM Jour. R & D, 3:211-229, 1959. (Reprinted in Feigenbaum, E., & Feldman, J. (eds.), Computers and Thought, pp.71-105, New York: McGraw-Hill, 1963.)
Arthur Samuel "Some Studies in Machine Learning Using the Game of Checkers II- Recent Progress," IBM Jour. R & D, 11(6), 601-617, 1967.
Samuelsson, C. & Rayner, M. (1991). Quantitative evaluation of explanation-based learning as an optimization tool for a large-scale natural language system. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), pages 609-615, Sydney. Morgan Kaufmann.
Saraswat, V. A. (1993). Concurrent constraint programming. MIT Press, Cambridge, Massachusetts.
Savage, L. J. (1954). The Foundations of Statistics. Wiley, New York.
Sayre, K. (1993). Three more flaws in the computational model. Paper presented at the APA (Central Division) Annual Conference, Chicago, Illinois.
Schabes, Y., Abeille, A., & Joshi, A. K. (1988). Parsing strategies with `lexicalized' grammars: application to tree adjoining grammars. In Vargha, D., editor, COLING BUDAPEST. Proceedings of the 12th International Conference on Computational Linguistics, volume 2, pages 578-583, Budapest, Hungary. John von Neumann Soc. Comput. Sci.
Jonathan Schaeffer, Culberson, J., Treloar, N., Knight, B., Lu, P., & Szafron, D., "A World Championship Caliber Checkers Program," Artificial Intelligence, 53(2-3):273-289, 1992.
Jonathan Schaeffer & Lake, R., "Solving the Game of Checkers," in Nowakowski, R. J. (ed.), Games of No Chance, pp.119-133, Cambridge: Cambridge University Press, 1996.
Jonathan Schaeffer One Jump Ahead: Challenging Human Supremacy in Checkers, New York: Springer-Verlag, 1997.
Robert J. Schalkoff Artificial Intelligence: An Engineering Approach. McGraw-Hill, New York.
Schank, R. C. & Abelson, R. P. (1977). Scripts, Plans, Goals, and Understanding. Lawrence Erlbaum. .
Schank, R. C. & Riesbeck, C. K. (1981). Inside Computer Understanding: Five Programs Plus Miniatures. Lawrence Erlbaum Associates, Potomac, Maryland.
Scherl, R., & Levesque, H., "The Frame Problem and Knowledge Producing Actions," in Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), pp.689-695, Menlo Park, CA: AAAI Press, 1993.
Schmolze, J. G. & Lipkis, T. A. (1983). Classification in the KL-ONE representation system. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence (IJCAI-83), Karlsruhe, Germany. Morgan Kaufmann.
Schofield, P. D. A. (1967). Complete solution of the eight puzzle. In Dale, E. & Michie, D., editors, Machine Intelligence 2, pages 125-133. Elsevier/North-Holland, Amsterdam, London, New York.
Schönfinkel, M. (1924). Über die Bausteine der mathematischen Logik. Mathematische Annalen, 92:305-316. Translated into English and republished as ``On the building blocks of mathematical logic'' in VanHeijenoort, 1967pp. 355-366.
Schoppers, M. J., "Universal Plans for Reactive Robots in Unpredictable~Domains," in Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), pp.1039-1046, San Francisco: Morgan Kaufmann, 1987.
Schoppers, M. J. (1989). In defense of reaction plans as caches. AI Magazine, 10(4):51-60.
Schraudolph, Dayan & Sejnowski 1994
Schraudolph, N., Dayan, P., & Sejnowski, T., "Temporal Difference Position Evaluation in the Game of GO," in Cowan, J., et al (eds.), Advances in Neural Information Processing Systems, 6, pp.817-824, San Francisco: Morgan Kaufmann, 1994.
Schröder, E. (1877). Der Operationskreis des Logikkalküls. B. G. Teubner, Leipzig. .
Lenhart Schubert "Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds with Fully Specified Actions," in Kyberg, H., Loui, R., & Carlson, G. (eds.), {Knowledge Representation and Defeasible Reasoning}, pp.23-67, Boston: Kluwer Academic Publishers, 1990.
Schultz, Dayan & Montague 1997
Schultz, W., Dayan, P., & Montague, P. R., "A Neural Substrate for Prediction and Reward," Science, 275:1593-1599, March 14, 1997.
Schwartz, J., "The Limits of Artificial Intelligence," in the Encyclopedia of Artificial Intelligence, New York: Hohn Wiley & Sons, 1987.
Schwuttke, U. M. (1992). Artificial intelligence for real-time monitoring and control. In Proceedings of the IEEE International Symposium on Industrial Electronics, volume 1, pages 290-294, Xian, China.
Scriven, M. (1953). The mechanical concept of mind. Mind, 62:230-240.
John R. Searle Speech Acts: An Essay in the Philosophy of Language, Cambridge: Cambridge University Press, 1969.
John R. Searle "Minds, Brains, and Programs," The Behavioral and Brain Sciences, 3:417-457, 1980 (with open peer commentary). (Reprinted in Hofstadter, D. R., & Dennett, D. C. (eds.), The Mind's I : Fantasies and Reflections on Self and Soul, pp.351-373, New York: Basic Books, 1981.)
John R. Searle Minds, Brains and Science. Harvard University Press, Cambridge, Massachusetts.
John R. Searle The Rediscovery of the Mind, Cambridge, MA: MIT Press, 1992.
Sejnowski, T., & Rosenberg, C., "Parallel Networks That Learn to Pronounce English Text," Complex Systems 1:145-168, 1987.
Selfridge, O. G. (1959). Pandemonium: A paradigm for learning. In Blake, D. V. & Uttley, A. M., editors, Proceedings of the Symposium on Mechanization of Thought Processes, pages 511-529, Teddington, United Kingdom. National Physical Laboratory, Her Majesty's Stationery Office.
Selfridge, O. G. & Neisser, U. (1960). Pattern recognition by machine. Scientific American, 203:60-68. Reprinted in Feigenbaum & Feldman, 1963.
Sells, P. (1985). Lectures on Contemporary Syntactic Theories: An Introduction to Government-Binding Theory, Generalized Phrase Structure Grammar, and Lexical-Functional Grammar. Center for the Study of Language and Information (CSLI), Stanford, California.
Bart Selman & Kautz, H., "Knowledge Compilation Using Horn Approximations," in Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), pp.904-909, Menlo Park, CA: AAAI Press, 1991.
Bart Selman & Kautz, H., "An Empirical Study of Greedy Local Search for Satisfiability Testing," in Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), pp.46-51, Menlo Park, CA: AAAI Press, 1993.
Bart Selman, Kautz, H., & Cohen, B., "Noise Strategies for Improving Local Search," in Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94), pp.337-343, Menlo Park, CA: AAAI Press, 1994.
Bart Selman, Kautz, H., & Cohen, B., "Local Search Strategies for Satisfiability Testing," in Du, D., Gu, J., & Pardalos, P. (eds.), Satisfiability Problem: Theory and Applications, Vol.35, Dimacs Series in Discrete Mathematics and Theoretical Computer Science}, Providence, RI: American Mathematical Society, 1996.
Bart Selman, & Levesque, H., "Abductive and Default Reasoning: A Computational Core," in Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), pp.343-348, Menlo Park, CA: AAAI Press, 1990.
Selman, Levesque & Mitchell 1992
Bart Selman, Levesque, H., & Mitchell, D., "A New Method for Solving Hard Satisfiability Problems," in Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), pp.440-446, Menlo Park, CA: AAAI Press, 1992.
Bart Selman & Levesque, H. J. (1993). The complexity of path-based defeasible inheritance. Artificial Intelligence, 62(2):303-339.
Shachter, R. D. (1986). Evaluating influence diagrams. Operations Research, 34:871-882.
Shachter, R. D., D'Ambrosio, B., & Del Favero, B. A. (1990). Symbolic probabilistic inference in belief networks. In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), pages 126-131, Boston, Massachusetts. MIT Press.
Shachter, R. D. & Peot, M. A. (1989). Simulation approaches to general probabilistic inference on belief networks. In Proceedings UAI-89.
Shachter, R., & Kenley, C., "Gaussian Influence Diagrams," Management Science, 35:527-550, 1989.
Glenn Shafer A Mathematical Theory of Evidence, Princeton, NJ: Princeton University Press, 1976.
Glenn Shafer & Pearl, J. (eds.), Readings in Uncertain Reasoning, San Francisco: Morgan Kaufmann, 1990.
Shanahan, M., Solving the Frame Problem: A Mathematical Investigation of the Commonsense Law of Inertia, Cambridge, MA: MIT Press, 1997.
Shankar, N. (1986). Proof-checking metamathematics. PhD thesis, Computer Science Department, University of Texas at Austin.
Claude Shannon & Weaver, W. (1949). The Mathematical Theory of Communication. University of Illinois Press, Urbana.
Claude Shannon "Programming a Computer for Playing Chess," Philosophical Magazine (Series 7), vol.41, pp.256-275, 1950.
Claude Shannon & McCarthy, J. (eds.), Automata Studies, Annals of Mathematical Studies, 34, Princeton, NJ: Princeton University Press, 1956.
Shapiro, E. (1981). An algorithm that infers theories from facts. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence (IJCAI-81), Vancouver, British Columbia. Morgan Kaufmann.
Shapiro, E. Y. (1983). A subset of Concurrent Prolog and its interpreter. ICOT Technical Report TR-003, Institute for New Generation Computing Technology, Tokyo.
Stuart C.Shapiro The SNePS semantic network processing system. In Findler, N. V., editor, Associative Networks: Representation and Use of Knowledge by Computers, pages 179-203. Academic Press, New York.
Stuart C.Shapiro Encyclopedia of Artificial Intelligence. Wiley, New York, second edition. Two volumes.
Sharples, M., Hogg, D., Hutchinson, C., Torrance, S., & Young, D. (1989). Computers and Thought: A Practical Introduction to Artificial Intelligence. MIT Press, Cambridge, Massachusetts.
Shavlik, J., & Dietterich, T. (eds.), Readings in Machine Learning, San Francisco: Morgan Kaufmann, 1990.
Shen, W.-M., Autonomous Learning from the Environment, San Francisco: W. H. Freeman, 1994.
Shenoy, P. P. (1989). A valuation-based language for expert systems. International Journal of Approximate Reasoning, 3(5):383-411.
Shieber, S. M. (1986). An Introduction to Unification-Based Approaches to Grammar. Center for the Study of Language and Information (CSLI), Stanford, California.
Shirai, Y., Three-Dimensional Computer Vision, Berlin: Springer-Verlag, 1987.
Shirayanagi, K. (1990). Knowledge representation and its refinement in go programs. In Marsland, A. T. & Schaeffer, J., editors, Computers, Chess, and Cognition, pages 287-300. Springer-Verlag, Berlin.
Yoav Shoham "Temporal Logics in AI: Semantical and Ontological Considerations," Artificial Intelligence, 33(1):89-104, 1987.
Yoav Shoham Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence, Cambridge, MA: MIT Press, 1988.
Yoav Shoham & McDermott, D. (1988). Problems in formal temporal reasoning. Artificial Intelligence, 36(1):49-61.
Yoav Shoham "Agent-Oriented Programming," Artificial Intelligence, 60:51-92, 1993.
Yoav Shoham AI Programming in PROLOG, San Francisco: Morgan Kaufmann, 1994.
Yoav Shoham "The Open Scientific borders of AI, and the Case of Economics," ACM Computing Surveys, 28(4):11ff, December 1996.
Edward H. Shortliffe Computer-Based Medical Consultations: MYCIN, New York: Elsevier, 1976.
Shrobe, H. (ed.), Exploring Artificial Intelligence: Survey Talks from the National Conference on Artificial Intelligence, San Francisco: Morgan Kaufmann, 1988.
Shwe, M. & Cooper, G. (1991). An empirical analysis of likelihood-weighting simulation on a large, multiply connected medical belief network. Computers and Biomedical Research, 1991(5):453-475.
Siekmann, J. & Wrightson, G., editors (1983). Automation of Reasoning. Springer-Verlag, Berlin. Two volumes.
Sietsma, J. & Dow, R. J. F. (1988). Neural net pruning-why and how. In IEEE International Conference on Neural Networks, pages 325-333, San Diego. IEEE.
Siklossy, L. & Dreussi, J. (1973). An efficient robot planner which generates its own procedures. In Proceedings of the Third International Joint Conference on Artificial Intelligence (IJCAI-73), pages 423-430, Stanford, California. IJCAII.
Simmons, R., Krotkov, E., Whittaker, W., & Albrecht, B. (1992). Progress towards robotic exploration of extreme terrain. Applied Intelligence: The International Journal of Artificial Intelligence, Neural Networks, and Complex Problem-Solving Technologies, 2(2):163-180.
Herbert A. Simon Rational choice and the structure of the environment. In Models of Bounded Rationality, volume 2. MIT Press, Cambridge, Massachusetts.
Herbert A. Simon Experiments with a heuristic compiler. Journal of the Association for Computing Machinery, 10:493-506.
Herbert A. Simon The Sciences of the Artificial. MIT Press, Cambridge, Massachusetts, second edition.
Herbert A. Simon & Newell, A. (1958). Heuristic problem solving: The next advance in operations research. Operations Research, 6:1-10. Based on a talk given in 1957.
Herbert A. Simon & Newell, A. (1961). Computer simulation of human thinking and problem solving. Datamation, pages 35-37.
Siskind, J. M. (1994). Lexical acquisition in the presence of noise and homonymy. In Proceedings of AAAI-94.
Burrhus Frederic Skinner Science and human behavior. Macmillan, London.
Albert Thoralf Skolem Logisch-kombinatorische Untersuchungen über die rfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über die dichte Mengen. Videnskapsselskapets skrifter, I. Matematisk-naturvidenskabelig klasse, 4.
Albert Thoralf Skolem Über die mathematische Logik. Norsk matematisk tidsskrift, 10:125-142.
Slate, D., & Atkin, L., "Chess 4.5m The Northwestern University Chess Program," in Fry, P. (ed.), Chess Skill in Man and Machine, pp.82-118, New York: Springer-Verlag, 1977.
Slagle, J. R., "A Heuristic Program That Solves Symbolic Integration Problems in Freshman Calculus," Jour. Assoc. of Comp. Mach., 10:507-520, 1963. (Also in Feigenbaum, E., & Feldman, J. (eds.), Computers and Thought, pp.191-203, New York: Mcgraw-Hill, 1963.)
Slagle, J. R. (1963b). Game trees, m & n minimaxing, and the m & n alpha-beta procedure. Artificial Intelligence Group Report 3, University of California, Lawrence Radiation Laboratory, Livermore, California.
Slagle, J. R. (1971). Artificial Intelligence: The Heuristic Programming Approach. McGraw-Hill, New York.
Slagle, J., & Dixon J., "Experiments with Some Programs that Search Game Trees," Jour. Assoc. Comp. Mach., 16:2:189-207, 1969.
Slate, D. J. & Atkin, L. R. (1977). CHESS 4.5-The Northwestern University chess program. In Frey, P. W., editor, Chess Skill in Man and Machine, pages 82-118. Springer-Verlag, Berlin.
Slater, E. (1950). Statistics for the chess computer and the factor of mobility. In Symposium on Information Theory, pages 150-152, London. Ministry of Supply.
Aaron Sloman The Computer Revolution in Philosophy. Harvester Press, Hassocks, Sussex.
Aaron Sloman POPLOG, a multi-purpose multi-language program development environment. In Artificial Intelligence - Industrial and Commercial Applications. First International Conference, pages 45-63, London. Queensdale.
Smallwood, R. D. & Sondik, E. J. (1973). The optimal control of partially observable Markov processes over a finite horizon. Operations Research, 21:1071-1088.
Smith, D. E., "Controlling Backward Inference," Artificial Intelligence, 39(2):145-208, 1989.
Smith, Genesereth & Ginsberg 1986
Smith, D. E., Genesereth, M., & Ginsberg, M., "Controlling Recursive Inference," Artificial Intelligence, 30(3):343-389, 1986.
Douglas R. Smith KIDS: a semiautomatic program development system. IEEE Transactions on Software Engineering, 16(9):1024-1043.
Soderland, S., & Weld, D., "Evaluating Nonlinear Planning," Technical Report TR-91-02-03, University of Washington Department of Computer Science and Engineering, Seattle, WA, 1991.
Solomonoff, R. J. (1964). A formal theory of inductive inference. Information and Control, 7:1-22, 224-254.
Sondik, E. J. (1971). The optimal control of partially observable Markov decision processes. PhD thesis, Stanford University, Stanford, California.
John Sowa Principles of Semantic Networks, San Francisco: Morgan Kaufmann, 1991.
Spiegelhalter, D., Dawid, P., Lauritzen, S., & Cowell, R. (1993). Bayesian analysis in expert systems. Statistical Science, 8:219-282.
Spiegelhalter, D. J. (1986). Probabilistic reasoning in predictive expert systems. In Kanal, L. N. & Lemmer, J. F., editors, Uncertainty in Artificial Intelligence, pages 47-67. Elsevier/North-Holland, Amsterdam, London, New York.
Spirtes, P., Glymour, C., & Scheines, R. (1993). Causation, prediction, and search. Springer-Verlag, Berlin.
Spirtes, P., & Meek, C., "Learning Bayesian Networks with Discrete Variables from Data," in Proceedings of First International Conference on Knowledge Discovery and Data Mining, San Francisco: Morgan Kaufmann, 1995.
Srivas, M. & Bickford, M. (1990). Formal verification of a pipelined microprocessor. IEEE Software, 7(5):52-64.
Richard Stallman & Sussman, G., "Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis," Artificial Intelligence, 9(2):135-196, 1977.
Stanfill, C., & Waltz, D., "Toward Memory-Based Reasoning," Communications of the ACM, 29(12):1213-1228, 1986.
Steele, G. (1990). Common LISP: The Language. Digital Press, Bedford, Massachusetts, second edition.
Stefik, M. J. (1981a). Planning and meta-planning. Artificial Intelligence, 16:141-169.
Stefik, M. J. (1981b). Planning with constraints. Artificial Intelligence, 16:111-140.
Stefik, M., Introduction to Knowledge Systems, San Francisco Morgan Kaufmann, 1995.
Steinberg, D. & Jakobovits, L. (1971). Semantics. Cambridge University Press. .
Stentz, A., "The Focussed D* Algorithm for Real-Time Replanning," in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), pp.1652-1659, San Francisco: Morgan Kaufmann, 1995.
Stentz, A., & Hebert, M., "A Complete Navigation System for GoalAcquisition in Unknown Environments," {Autonomous Robots}, 2(2):127-147, 1995.
Sterling, L., & Shapiro, E., The Art of PROLOG, Cambridge, MA: MIT Press, 1986.
Stevens, K. A. (1981). The information content of texture gradients. Biological Cybernetics, 42:95-105.
Mark Stickel "Automated Deduction by Theory Resolution," {Journal of Automated Reasoning}, 1(4):333-355, 1985.
Mark Stickel "A PROLOG Technology Theorem Prover: Implementation by an Extended PROLOG Compiler," Journal of Automated Reasoning, 4:353-380, 1988.
Mark Stickel & Tyson, M., "An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction," in Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), pp.1073-1075, San Francisco: Morgan Kaufmann, 1985.
Stockman, G. (1979). A minimax algorithm better than alpha-beta? Artificial Intelligence, 12(2):179-196.
Stolcke, A. (1993). An efficient probabilistic context-free parsing algorithm that computes prefix probabilities. Report TR-93-065, ICSI, Berkeley.
Stone, H. S. & Stone, J. (1986). Efficient search techniques: an empirical study of the n-queens problem. Technical Report RC 12057, IBM Thomas J. Watson Research Center, Yorktown Heights, New York.
Stonebraker, M. (1992). The integration of rule systems and database systems. IEEE Transactions on Knowledge and Data Engineering, 4(5):415-423.
Strachey, C. S. (1952). Logical or non-mathematical programmes. In Proceedings of the Association for Computing Machinery (ACM), pages 46-49, Ontario, Canada.
Strat, T., Natural Object Recognition, Berlin: Springer-Verlag, 1992.
Subramanian, D. (1993). Artificial intelligence and conceptual design. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), pages 800-809, Chambery, France. Morgan Kaufmann.
Subramanian, D. & Feldman, R. (1990). The utility of EBL in recursive domain theories. In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), volume 2, pages 942-949, Boston, Massachusetts. MIT Press.
Subramanian, D. & Wang, E. (1994). Constraint-based kinematic synthesis. In Proceedings of the International Conference on Qualitative Reasoning. AAAI Press.
Sugihara, K. (1984). A necessary and sufficient condition for a picture to represent a polyhedral scene. IEEE Transactions on Pattern Analysis and Machine Intelligence (PAMI), 6(5):578-586.
Gerald Jay Sussman A Computer Model of Skill Acquisition, Amsterdam: Elsevier/North-Holland, 1975.
Gerald Jay Sussman & McDermott, D. V. (1972). From PLANNER to CONNIVER-a genetic approach. In Proceedings of the 1972 AFIPS Joint Computer Conference, pages 1171-1179.
Gerald Jay Sussman & Winograd, T. (1970). MICRO-PLANNER Reference Manual. AI Memo 203, MIT AI Lab, Cambridge, Massachusetts.
Richard Sutton "Learning to Predict by the Methods of Temporal Differences," Machine Learning, 3:9-44, 1988.
Richard Sutton "Integrated Architectures for Learning, Planning, and Reacting Based on Approximating Dynamic Programming," in Proceedings of the Seventh International Conference on Machine Learning, pp.216-224, San Francisco: Morgan Kaufmann, 1990.
Swade, D. D. (1993). Redeeming Charles Babbage's mechanical computer. Scientific American, 268(2):86-91.
Tadepalli, P. (1993). Learning from queries and examples with tree-structured bias. In Proceedings of the Tenth International Conference on Machine Learning, Amherst, MA. Morgan Kaufmann.
Tait, P. G. (1880). Note on the theory of the ``15 puzzle''. Proceedings of the Royal Society of Edinburgh, 10:664-665.
Taki, K. (1992). Parallel inference machine PIM. In Fifth Generation Computer Systems 1992, volume 1, pages 50-72, Tokyo. IOS Press.
Tambe, M., Newell, A., & Rosenbloom, P. S. (1990). The problem of expensive chunks and its solution by restricting expressiveness. Machine Learning, 5:299-348.
Tanimoto, S. (1990). The Elements of Artificial Intelligence Using Common LISP. Computer Science Press, Rockville, Maryland.
Tarjan, R. E. (1983). Data Structures and Network Algorithms. CBMS-NSF Regional Conference Series in Applied Mathematics. SIAM (Society for Industrial and Applied Mathematics, Philadelphia, Pennsylvania.
Tarski, A., "Die Wahrheitsbegriff in den Formalisierten Sprachen," Studia Philosophica, 1:261-405, 1935.
Tarski, A., Logic, Semantics, Metamathematics: Papers from1923 to 1938, Oxford: Oxford University Press, 1956.
Tash, J. K. & Russell, S. J. (1994). Control strategies for a stochastic planner. In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94), Seattle, Washington. AAAI Press.
Austin Tate Interacting goals and their use. In Proceedings of the Fourth International Joint Conference on Artificial Intelligence (IJCAI-75), pages 215-218, Tbilisi, Georgia. IJCAII.
Austin Tate Using goal structure to direct search in a problem solver. PhD thesis, University of Edinburgh.
Austin Tate "Generating Project Networks," in Proceedings of the Fifth International Joint Conference on Artificial Intelligence (IJCAI-77), pp.888-893, San Francisco: Morgan Kaufmann, 1977. (Reprinted in Allen, J., Hendler, J., & Tate, A. (eds.), Readings in Planning, pp.291-296, San Francisco: Morgan Kaufmann, 1990.)
Austin Tate Advanced Planning Technology, The Technological Achievements of the ARPA/Rome Laboratory Planning Initiative, Menlo Park, CA: AAAI Press, May 1996.
Austin Tate & Whiter, A. M. (1984). Planning with multiple resource constraints and an application to a naval planning problem. In Proceedings of the First Conference on AI Applications, pages 410-416, Denver, Colorado.
Tatman, J. A. & Shachter, R. D. (1990). Dynamic programming and influence diagrams. IEEE Transactions on Systems, Man and Cybernetics, 20(2):365-379.
Taylor, R. J. (1989). review of Ernst, 1961. In Khatib, O., Craig, J. J., & Lozano-Pérez, T., editors, The Robotics Review 1, pages 121-127. MIT Press, Cambridge, Massachusetts.
Teller, A., "The Evolution of Mental Models," in Kinnear, K., Jr. (ed.), Advances in Genetic Programming, Ch.~9, Cambridge, MA: MIT Press, 1994.
Tenenberg, J. (1988). Abstraction in planning. Technical Report TR250, University of Rochester.
Tenenberg, J., "Abstraction in Planning," in Allen, J., Kautz, H., Pelavin, R., & Tenenberg, J. (eds.), Reasoning about Plans, Ch.~4, San Francisco: Morgan Kaufmann, 1991.
Tennant, H. R., Ross, K. M., Saenz, R. M., & Thompson, C. W. (1983). Menu-based natural language understanding. In 21st Annual Meeting of the Association for Computational Linguistics: Proceedings of the Conference, pages 151-158, Cambridge, Massachusetts.
Tesauro, G. & Sejnowski, T. J. (1989). A parallel network that learns to play backgammon. Artificial Intelligence, 39(3):357-390.
Tesauro, G., "Practical Issues in Temporal Difference Learning," Machine Learning, 8, nos.3/4:257-277, 1992.
Tesauro, G., "Temporal-Difference Learning and TD-Gammon," Comm. ACM, 38(3):58-68, March 1995.
Theraulaz, G., & Bonabeau, E., "Coordination in Distributed Building," Science, 269:686-688, August 4, 1995.
Richmond Thomason Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven, Connecticut.
Thorne, J., Bratley, P., & Dewar, H. (1968). The syntactic analysis of English by machine. In Michie, D., editor, Machine Intelligence 3, pages 281-310. Elsevier/North-Holland, Amsterdam, London, New York.
Thorpe, C., Hebert, M., Kanade, T., & Shafer, S., "The New Generation System for the CMU Navlab," in Masaki, I. (ed.), Vision-Based Vehicle Guidance, nl pp.30-82, Berlin: Springer-Verlag, 1992.
Todd, B. S., Stamper, R., & Macpherson, P. (1993). A probabilistic rule-based expert system. International Journal of Bio-Medical Computing, 33(2):129-148. .
Tomasi, C. & Kanade, T. (1992). Shape and motion from image streams under orthography: a factorization method. International Journal of Computer Vision, 9:137-154.
Touretzky, D. S. (1986). The Mathematics of Inheritance Systems. Pitman and Morgan Kaufmann, London and San Mateo, California.
Touretzky, D. S., editor (1989). Advances in Neural Information Processing Systems 1. Morgan Kaufmann, San Mateo, California.
Towell, G., & Shavlik, J., "Interpretation of Artificial Neural Networks: Mapping Knowledge-Based Neural Networks into Rules," in Moody, J., Hanson, S., & Lippmann, R. (eds.), Advances in Neural Information Processing Systems, 4, pp.977-984, San Francisco: Morgan Kaufmann, 1992.
Towell, Shavlik & Noordweier 1990
Towell, G., Shavlik, J., & Noordweier, M., "Refinement of Approximate Domain Theories by Knowledge-Based Artificial Neural Networks," in Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), pp.861-866, Menlo Park, CA: AAAI Press, 1990.
Tracy, K., & Bouthoorn, P., Object-Oriented Artificial Intelligence Using C++, New York: Computer Science Press, 1997.
Trappl, R., Impacts of Artificial Intelligence: Scientific, Technological, Military, Economic, Societal, Cultural, and Political, New York: North-Holland, 1986.
Alan Turing On computable numbers, with an application to the ntscheidungsproblem. Proceedings of the London Mathematical Society, 2nd series, 42:230-265. Correction published in Vol. 43, pages 544-546.
Alan Turing, Strachey, C., Bates, M. A., & Bowden, B. V. (1953). Digital computers applied to games. In Bowden, B. V., editor, Faster Than Thought, pages 286-310. Pitman, London. Turing is believed to be sole author of the section of this paper that deals with chess.
Alan Turing, "Computing Machinery and Intelligence," Mind, 59:433-460, 1950. (Reprinted in Feigenbaum, E., & Feldman, J. (eds.), Computers and Thought, nl pp.11-35, New York: McGraw-Hill, 1963.)
Tversky, A., & Kahneman, D., "Causal Schemata in Judgements under Uncertainty," in Kahneman, D., Slovic, P., & Tversky, A. (eds.), Judgements under Uncertainty: Heuristics and Biases, Cambridge: Cambridge University Press, 1982.
Ueda, K. (1985). Guarded Horn clauses. ICOT Technical Report TR-103, Institute for New Generation Computing Technology, Tokyo.
Ullman, S. (1979). The Interpretation of Visual Motion. MIT Press, Cambridge, Massachusetts.
Ullman, J. D., Principles of Database and Knowledge-Base Systems, Vol.I: Classsical Database Systems, New York: Computer Science Press, 1988.
Ullman, J. D., Principles of Database and Knowledge-Base Systems, Vol. II: The New Technologies, New York: Computer Science Press, 1989.
Unger, S., The Essence of Logic Circuits, Englewood Cliffs, NJ: Prentice Hall, 1989.
Leslie Valiant A theory of the learnable. Communications of the Association for Computing Machinery, 27:1134-1142.
van Benthem, J. (1983). The Logic of Time. D. Reidel, Dordrecht, The Netherlands.
van Benthem, J. (1985). A Manual of Intensional Logic. Center for the Study of Language and Information (CSLI), Stanford, California.
van Harmelen, F. (1988). Explanation-based generalisation = partial evaluation. Artificial Intelligence, 36(3):401-412.
van Heijenoort, J., editor (1967). From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Harvard University Press, Cambridge, Massachusetts.
, P. L. (1990). Can logic programming execute as fast as imperative programming? Report UCB/CSD 90/600, Computer Science Division, University of California, Berkeley. Ph.D. dissertation.
VanLehn, K. (1978). Determining the scope of English quantifiers. Technical Report AI-TR-483, MIT AI Lab.
Vapnik, V. N. & Chervonenkis, A. Y. (1971). On the uniform convergence of relative frequencies of events to their probabilities. Theory of Probability and Its Applications, 16:264-280.
Vasconcellos, M. & León, M. (1985). SPANAM and ENGSPAN: machine translation at the Pan American Health Organization. Computational Linguistics, 11(2-3):122-136.
Veloso, M. & Carbonell, J. (1993). Derivational analogy in PRODIGY: automating case acquisition, storage, and utilization. Machine Learning, 10:249-278.
Vendler, Z. (1967). Linguistics and Philosophy. Cornell University Press, Ithaca, New York.
Vendler, Z. (1968). Adjectives and Nominalizations. Mouton, The Hague and Paris.
Venn, J., "On the Diagrammatic and Mechanical Representation of Propositions and Reasonings," Phil. Mag., pp.123ff, 1880.
Vere, S. A. (1983). Planning in time: windows and durations for activities and goals. IEEE Transactions on Pattern Analysis and Machine Intelligence (PAMI), 5:246-267.
von Mises, R. (1928). Wahrscheinlichkeit, Statistik und Wahrheit. J. Springer, Berlin. Translated into English as von Mises, 1957.
von Mises, R. (1957). Probability, Statistics, and Truth. Allen and Unwin, London.
John von Neumann The Computer and the Brain. Yale University Press, New Haven, Connecticut.
Von Neumann & Morgenstern 1944
John von Neumann & Morgenstern, O. (1944). Theory of games and economic behavior. Princeton University Press, Princeton, New Jersey, first edition.
Von Neumann 1966
John von Neumann Theory of Self-Reproducing Automata, edited by Burks, Univ. of Illinois Press
von Winterfeldt & Edwards 1986
von Winterfeldt, D. & Edwards, W. (1986). Decision Analysis and Behavioral Research. Cambridge University Press, Cambridge. .
Voorhees, E. M. (1993). Using WordNet to disambiguate word senses for text retrieval. In Sixteenth Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, pages 171-80, Pittsburgh, Pennsylvania. Association for Computing Machinery.
Waibel, A., & Lee, K.-F. (eds.), Readings in Speech Recognition, San Francisco: Morgan Kaufmann, 1990.
Waibel, A., Hanazawa, T., Hinton, G., Shikano, K., & Lang, K., "{honeme Recognition: Neural Networks versus Hidden Markov Models," in Proc. of the International Conf. on Acoustics, Speech and Signal Processing, New York, 1988.
Waldinger, R., "Achieving Several Goals Simultaneously," in Elcock, E., & Michie, D. (eds.), Machine Intelligence 8, pp.94-138, Chichester, England: Ellis Horwood, 1975.
Walter, G., The Living Brain, New York: Norton and Company, 1953.
Waltz, D., "Understanding Line Drawings of Scenes with Shadows," in Winston, P. (ed.), The Psychology of Computer Vision, pp.19-91, New York: McGraw-Hill, 1975.
Wand, M. (1980). Continuation-based program transformation strategies. Journal of the ACM, 27(1):174-180.
Wang, H. (1960). Toward mechanical mathematics. IBM Journal of Research and Development, 4:2-22.
Wang, X., "Learning by Observation and Practice: An Incremental Approach for Planning Operator Acquisition," in Proceedings of the Twelfth International Conference on Machine Learning, pp.549-557, San Francisco: Morgan Kaufmann, 1995.
Wanner, E. & Gleitman, L., editors (1982). Language Acquisition: The State of the Art. Cambridge University Press.
Warren, D. H. D. (1974). WARPLAN: a system for generating plans. Department of Computational Logic Memo 76, University of Edinburgh, Edinburgh, Scotland.
Warren, D. H. D. (1976). Generating conditional plans and programs. In Proceedings of the AISB Summer Conference, pages 344-354.
Warren, D. H. D. (1983). An abstract Prolog instruction set. Technical Note 309, SRI International, Menlo Park, California.
Warren, D. H. D., Pereira, L. M., & Pereira, F. (1977). PROLOG: The language and its implementation compared with LISP. SIGPLAN Notices, 12(8):109-115.
Wasserman, P. D. & Oetzel, R. M., editors (1990). NeuralSource: The Bibliographic Guide to Artificial Neural Networks. Van Nostrand Reinhold, New York.
Watkins, C. J. (1989). Models of delayed reinforcement learning. PhD thesis, Psychology Department, Cambridge University, Cambridge, United Kingdom.
Watson, C. S. (1991). Speech-perception aids for hearing-impaired people: current status and needed research. Journal of the Acoustical Society of America, 90(2):637-685.
Webber, B. L. (1983). So what can we talk about now. In Brady, M. & Berwick, R., editors, Computational Models of Discourse. MIT Press. Reprinted in Grosz et al 1986.
Webber, B. L. (1988). Tense as discourse anaphora. Computational Linguistics, 14(2):61-73.
Webber, B. L. & Nilsson, N. J. (1981). Readings in Artificial Intelligence. Morgan Kaufmann, San Mateo, California.
Weber, J. & Malik, J. (1994). Robust computation of optical flow in a multi-scale differential framework. International Journal of Computer Vision. To appear.
Weiss, S. M. & Kulikowski, C. A. (1991). Computer Systems That Learn: Classification and Prediction Methods from Statistics, Neural Nets, Machine Learning, and Expert Systems. Morgan Kaufmann, San Mateo, California.
Weizenbaum, J., "ELIZA - A Computer Program for the Study of Natural Language Communication between Man and Machine," Communications of the Association for Communications of the Association for Computing Machinery, 9(1):36-45, 1965.
Weizenbaum, J., Computer Power and Human Reason: From Judgment to Calculation, New York: W. H. Freeman, 1976.
Daniel Weld & Etzioni, O. (1994). The first law of robotics: A call to arms. In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94), Seattle, Washington. AAAI Press.
Daniel Weld An introduction to least commitment planning. AI Magazine. To appear.
Daniel Weld & de Kleer, J., Readings in Qualitative Reasoning about Physical Systems, San Francisco: Morgan Kaufmann, 1990.
Michael Wellman & Doyle, J. (1992). Modular utility representation for decision-theoretic planning. In Proceedings, First International Conference on AI Planning Systems, College Park, Maryland. Morgan Kaufmann.
Michael Wellman Reasoning about preference models. Technical Report MIT/LCS/TR-340, Laboratory for Computer Science, MIT, Cambridge, Massachusetts. M.S. thesis.
Michael Wellman Formulation of tradeoffs in planning under uncertainty. PhD thesis, Massachusetts Institute of Technology, Cambridge, Massachusetts.
Michael Wellman "Fundamental Concepts of Qualitative Probabilistic Networks," Artificial Intelligence, 44:257-303, 1990.
Michael Wellman "Market-Oriented Programming: Some Early Lessons," in Clearwater, S. (ed.), Market-Based Controlm A Paradigm for Distributed Resource Allocation, Singapore: World Scientific, 1996.
Werbos, P., Beyond Regression: New Tools for Prediction and Analysis in the Behavioral Sciences, Ph.D.. Thesis, Harvard University, 1974.
Weyhrauch, R., "Prolegomena to a Theory of Mechanized Formal Reasoning," Artificial Intelligence, 13(1-2):133-170, 1980.
Wheatstone, C. (1838). On some remarkable, and hitherto unresolved, phenomena of binocular vision. Philosophical Transactions of the Royal Society of London, 2:371-394.
Whitehead, A. N. (1911). An Introduction to Mathematics. Williams and Northgate, London.
Whitehead, A. N. & Russell, B. (1910). Principia Mathematica. Cambridge University Press, Cambridge.
Whitehead, Karlsson & Tenenberg 1993
Whitehead, S., Karlsson, J., & Tenenberg, J., "Learning Multiple Goal Behavior via Task Decomposition and Dynamic Policy Merging," in Connell, J., & Mahadevan, S. (eds.), Robot Learning, Ch.3, Boston: Kluwer Academic Publishers, 1993.
Whorf, B. (1956). Language, Thought, and Reality. MIT Press, Cambridge, Massachusetts.
Bernard Widrow & Hoff, M. E., "Adaptive Switching Circuits," 1960 IRE WESCON Convention Record, pp.96-104, New York, 1960.
Bernard Widrow "Generalization and Information Storage in Networks of Adaline 'Neurons,'h 10;" in Yovitz, M., Jacobi, G., & Goldstein, G. (eds.), Self-Organizing Systems 1962, pp.435-461, Washington, DC: Spartan Books, 1962.
Norbert Wiener The extrapolation, interpolation, and smoothing of stationary time series. OSRD 370, Report to the Services 19, Research Project DIC-6037, MIT.
Norbert Wiener Cybernetics: Control and Communication in the Animal and in the Machine, New York: John Wiley & Sons, 1948.
Robert Wilensky Planning and Understanding. Addison-Wesley.
Robert Wilensky Computability, consciousness, and algorithms. Behavioral and Brain Sciences, 13(4):690-691. Peer commentary on Penrose, 1990.
David E. Wilkins Using patterns and plans in chess. Artificial Intelligence, 14(2):165-203.
David E. Wilkins Hierarchical planning: definition and implementation. In ECAI '86: 7th European Conference on Artificial Intelligence, volume 1, pages 466-478, Brighton, United Kingdom.
David E. Wilkins Can AI planners solve practical problems? Computational Intelligence, 6(4):232-246.
David E. Wilkins Practical Planning: Extending the Classical AI Planning Paradigm, San Francisco: Morgan Kaufmann, 1988.
David E. Wilkins, Myers, K., Lowrance, J., & Wesley, L., "Planning and Reacting in Uncertain and Dynamic Domains," Journal of Experimental and Theoretical Artificial Intelligence, 7(1):197-227, 1995.
Yorick Wilks An intelligent analyzer and understander of English. Communications of the ACM, 18(5):264-274. Reprinted in Grosz et al 1986.
Wilson, S., "The Animat Path to AI," in Meyer, J. A., & Wilson, S. (eds.), From Animals to Animats; Proceedings of the First International Conference on the Simulation of Adaptive Behavior, Combridge, MA: MIT Press/Bradford Books, 1991.
Wilson, R. H. & Schweikard, A. (1992). Assembling polyhedra with single translations. In IEEE Conference on Robotics and Automation, pages 2392-2397.
Winograd, S. & Cowan, J. D. (1963). Reliable Computation in the Presence of Noise. MIT Press, Cambridge, Massachusetts.
Terry Winograd Understanding natural language. Cognitive Psychology, 3(1). Reprinted as a book by Academic Press.
Terry Winograd & Flores, F., Understanding Computers and Cognition: A New Foundation for Design, Norwood, NJ: Ablex, 1986. (Four reviews and a response appear in Artificial Intelligence, 32(2):213-261, 1987.)
Patrick Henry Winston Learning structural descriptions from examples. Technical Report MAC-TR-76, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts. PhD dissertation.
Patrick Henry Winston Artificial Intelligence. Addison-Wesley, Reading, Massachusetts, third edition.
Wittgenstein, L. (1922). Tractatus Logico-Philosophicus. Routledge and Kegan Paul, London, second edition. Reprinted 1971, edited by D. F. Pears & B. F. McGuinness. This edition of the English translation also contains Wittgenstein's original German text on facing pages, as well as Bertrand Russell's introduction to the 1922 edition.
Wittgenstein, L. (1953). Philosophical Investigations. Macmillan, London.
Woehr, J. (1994). Lotfi visions, part 2. Dr. Dobbs Journal, 217.
Wojciechowski, W. S. & Wojcik, A. S. (1983). Automated design of multiple-valued logic circuits by automated theorem proving techniques. IEEE Transactions on Computers.
Wojcik, A. S. (1983). Formal design verification of digital systems. In Proceedings of the 20th Design Automation Conference.
William Woods Progress in natural language understanding: An application to lunar geology. In AFIPS Conference Proceedings. Vol. 42.
William Woods Semantics and quantification in natural language question ans wering. In Advances in Computers. Academic Press. Reprinted in Grosz et al 1986.
William Woods "Transition Network Grammars for Natural Language Analysis," Communications of the Association for Computing Machinery, 13(10):591-606, 1970.
William Woods "Progress in Natural Language Understanding: An Application to Lunar Geology," in AFIPS Conf. Proc., vol.42, pp.441-450, 1973.
William Woods What's in a link: Foundations for semantic networks. In Bobrow, D. G. & Collins, A. M., editors, Representation and Understanding: Studies in Cognitive Science, pages 35-82. Academic Press, New York.
Wooldridge, D., Mechanical Man: The Physical Basis of Intelligent Life, New York: McGraw-Hill, 1968.
Wos, L., Carson, D., & Robinson, G. (1964). The unit preference strategy in theorem proving. In Proceedings of the Fall Joint Computer Conference, pages 615-621.
Wos, L., Carson, D., & Robinson, G., "Efficiency and Completeness of the Set-of-Support Strategy in Theorem Proving," Journal of the Association for Computing Machinery, 12:536-541, 1965.
Wos, L., Robinson, G., Carson, D., & Shalla, L. (1967). The concept of demodulation in theorem proving. Journal of the Association for Computing Machinery, 14:698-704.
Wos, L., & Robinson, G., "Paramodulation and set of Support ," in Proc. of the IRIA Symposium on Automatic Demonstration, pp.276-310, Berlin: Springer-Verlag, 1968.
Wos, L., & Winker, S., "Open Questions Solved with the Assistance of AURA," in Bledsoe, W., & Loveland, D. (eds.), Automated Theorem Proving: After 25 Years: Proceedings of the Special Session of the 89th Annual Meeting of the American Mathematical Society, pp.71-88, Denver, Colorado: American Mathematical Society, 1983.
Wos, L., Overbeek, R., Lusk, E., & Boyle, J., Automated Reasoning: Introduction and Applications, second edition, New York: McGraw-Hill, 1992.
Wos, L., "Automated Reasoning Answers Open Questions," Notices of the AMS, 5(1):15-26, January 1993.
Wright, S. (1921). Correlation and causation. Journal of Agricultural Research, 20:557-585.
Wright, S. (1934). The method of path coefficients. Annals of Mathematical Statistics, 5:161-215.
Wu, D. (1993). Estimating probability distributions over hypotheses with variable unification. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), pages 790-795, Chambery, France. Morgan Kaufmann.
Yang, Q. (1990). Formalizing planning knowledge for hierarchical planning. Computational Intelligence, 6:12-24.
Yarowsky, D. (1992). Word-sense disambiguation using statistical models of Roget's categories trained on large corpora. In Proceedings of COLING-92, pages 454-460, Nantes, France.
Yip, K. M.-K. (1991). KAM: A System for Intelligently Guiding Numerical Experimentation by Computer. MIT Press, Cambridge, Massachusetts.
Yoshikawa, T. (1990). Foundations of Robotics: Analysis and Control. MIT Press, Cambridge, Massachusetts.
Younger, D. H. (1967). Recognition and parsing of context-free languages in time n3. Information and Control, 10(2):189-208.
Lofti A. Zadeh Fuzzy sets. Information and Control, 8:338-353.
Lofti A. Zadeh "Fuzzy Logic and Approximate Reasoning," Synthese 30, pp.407-428, 1975.
Lofti A. Zadeh "Fuzzy Sets as a Basis for a Theory of Possibility," Fuzzy Sets and Systems, 1:3-28, 1978.
Zermelo, E. (1976). An application of set theory to the theory of chess-playing. Firbush News, 6:37-42. English translation of German paper given at the 5th International Congress of Mathematics, Cambridge, England, in 1912.
Zhu, S. C., Wu, Y., & Mumford, D., "FRAME: Filters, Random Fields, and Maximum Entropy Towards a Unified Theory for Texture Modeling," Int'l Journal of Computer Vision, to appear.
Zilberstein, S. (1993). Operational rationality through compilation of anytime algorithms. PhD thesis, University of California, Berkeley, California.
Hans-Jürgen Zimmermann Fuzzy Set Theory-And Its Applications. Kluwer, Dordrecht, The Netherlands, second revised edition.
Zobrist, A., Feature Extraction and Representation for Pattern Recognition and the Game of Go, Ph.D. Dissertation, University of Wisconsin, 1970.
Zue, V., Seneff, S., Polifroni, J., Phillips, M., Pao, C., Goddeau, D., Glass, J., & Brill, E. (1994). Pegasus: A spoken language interface for on-line air travel planning. In ARPA Workshop on Human Language Technology.
Zuse, K. (1945). The plankalkül. Report 175, Gesellschaft für Mathematik und Datenverarbeitung, Bonn. Technical report version republished in 1989.
Zweben, M., & Fox, M. (eds.), Intelligent Scheduling, San Francisco: Morgan Kaufmann, 1994. endbiblio endlist