Artificial Intelligence: A New Synthesis

Intelligent agents are employed as the central characters in this new introductory text. Beginning with elementary reactive agents, Nilsson gradually increases their cognitive horsepower to illustrate the most important and lasting ideas in AI. Neural networks, genetic programming, computer vision, heuristic search, knowledge representation and reasoning, Bayes networks, planning, and language understanding are each revealed through the growing capabilities of these agents. The book provides a refreshing and motivating new synthesis of the field by one of AI's master expositors and leading researchers. Artificial Intelligence: A New Synthesis takes the reader on a complete tour of this intriguing new world of AI. * An evolutionary approach provides a unifying theme * Thorough coverage of important AI ideas, old and new * Frequent use of examples and illustrative diagrams * Extensive coverage of machine learning methods throughout the text * Citations to over 500 references * Comprehensive index Table of Contents 1 Introduction 2 Stimulus-Response Agents 3 Neural Networks 4 Machine Evolution 5 State Machines 6 Robot Vision 7 Agents that Plan 8 Uninformed Search 9 Heuristic Search 10 Planning, Acting, and Learning 11 Alternative Search Formulations and Applications 12 Adversarial Search 13 The Propositional Calculus 14 Resolution in The Propositional Calculus 15 The Predicate Calculus 16 Resolution in the Predicate Calculus 17 Knowledge-Based Systems 18 Representing Commonsense Knowledge 19 Reasoning with Uncertain Information 20 Learning and Acting with Bayes Nets 21 The Situation Calculus 22 Planning 23 Multiple Agents 24 Communication Among Agents 25 Agent Architectures

[1]  G Theraulaz,et al.  Coordination in Distributed Building , 1995, Science.

[2]  Daniel S. Weld An Introduction to Least Commitment Planning , 1994, AI Mag..

[3]  V. S. Subrahmanian,et al.  On the Complexity of Domain-Independent Planning , 1992, AAAI.

[4]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[5]  Nils J. Nilsson,et al.  Reacting, Planning, and Learning in an Autonomous Agent , 1996, Machine Intelligence 14.

[6]  Leslie Pack Kaelbling,et al.  Uncertainty in Graph-Based Map Learning , 1993 .

[7]  R. Duda,et al.  Recognition of a Hidden Mineral Deposit by an Artificial Intelligence Program , 1982, Science.

[8]  Jonas Karlsson,et al.  Learning Multiple Goal Behavior via Task Decomposition and Dynamic Policy Merging , 1993 .

[9]  Terry Winograd,et al.  Understanding computers and cognition - a new foundation for design , 1987 .

[10]  Daniel G. Bobrow,et al.  Expert systems: perils and promise , 1986, CACM.

[11]  Edward A. Feigenbaum,et al.  The rise of the expert company , 1988 .

[12]  J. Searle The Rediscovery of the Mind , 1992 .

[13]  William Grimson,et al.  Object recognition by computer - the role of geometric constraints , 1991 .

[14]  J. McCarthy,et al.  Automata Studies. (AM-34) (Annals of Mathematics Studies) , 1956 .

[15]  A. Newell,et al.  The Soar papers (vol. II): research on integrated intelligence , 1993 .

[16]  Nils J. Nilsson,et al.  The Mathematical Foundations of Learning Machines , 1990 .

[17]  Johan de Kleer,et al.  Readings in qualitative reasoning about physical systems , 1990 .

[18]  Ernest Davis,et al.  Representations of commonsense knowledge , 2014, notThenot Morgan Kaufmann series in representation and reasoning.

[19]  Thomas G. Dietterich,et al.  Error-Correcting Output Codes: A General Method for Improving Multiclass Inductive Learning Programs , 1991, AAAI.

[20]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[21]  T. Kanade,et al.  Genetic Learning For Adaptive Image Segmentation , 1994 .

[22]  Sridhar Mahadevan,et al.  Automatic Programming of Behavior-Based Robots Using Reinforcement Learning , 1991, Artif. Intell..

[23]  D. Luckham Refinement Theorems in Resolution Theory , 1970 .

[24]  Allen Newell,et al.  Chess-Playing Programs and the Problem of Complexity , 1958, IBM J. Res. Dev..

[25]  W. W. Bledsoe,et al.  Non-Resolution Theorem Proving , 1977, Artif. Intell..

[26]  Robert S. Boyer,et al.  Computational Logic , 1990, ESPRIT Basic Research Series.

[27]  Sabine Glesner,et al.  Constructing Flexible Dynamic Belief Networks from First-Order Probalistic Knowledge Bases , 1995, ECSQARU.

[28]  Rodney A. Brooks,et al.  Real Robots, Real Learning Problems , 1993 .

[29]  Hector J. Levesque,et al.  Expressiveness and tractability in knowledge representation and reasoning 1 , 1987, Comput. Intell..

[30]  T. Bayes An essay towards solving a problem in the doctrine of chances , 2003 .

[31]  Patrick J. Hayes,et al.  The second naive physics manifesto , 1995 .

[32]  Charles L. Forgy,et al.  Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

[33]  Sridhar Mahadevan,et al.  Enhancing Transfer in Reinforcement Learning by Building Stochastic Models of Robot Actions , 1992, ML.

[34]  Edwin P. D. Pednault,et al.  FORMULATING MULTIAGENT, DYNAMIC-WORLD PROBLEMS IN THE CLASSICAL PLANNING FRAMEWORK , 1987 .

[35]  W. Pitts,et al.  A Logical Calculus of the Ideas Immanent in Nervous Activity (1943) , 2021, Ideas That Created the Future.

[36]  Yoav Shoham,et al.  Temporal Logics in AI: Semantical and Ontological Considerations , 1987, Artif. Intell..

[37]  Peter Dayan,et al.  A Neural Substrate of Prediction and Reward , 1997, Science.

[38]  David Chapman,et al.  Planning for Conjunctive Goals , 1987, Artif. Intell..

[39]  Deborah L. McGuinness,et al.  CLASSIC: a structural data model for objects , 1989, SIGMOD '89.

[40]  Nils J. Nilsson,et al.  A Formal Basis for the Heuristic Determination of Minimum Cost Paths , 1968, IEEE Trans. Syst. Sci. Cybern..

[41]  Daniel S. Weld,et al.  UCPOP: A Sound, Complete, Partial Order Planner for ADL , 1992, KR.

[42]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[43]  Nils J. Nilsson,et al.  Correction to "A Formal Basis for the Heuristic Determination of Minimum Cost Paths" , 1972, SGAR.

[44]  Albert Lindsey Zobrist,et al.  Feature extraction and representation for pattern recognition and the game of go , 1970 .

[45]  Bart Selman,et al.  The Comparative Linguistics of Knowledge Representation , 1995, IJCAI.

[46]  Jude Shavlik,et al.  Refinement ofApproximate Domain Theories by Knowledge-Based Neural Networks , 1990, AAAI.

[47]  David Chapman,et al.  What are plans for? , 1990, Robotics Auton. Syst..

[48]  Patrick J. Hayes,et al.  Naive physics I: ontology for liquids , 1989 .

[49]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[50]  Stephen A. Cook,et al.  Short Propositional Formulas Represent Nondeterministic Computations , 1988, Inf. Process. Lett..

[51]  James F. Allen Time and time again: The many ways to represent time , 1991, Int. J. Intell. Syst..

[52]  Dean Pomerleau,et al.  Rapidly Adapting Artificial Neural Networks for Autonomous Navigation , 1990, NIPS.

[53]  Ian Horswill,et al.  Polly: A Vision-Based Artificial Agent , 1993, AAAI.

[54]  Noam Chomsky,et al.  वाक्यविन्यास का सैद्धान्तिक पक्ष = Aspects of the theory of syntax , 1965 .

[55]  Paul Walton Purdom,et al.  Polynomial-average-time satisfiability problems , 1987, Inf. Sci..

[56]  Lawrence D. Jackel,et al.  Backpropagation Applied to Handwritten Zip Code Recognition , 1989, Neural Computation.

[57]  Bart Selman,et al.  Noise Strategies for Improving Local Search , 1994, AAAI.

[58]  James A. Hendler,et al.  HTN Planning: Complexity and Expressivity , 1994, AAAI.

[59]  Jean-Claude Latombe,et al.  Robot motion planning , 1970, The Kluwer international series in engineering and computer science.

[60]  Jeffrey L. Elman,et al.  Finding Structure in Time , 1990, Cogn. Sci..

[61]  RICHARD 0. DUDA,et al.  Subjective bayesian methods for rule-based inference systems , 1899, AFIPS '76.

[62]  J. Gibson The perception of the visual world , 1951 .

[63]  Antony Galton,et al.  Temporal logics and their applications , 1987 .

[64]  Steven Minton,et al.  Quantitative Results Concerning the Utility of Explanation-based Learning , 1988, Artif. Intell..

[65]  Christopher Meek,et al.  Learning Bayesian Networks with Discrete Variables from Data , 1995, KDD.

[66]  D. Michie GAME-PLAYING AND GAME-LEARNING AUTOMATA , 1966 .

[67]  Ira Pohl,et al.  The Avoidance of (Relative) Catastrophe, Heuristic Competence, Genuine Dynamic Weighting and Computational Issues in Heuristic Problem Solving , 1973, IJCAI.

[68]  Nancy Martin,et al.  Programming Expert Systems in OPS5 - An Introduction to Rule-Based Programming(1) , 1985, Int. CMG Conference.

[69]  R. A. Brooks,et al.  Intelligence without Representation , 1991, Artif. Intell..

[70]  Tom Bylander,et al.  The Computational Complexity of Propositional STRIPS Planning , 1994, Artif. Intell..

[71]  Casimir A. Kulikowski,et al.  Computer Systems That Learn: Classification and Prediction Methods from Statistics, Neural Nets, Machine Learning and Expert Systems , 1990 .

[72]  Karen L. Myers,et al.  Hybrid Reasoning Using Universal Attachment , 1994, Artif. Intell..

[73]  Armand Prieditis Machine Discovery of Effective Admissible Heuristics , 1993, Mach. Learn..

[74]  Richard E. Korf,et al.  Depth-First Iterative-Deepening: An Optimal Admissible Tree Search , 1985, Artif. Intell..

[75]  John Gaschnig,et al.  MODEL DESIGN IN THE PROSPECTOR CONSULTANT SYSTEM FOR MINERAL EXPLORATION , 1981 .

[76]  Alex Waibel,et al.  Phoneme recognition: neural networks vs. hidden Markov models vs. hidden Markov models , 1988, ICASSP-88., International Conference on Acoustics, Speech, and Signal Processing.

[77]  Judea Pearl,et al.  A Computational Model for Causal and Diagnostic Reasoning in Inference Systems , 1983, IJCAI.

[78]  Stevan Harnad,et al.  Symbol grounding problem , 1990, Scholarpedia.

[79]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[80]  Glenn Shafer,et al.  Readings in Uncertain Reasoning , 1990 .

[81]  Xuemei Wang,et al.  Learning by Observation and Practice: An Incremental Approach for Planning Operator Acquisition , 1995, ICML.

[82]  Craig A. Knoblock Learning Abstraction Hierarchies for Problem Solving , 1990, AAAI.

[83]  David Marr,et al.  VISION A Computational Investigation into the Human Representation and Processing of Visual Information , 2009 .

[84]  Vladimir Lifschitz,et al.  ON THE SEMANTICS OF STRIPS , 1987 .

[85]  George A. Robinson,et al.  Paramodulation and set of support , 1970 .

[86]  Vishvjit S. Nalwa,et al.  A guided tour of computer vision , 1993 .

[87]  Allen Newell,et al.  GPS, a program that simulates human thought , 1995 .

[88]  Dana H. Ballard,et al.  Animate Vision , 1991, Artif. Intell..

[89]  Earl D. Sacerdoti,et al.  The Nonlinear Nature of Plans , 1975, IJCAI.

[90]  J. Gaschnig Performance measurement and analysis of certain search algorithms. , 1979 .

[91]  David E. Smith,et al.  Controlling Recursive Inference , 1986, Artif. Intell..

[92]  Steven Minton,et al.  Total-Order and Partial-Order Planning: A Comparative Analysis , 1994, J. Artif. Intell. Res..

[93]  Vipin Kumar,et al.  Algorithms for Constraint-Satisfaction Problems: A Survey , 1992, AI Mag..

[94]  Finn Verner Jensen,et al.  Introduction to Bayesian Networks , 2008, Innovations in Bayesian Networks.

[95]  Richard E. Korf,et al.  Planning as Search: A Quantitative Approach , 1987, Artif. Intell..

[96]  Una-May O'Reilly,et al.  Program Search with a Hierarchical Variable Lenght Representation: Genetic Programming, Simulated Annealing and Hill Climbing , 1994, PPSN.

[97]  Judea Pearl,et al.  The solution for the branching factor of the alpha-beta pruning algorithm and its optimality , 1982, CACM.

[98]  Johan de Kleer,et al.  Extending the ATMS , 1986, Artif. Intell..

[99]  J. I. Minnix,et al.  Multistaged self-organizing neural network with biologically inspired preprocessing features for rotation and scale invariant pattern recognition , 1991, Conference Proceedings 1991 IEEE International Conference on Systems, Man, and Cybernetics.

[100]  Gregory F. Cooper,et al.  The Computational Complexity of Probabilistic Inference Using Bayesian Belief Networks , 1990, Artif. Intell..

[101]  John H. Holland,et al.  Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .

[102]  Bart Selman,et al.  Local search strategies for satisfiability testing , 1993, Cliques, Coloring, and Satisfiability.

[103]  L. Zadeh Fuzzy sets as a basis for a theory of possibility , 1999 .

[104]  Eithan Ephrati,et al.  A Cost-Directed Planner: Preliminary Report , 1996, AAAI/IAAI, Vol. 2.

[105]  Dan Roth,et al.  Learning to reason , 1994, JACM.

[106]  Narendra Karmarkar,et al.  A new polynomial-time algorithm for linear programming , 1984, Comb..

[107]  Penny Nii The blackboard model of problem solving , 1986 .

[108]  Robert C. Moore A Formal Theory of Knowledge and Action , 1984 .

[109]  Gerald Tesauro,et al.  Practical Issues in Temporal Difference Learning , 1992, Mach. Learn..

[110]  Peter Dayan,et al.  Bee foraging in uncertain environments using predictive hebbian learning , 1995, Nature.

[111]  Bart Selman,et al.  Pushing the Envelope: Planning, Propositional Logic and Stochastic Search , 1996, AAAI/IAAI, Vol. 2.

[112]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[113]  Radford M. Neal Connectionist Learning of Belief Networks , 1992, Artif. Intell..

[114]  Gerald Tesauro,et al.  Temporal difference learning and TD-Gammon , 1995, CACM.

[115]  David J. Slate,et al.  Chess 4.5-The Northwestern University chess program , 1988 .

[116]  W. Pitts,et al.  What the Frog's Eye Tells the Frog's Brain , 1959, Proceedings of the IRE.

[117]  Umesh V. Vazirani,et al.  An Introduction to Computational Learning Theory , 1994 .

[118]  David E. Goldberg,et al.  Genetic Algorithms in Search Optimization and Machine Learning , 1988 .

[119]  W. Lovejoy A survey of algorithmic methods for partially observed Markov decision processes , 1991 .

[120]  Oren Etzioni,et al.  Explanation-Based Learning: A Problem Solving Perspective , 1989, Artif. Intell..

[121]  Richard Waldinger,et al.  Achieving several goals simultaneously , 1977 .

[122]  Judea Pearl,et al.  Fusion, Propagation, and Structuring in Belief Networks , 1986, Artif. Intell..

[123]  Patrick Saint-Dizier,et al.  Review of Prolog and natural-language analysis: CSLI lecture notes 10 by Fernando C. N. Pereira and Stuart M. Shieber. Center for the Study of Language and Information 1987. , 1988 .

[124]  Tom Bylander,et al.  An Average Case Analysis of Planning , 1993, AAAI.

[125]  Barbara Hayes-Roth,et al.  A Blackboard Architecture for Control , 1985, Artif. Intell..

[126]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[127]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[128]  David L. Waltz,et al.  Understanding Line drawings of Scenes with Shadows , 1975 .

[129]  T. Gelder,et al.  Mind as Motion: Explorations in the Dynamics of Cognition , 1995 .

[130]  Donald Perlis,et al.  Languages with Self-Reference II: Knowledge, Belief, and Modality , 1988, Artif. Intell..

[131]  Philippe Bretier,et al.  Effective human-computer cooperative spoken dialogue: the AGS demonstrator , 1996, Proceeding of Fourth International Conference on Spoken Language Processing. ICSLP '96.

[132]  Ken Chen,et al.  Smart game board and go explorer: a study in software and knowledge engineering , 1990, Commun. ACM.

[133]  Donald E. Knuth,et al.  An Analysis of Alpha-Beta Pruning , 1975, Artif. Intell..

[134]  Luís B. Almeida,et al.  A learning rule for asynchronous perceptrons with feedback in a combinatorial environment , 1990 .

[135]  Mark Stefik,et al.  Introduction to knowledge systems , 1995 .

[136]  Austin Tate,et al.  Generating Project Networks , 1977, IJCAI.

[137]  Nils J. Nilsson,et al.  Searching problem-solving and game-playing trees for minimal cost solutions , 1968, IFIP Congress.

[138]  Jude W. Shavlik,et al.  Interpretation of Artificial Neural Networks: Mapping Knowledge-Based Neural Networks into Rules , 1991, NIPS.

[139]  Lenhart K. Schubert Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds wi , 1990 .

[140]  Leslie Pack Kaelbling,et al.  Action and planning in embedded agents , 1990, Robotics Auton. Syst..

[141]  John F. Canny,et al.  A Computational Approach to Edge Detection , 1986, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[142]  Richard E. Korf,et al.  Finding Optimal Solutions to Rubik's Cube Using Pattern Databases , 1997, AAAI/IAAI.

[143]  Lawrence G. Roberts,et al.  Machine Perception of Three-Dimensional Solids , 1963, Outstanding Dissertations in the Computer Sciences.

[144]  Richard E. Korf,et al.  Real-Time Heuristic Search , 1990, Artif. Intell..

[145]  Nils J. Nilsson,et al.  Teleo-Reactive Programs for Agent Control , 1993, J. Artif. Intell. Res..

[146]  G. Neelakantan Kartha,et al.  Two Counterexamples Related to Baker's Approach to the Frame Problem , 1994, Artif. Intell..

[147]  Sanjoy Mahajan,et al.  A Pattern Classification Approach to Evaluation Function Learning , 1988, Artif. Intell..

[148]  Hector J. Levesque,et al.  Abductive and Default Reasoning: A Computational Core , 1990, AAAI.

[149]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[150]  David L. Waltz,et al.  Toward memory-based reasoning , 1986, CACM.

[151]  Howard Pospesel Introduction to Logic: Predicate Logic , 1976 .

[152]  James R. Slagle,et al.  A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus , 1963, JACM.

[153]  Qiang Yang,et al.  The Expected Value of Hierarchical Problem-Solving , 1992, AAAI.

[154]  John McCarthy,et al.  Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

[155]  David E. Wilkins,et al.  Practical planning - extending the classical AI planning paradigm , 1989, Morgan Kaufmann series in representation and reasoning.

[156]  Jonathan Schaeffer,et al.  One jump ahead - challenging human supremacy in checkers , 1997, J. Int. Comput. Games Assoc..

[157]  Dean A. Pomerleau,et al.  Neural Network Perception for Mobile Robot Guidance , 1993 .

[158]  Steven Minton,et al.  Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems , 1992, Artif. Intell..

[159]  Thomas O. Binford,et al.  Survey of Model-Based Image Analysis Systems , 1982 .

[160]  斉藤 康己,et al.  Douglas B. Lenat and R. V. Guha : Building Large Knowledge-Based Systems, Representation and Inference in the Cyc Project, Addison-Wesley (1990). , 1990 .

[161]  Maja J. Matarić,et al.  A Distributed Model for Mobile Robot Environment-Learning and Navigation , 1990 .

[162]  Richard E. Korf,et al.  Finding Optimal Solutions to the Twenty-Four Puzzle , 1996, AAAI/IAAI, Vol. 2.

[163]  Mike Paterson,et al.  Linear unification , 1976, STOC '76.

[164]  Walter Reitman,et al.  The Structure and Performance of the INTERIM.2 Go Program , 1979, IJCAI.

[165]  Wei-Min Shen,et al.  Autonomous learning from the environment , 1994 .

[166]  Hector J. Levesque,et al.  An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON , 1985, IJCAI.

[167]  Allen Newell,et al.  Computer science as empirical inquiry: symbols and search , 1976, CACM.

[168]  Bart Selman,et al.  An Empirical Study of Greedy Local Search for Satisfiability Testing , 1993, AAAI.

[169]  John McCarthy First Order Theories of Individual Concepts and Propositions. , 1979 .

[170]  Bart Selman,et al.  Encoding Plans in Propositional Logic , 1996, KR.

[171]  G. Lakoff,et al.  Women, Fire, and Dangerous Things: What Categories Reveal about the Mind , 1988 .

[172]  Bruce G. Buchanan,et al.  On generality and problem solving: a case study using the DENDRAL program , 1970 .

[173]  Michael D. Ernst,et al.  Automatic SAT-Compilation of Planning Problems , 1997, IJCAI.

[174]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[175]  Pineda,et al.  Generalization of back-propagation to recurrent neural networks. , 1987, Physical review letters.

[176]  Vishvjit S. Nalwa,et al.  Edgel aggregation and edge description , 1987, Comput. Vis. Graph. Image Process..

[177]  Joshua Lederberg,et al.  Applications of Artificial Intelligence for Chemical Inference: The Dendral Project , 1980 .

[178]  Matthew L. Ginsberg,et al.  Iterative Broadening , 1990, Artif. Intell..

[179]  Thomas O. Binford,et al.  On Detecting Edges , 1986, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[180]  Randall D. Beer,et al.  A Biological Perspective Agent Design o n Autonomous 169 , 2022 .

[181]  Jürgen Dix,et al.  Nonmonotonic Reasoning: An Overview , 1997, CSLI Lecture Notes.

[182]  George Boole,et al.  An Investigation of the Laws of Thought: Frontmatter , 2009 .

[183]  Terrence J. Sejnowski,et al.  Parallel Networks that Learn to Pronounce English Text , 1987, Complex Syst..

[184]  Mark S. Fox,et al.  Intelligent Scheduling , 1998 .

[185]  M. B. Clowes,et al.  On Seeing Things , 1971, Artif. Intell..

[186]  S. Lauritzen The EM algorithm for graphical association models with missing data , 1995 .

[187]  László Méro,et al.  A Heuristic Search Algorithm with Modifiable Estimate , 1984, Artif. Intell..

[188]  Moisés Goldszmidt,et al.  A Maximum Entropy Approach to Nonmonotonic Reasoning , 1990, IEEE Trans. Pattern Anal. Mach. Intell..

[189]  D. McFarland The Oxford companion to animal behavior , 1981 .

[190]  Mitchel Resnick,et al.  Behavior construction kits , 1993, CACM.

[191]  Penny Nii,et al.  Blackboard systems part two: Blackboard application systems , 1986 .

[192]  Stuart J. Russell,et al.  The BATmobile: Towards a Bayesian Automated Taxi , 1995, IJCAI.

[193]  Nir Friedman,et al.  Learning Bayesian Networks with Local Structure , 1996, UAI.

[194]  Manfred H. Hueckel A Local Visual Operator Which Recognizes Edges and Lines , 1973, JACM.

[195]  Gregory M. Provan,et al.  Knowledge Engineering for Large Belief Networks , 1994, UAI.

[196]  R. Penrose The emperor's new mind: concerning computers, minds, and the laws of physics , 1989 .

[197]  Richard S. Sutton,et al.  Integrated Architectures for Learning, Planning, and Reacting Based on Approximating Dynamic Programming , 1990, ML.

[198]  W. D. Harvey,et al.  Nonsystematic backtracking search , 1995 .

[199]  David E. Smith Controlling Backward Inference , 1989, Artif. Intell..

[200]  William McCune,et al.  OTTER 3.0 Reference Manual and Guide , 1994 .

[201]  Larry Wos,et al.  Automated reasoning (2nd ed.): introduction and applications , 1992 .

[202]  Jean H. Gallier,et al.  Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae , 1984, J. Log. Program..

[203]  William A. Woods,et al.  Computational Linguistics Transition Network Grammars for Natural Language Analysis , 2022 .

[204]  D. Gentner Structure‐Mapping: A Theoretical Framework for Analogy* , 1983 .

[205]  Hubert L. Dreyfus,et al.  What computers still can't do - a critique of artificial reason , 1992 .

[206]  A. Newell Unified Theories of Cognition , 1990 .

[207]  Gerald Jay Sussman,et al.  A Computer Model of Skill Acquisition , 1975 .

[208]  Michael J. Swain,et al.  An Architecture for Vision and Action , 1995, IJCAI.

[209]  Nir Friedman,et al.  Building Classifiers Using Bayesian Networks , 1996, AAAI/IAAI, Vol. 2.

[210]  Jack Mostow,et al.  Discovering Admissible Heuristics by Abstracting and Optimizing: A Transformational Approach , 1989, IJCAI.

[211]  A. Koller,et al.  Speech Acts: An Essay in the Philosophy of Language , 1969 .

[212]  Su-Shing Chen,et al.  Advances in Spatial Reasoning , 1990 .

[213]  Maja J. Mataric,et al.  Studying the Role of Embodiment in Cognition , 1997, Cybern. Syst..

[214]  Allen Newell,et al.  Production Systems: Models of Control Structures , 1973 .

[215]  Yoav Shoham Agent-Oriented Programming , 1993, Artif. Intell..

[216]  Hector J. Levesque,et al.  A New Method for Solving Hard Satisfiability Problems , 1992, AAAI.

[217]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[218]  LiMin Fu,et al.  Neural networks in computer intelligence , 1994 .

[219]  Richard W. Weyhrauch,et al.  Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..

[220]  Edward H. Shortliffe,et al.  Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence) , 1984 .

[221]  Austin Tate,et al.  O-Plan: The open Planning Architecture , 1991, Artif. Intell..

[222]  Randall Davis,et al.  Meta-Rules: Reasoning about Control , 1980, Artif. Intell..

[223]  Ramanathan V. Guha,et al.  CYC: A Midterm Report , 1990, AI Mag..

[224]  John McCarthy,et al.  Epistemological Problems of Artificial Intelligence , 1987, IJCAI.

[225]  Terrence J. Sejnowski,et al.  Temporal Difference Learning of Position Evaluation in the Game of Go , 1993, NIPS.

[226]  Judea Pearl,et al.  Reverend Bayes on Inference Engines: A Distributed Hierarchical Approach , 1982, AAAI.

[227]  Rodney A. Brooks,et al.  Elephants don't play chess , 1990, Robotics Auton. Syst..

[228]  Stephen Muggleton,et al.  Machine Invention of First Order Predicates by Inverting Resolution , 1988, ML.

[229]  Matthew L. Ginsberg,et al.  Readings in Nonmonotonic Reasoning , 1987, AAAI 1987.

[230]  P. P. Chakrabarti,et al.  Heuristic Search Through Islands , 1986, Artif. Intell..

[231]  John R. Koza,et al.  Genetic programming - on the programming of computers by means of natural selection , 1993, Complex adaptive systems.

[232]  Hector J. Levesque,et al.  Making Believers out of Computers , 1986, Artif. Intell..

[233]  Kenneth M. Ford,et al.  Turing Test Considered Harmful , 1995, IJCAI.

[234]  Pat Langley,et al.  Elements of Machine Learning , 1995 .

[235]  Takeo Kanade,et al.  The new generation system for the CMU Navlab , 1992 .

[236]  Luc De Raedt,et al.  Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..

[237]  H. McAdams,et al.  Circuit simulation of genetic networks. , 1995, Science.

[238]  Richard E. Korf Multi-Player Alpha-Beta Pruning , 1991, Artif. Intell..

[239]  Bart Selman,et al.  Forming Concepts for Fast Inference , 1992, AAAI.

[240]  D. Rubin,et al.  Maximum likelihood from incomplete data via the EM - algorithm plus discussions on the paper , 1977 .

[241]  Rodney A. Brooks,et al.  A Robust Layered Control Syste For A Mobile Robot , 2022 .

[242]  Alain Colmerauer,et al.  Metamorphosis Grammars , 1978, Natural Language Communication with Computers.

[243]  Oren Etzioni,et al.  A softbot-based interface to the Internet , 1994, CACM.

[244]  Nir Friedman,et al.  Learning Belief Networks in the Presence of Missing Values and Hidden Variables , 1997, ICML.

[245]  Stuart J. Russell,et al.  Do the right thing , 1991 .

[246]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[247]  Eric Horvitz,et al.  Reasoning about beliefs and actions under computational resource constraints , 1987, Int. J. Approx. Reason..

[248]  D E Heckerman,et al.  An evaluation of the diagnostic accuracy of Pathfinder. , 1992, Computers and biomedical research, an international journal.

[249]  Michael C. Frank,et al.  Search Lessons Learned from Crossword Puzzles , 1990, AAAI.

[250]  Avrim Blum,et al.  Fast Planning Through Planning Graph Analysis , 1995, IJCAI.

[251]  J. Weizenbaum Computer Power And Human Reason: From Judgement To Calculation , 1978 .

[252]  Raymond E. Levitt Knowledge-based systems in engineering , 1991 .

[253]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning: Preliminary Report , 1985, IJCAI.

[254]  John R. Koza,et al.  Automated WYWIWYG design of both the topology and component values of electrical circuits using genetic programming , 1996 .

[255]  Charles Elkan,et al.  The paradoxical success of fuzzy logic , 1993, IEEE Expert.

[256]  Michael R. Lowry,et al.  Automating software design , 1989, Digest of Papers. COMPCON Spring 89. Thirty-Fourth IEEE Computer Society International Conference: Intellectual Leverage.

[257]  Eugene Charniak,et al.  Statistical language learning , 1997 .

[258]  R. Fleischmann,et al.  Whole-genome random sequencing and assembly of Haemophilus influenzae Rd. , 1995, Science.

[259]  Marcel Schoppers,et al.  Universal Plans for Reactive Robots in Unpredictable Environments , 1987, IJCAI.

[260]  Richard E. Neapolitan,et al.  Probabilistic reasoning in expert systems - theory and algorithms , 2012 .

[261]  Steven Minton,et al.  Machine Learning Methods for Planning , 1994 .

[262]  J. Venn,et al.  . On the diagrammatic and mechanical representation of propositions and reasonings , 2022 .

[263]  Terry Winograd,et al.  Understanding natural language , 1974 .

[264]  Ángel Viña,et al.  Guardian: A Prototype Intelligent Agent for Intensive-Care Monitoring , 1994, AAAI.

[265]  L. N. Kanal,et al.  The CDP: A unifying formulation for heuristic search, dynamic programming, and branch-and-bound , 1988 .

[266]  David M. Magerman Natural Language Parsing as Statistical Pattern Recognition , 1994, ArXiv.

[267]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[268]  Barbara Hayes-Roth,et al.  An Architecture for Adaptive Intelligent Systems , 1995, Artif. Intell..

[269]  Martial Hebert,et al.  A complete navigation system for goal acquisition in unknown environments , 1995, Auton. Robots.

[270]  Victor R. Lesser,et al.  The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty , 1980, CSUR.

[271]  Jens Christensen A Hierarchical Planner that Generates Its Own Hierarchies , 1990, AAAI.

[272]  Ivan Bratko,et al.  Prolog Programming for Artificial Intelligence , 1986 .

[273]  Jorma Rissanen,et al.  Universal coding, information, prediction, and estimation , 1984, IEEE Trans. Inf. Theory.

[274]  D. McFarland,et al.  Intelligent behavior in animals and robots , 1993 .

[275]  Ralph Parkman,et al.  6 – Cybernetics — Control and Communication , 1972 .

[276]  Bernard Widrow,et al.  Adaptive switching circuits , 1988 .

[277]  John McCarthy,et al.  Ascribing Mental Qualities to Machines , 1979 .

[278]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[279]  Nils J. Nilsson,et al.  Artificial Intelligence, Employment, and Income , 1984, AI Mag..

[280]  H. E. Shrobe,et al.  Exploring Artificial Intelligence , 1988 .

[281]  Peter E. Hart,et al.  GRAPHICAL-DATA-PROCESSING RESEARCH STUDY AND EXPERIMENTAL INVESTIGATION , 1964 .

[282]  Stephen Muggleton,et al.  Protein secondary structure prediction using logic-based machine learning , 1992 .

[283]  Larry Wos,et al.  Efficiency and Completeness of the Set of Support Strategy in Theorem Proving , 1965, JACM.

[284]  David Chapman,et al.  Pengi: An Implementation of a Theory of Activity , 1987, AAAI.

[285]  Paul R. Cohen,et al.  Handbook of AI , 1986 .

[286]  Michael I. Jordan,et al.  Forward Models: Supervised Learning with a Distal Teacher , 1992, Cogn. Sci..

[287]  Claude E. Shannon,et al.  Programming a computer for playing chess , 1950 .

[288]  Earl D. Sacerdoti,et al.  Planning in a Hierarchy of Abstraction Spaces , 1974, IJCAI.

[289]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[290]  Mabry Tyson,et al.  An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction , 1985, IJCAI.

[291]  Yoav Shoham,et al.  The open scientific borders of AI, and the case of economics , 1996, CSUR.

[292]  B. Julesz Foundations of Cyclopean Perception , 1971 .

[293]  David Heckerman,et al.  Probabilistic similarity networks , 1991, Networks.

[294]  Jack Minker,et al.  Logic and Databases: Past, Present, and Future , 1997, AI Mag..

[295]  Zohar Manna,et al.  Fundamentals of Deductive Program Synthesis , 1992, IEEE Trans. Software Eng..

[296]  Peter Norvig,et al.  Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp , 1991 .

[297]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[298]  Pattie Maes,et al.  Designing autonomous agents: Theory and practice from biology to engineering and back , 1990, Robotics Auton. Syst..

[299]  Benjamin Kuipers,et al.  A robot exploration and mapping strategy based on a semantic hierarchy of spatial representations , 1991, Robotics Auton. Syst..

[300]  J. Schaeffer,et al.  Solving the Game of Checkers , 1996 .

[301]  David J. Spiegelhalter,et al.  Local computations with probabilities on graphical structures and their application to expert systems , 1990 .

[302]  Leslie Pack Kaelbling,et al.  Acting Optimally in Partially Observable Stochastic Domains , 1994, AAAI.

[303]  David A. McAllester,et al.  Systematic Nonlinear Planning , 1991, AAAI.

[304]  James S. Albus,et al.  Outline for a theory of intelligence , 1991, IEEE Trans. Syst. Man Cybern..

[305]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[306]  John R. Koza,et al.  Genetic programming 2 - automatic discovery of reusable programs , 1994, Complex Adaptive Systems.

[307]  Drew McDermott,et al.  Default Reasoning, Nonmonotonic Logics, and the Frame Problem , 1986, AAAI.

[308]  and K R McKeown,et al.  LANGUAGE GENERATION AND EXPLANATION , 1987 .

[309]  Hans J. Berliner,et al.  The B* Tree Search Algorithm: A Best-First Proof Procedure , 1979, Artif. Intell..

[310]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[311]  Steven Minton,et al.  Solving Large-Scale Constraint-Satisfaction and Scheduling Problems Using a Heuristic Repair Method , 1990, AAAI.

[312]  Zbigniew Michalewicz,et al.  Genetic Algorithms Plus Data Structures Equals Evolution Programs , 1994 .

[313]  Barbara J Huberman,et al.  A program to play chess end games , 1968 .

[314]  Kenneth D. Forbus,et al.  Building Problem Solvers , 1993 .

[315]  David H. D. Warren,et al.  Prolog - the language and its implementation compared with Lisp , 1977, Artificial Intelligence and Programming Languages.

[316]  John D. Lowrance,et al.  Planning and reacting in uncertain and dynamic environments , 1995, J. Exp. Theor. Artif. Intell..

[317]  Rodney A. Brooks,et al.  Intelligence Without Reason , 1991, IJCAI.

[318]  Robert C. Moore Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[319]  P. Maes,et al.  Old tricks, new dogs: ethology and interactive creatures , 1997 .

[320]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[321]  Murray Shanahan Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .

[322]  John P. McDermott,et al.  R1: A Rule-Based Configurer of Computer Systems , 1982, Artif. Intell..

[323]  Michael P. Wellman Fundamental Concepts of Qualitative Probabilistic Networks , 1990, Artif. Intell..

[324]  Hilary Putnam,et al.  A Computing Procedure for Quantification Theory , 1960, JACM.

[325]  Bart Selman,et al.  Knowledge Compilation using Horn Approximations , 1991, AAAI.

[326]  Hector J. Levesque,et al.  The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.

[327]  Gary G. Hendrix,et al.  Encoding Knowledge in Partitioned Networks , 1979 .

[328]  Yoshiaki Shirai,et al.  Three-Dimensional Computer Vision , 1987, Symbolic Computation.

[329]  Richard Fikes,et al.  Learning and Executing Generalized Robot Plans , 1993, Artif. Intell..

[330]  J. Deutsch The structural basis of behavior , 1960 .

[331]  Matthew L. Ginsberg,et al.  Dynamic Backtracking , 1993, J. Artif. Intell. Res..

[332]  A. A. Mullin,et al.  Principles of neurodynamics , 1962 .

[333]  Jean-Arcady Meyer,et al.  From Animals to Animats: Proceedings of the International Conference on Simulation of Adaptive Behavior (1st) Held in Paris, France on 24-28 September 1990 , 1991 .

[334]  Bart Selman,et al.  Reasoning With Characteristic Models , 1993, AAAI.

[335]  Martha E. Pollack,et al.  Introducing the Tileworld: Experimentally Evaluating Agent Architectures , 1990, AAAI.

[336]  James L. McClelland,et al.  An interactive activation model of context effects in letter perception: Part 2. The contextual enhancement effect and some tests and extensions of the model. , 1982, Psychological review.

[337]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[338]  Jitendra Malik,et al.  Scale-Space and Edge Detection Using Anisotropic Diffusion , 1990, IEEE Trans. Pattern Anal. Mach. Intell..

[339]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[340]  J. Gibson The Ecological Approach to Visual Perception , 1979 .

[341]  Werner Reichardt,et al.  Zur Theorie der lateralen nervösen Inhibition im Limulus Komplex-Auge , 1965 .

[342]  P. Werbos,et al.  Beyond Regression : "New Tools for Prediction and Analysis in the Behavioral Sciences , 1974 .

[343]  Dana S. Nau,et al.  On the Complexity of Blocks-World Planning , 1992, Artif. Intell..

[344]  Joseph Weizenbaum,et al.  and Machine , 1977 .

[345]  David Kirsh,et al.  Today the Earwig, Tomorrow Man? , 1991, Artif. Intell..

[346]  Joseph Bates,et al.  The role of emotion in believable agents , 1994, CACM.

[347]  Douglas E. Appelt,et al.  TEAM: An Experiment in the Design of Transportable Natural-Language Interfaces , 1987, Artif. Intell..

[348]  Janet L. Kolodner,et al.  Case-Based Reasoning , 1989, IJCAI 1989.

[349]  Drew McDermott,et al.  A critique of pure reason 1 , 1987, The Philosophy of Artificial Intelligence.

[350]  R. Gregory Eye and Brain: The Psychology of Seeing , 1969 .

[351]  Donald Perlis,et al.  Languages With Self-Reference I: Foundations , 1985, Artif. Intell..

[352]  Randall D. Beer,et al.  A Dynamical Systems Perspective on Agent-Environment Interaction , 1995, Artif. Intell..

[353]  Alberto Martelli,et al.  Additive AND/OR Graphs , 1973, IJCAI.

[354]  Thomas M. Strat,et al.  Natural Object Recognition , 1992, Springer Series in Perception Engineering.

[355]  Bernhard Nebel,et al.  An Empirical Analysis of Terminological Representation Systems , 1992, Artif. Intell..

[356]  J. Hintikka Knowledge and belief , 1962 .

[357]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[358]  Kim W. Tracy,et al.  Object-oriented artificial intelligence using C++ , 1996 .

[359]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[360]  Richard E. Korf,et al.  Space-efficient search algorithms , 1995, CSUR.

[361]  K. Konolige A deduction model of belief , 1986 .

[362]  Illah Nourbakhsh Interleaving Planning and Execution for Autonomous Robots , 1997 .

[363]  Michael P. Wellman,et al.  Planning and Control , 1991 .

[364]  A. L. Samuel,et al.  Some studies in machine learning using the game of checkers. II: recent progress , 1967 .

[365]  Patrick J. Hayes,et al.  The Naive Physics Manifesto , 1990, The Philosophy of Artificial Intelligence.

[366]  Hubert L. Dreyfus,et al.  Mind over Machine: The Power of Human Intuition and Expertise in the Era of the Computer , 1987, IEEE Expert.

[367]  David Haussler,et al.  Quantifying Inductive Bias: AI Learning Algorithms and Valiant's Learning Framework , 1988, Artif. Intell..

[368]  William A. Woods,et al.  Progress in natural language understanding: an application to lunar geology , 1973, AFIPS National Computer Conference.

[369]  Ronald L. Rivest,et al.  Inference of finite automata using homing sequences , 1989, STOC '89.

[370]  Melanie Mitchell,et al.  An introduction to genetic algorithms , 1996 .

[371]  J. McCarthy AI as Sport , 1997, Science.

[372]  Johan de Kleer,et al.  Problem Solving with the ATMS , 1986, Artif. Intell..

[373]  Richard E. Korf,et al.  Linear-Space Best-First Search , 1993, Artif. Intell..

[374]  T. Sejnowski,et al.  A critique of pure vision , 1993 .

[375]  James F. Allen Natural language understanding (2nd ed.) , 1995 .

[376]  Yolanda Gil,et al.  Acquiring domain knowledge for planning by experimentation , 1992 .

[377]  Ivan Bratko,et al.  An Advice Program for a Complex Chess Programming Task , 1980, Comput. J..

[378]  Zohar Manna,et al.  The logical basis for computer programming. Volume 1: deductive reasoning , 1985 .

[379]  Nils J. Nilsson,et al.  Shakey the Robot , 1984 .

[380]  Hector J. Levesque,et al.  Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..

[381]  R. Palmer,et al.  Introduction to the theory of neural computation , 1994, The advanced book program.

[382]  Jonathan Schaeffer,et al.  A World Championship Caliber Checkers Program , 1992, Artif. Intell..

[383]  Andrew B. Baker,et al.  Nonmonotonic Reasoning in the Framework of Situation Calculus , 1991, Artif. Intell..

[384]  Roger Penrose,et al.  Shadows of the mind - a search for the missing science of consciousness , 1994 .

[385]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

[386]  Scott Sherwood Benson,et al.  Learning action models for reactive autonomous agents , 1996 .

[387]  Leslie Pack Kaelbling,et al.  A Situated View of Representation and Control , 1995, Artif. Intell..

[388]  Nils J. Nilsson,et al.  Logic and Artificial Intelligence , 1991, Artif. Intell..

[389]  E. Shortliffe Computer-based medical consultations: mycin (elsevier north holland , 1976 .

[390]  C. Raymond Perrault,et al.  Elements of a Plan-Based Theory of Speech Acts , 1979, Cogn. Sci..

[391]  Douglas B. Lenat,et al.  CYC: a large-scale investment in knowledge infrastructure , 1995, CACM.

[392]  Robert A. Kowalski,et al.  Predicate Logic as Programming Language , 1974, IFIP Congress.

[393]  Michael Hucka,et al.  Robo-Soar: An integration of external interaction, planning, and learning using Soar , 1991, Robotics Auton. Syst..

[394]  Max Henrion,et al.  An Introduction to Algorithms for Inference in Belief Nets , 1989, UAI.

[395]  David C. Luckham,et al.  Extracting Information from Resolution Proof Trees , 1971, Artif. Intell..

[396]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[397]  Tracy L. Anderson,et al.  Animal behavior as a paradigm for developing robot autonomy , 1990, Robotics Auton. Syst..

[398]  Martin Wattenberg,et al.  Stochastic Hillclimbing as a Baseline Mathod for Evaluating Genetic Algorithms , 1995, NIPS.

[399]  David Andre The Automatic Programming of Agents that Learn Mental Models and Create Simple Plans of Action , 1995, IJCAI.

[400]  Y. Shoham Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence , 1987 .

[401]  Rodney A. Brooks,et al.  Symbolic Reasoning Among 3-D Models and 2-D Images , 1981, Artif. Intell..

[402]  Mark S. Boddy,et al.  An Analysis of Time-Dependent Planning , 1988, AAAI.

[403]  Gerald J. Sussman,et al.  Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..

[404]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[405]  H. E. Pople,et al.  Internist-I, an Experimental Computer-Based Diagnostic Consultant for General Internal Medicine , 1982 .

[406]  Andrew W. Moore,et al.  Reinforcement Learning: A Survey , 1996, J. Artif. Intell. Res..

[407]  James R. Slagle,et al.  Experiments With Some Programs That Search Game Trees , 1969, JACM.

[408]  Adolfo Guzman,et al.  Decomposition of a visual scene into three-dimensional bodies , 1968 .

[409]  Erann Gat,et al.  Integrating Planning and Reacting in a Heterogeneous Asynchronous Architecture for Controlling Real-World Mobile Robots , 1992, AAAI.

[410]  Michael L. Mauldin,et al.  CHATTERBOTS, TINYMUDS, and the Turing Test: Entering the Loebner Prize Competition , 1994, AAAI.

[411]  Alex Waibel,et al.  Readings in speech recognition , 1990 .

[412]  Austin Tate,et al.  Advanced Planning Technology: Technological Achievements of the ARPA/Rome Laboratory Planning Inititive , 1996 .

[413]  B. Kuipers,et al.  The Semantic Hierarchy in Robot Learning , 1992 .

[414]  O. Faugeras Three-dimensional computer vision: a geometric viewpoint , 1993 .

[415]  Rangachar Kasturi,et al.  Machine vision , 1995 .

[416]  Thomas G. Dietterich,et al.  Solving Multiclass Learning Problems via Error-Correcting Output Codes , 1994, J. Artif. Intell. Res..

[417]  Andrew G. Barto,et al.  Learning to Act Using Real-Time Dynamic Programming , 1995, Artif. Intell..

[418]  David Chapman,et al.  Penguins Can Make Cake , 1989, AI Mag..

[419]  James L. McClelland,et al.  An interactive activation model of context effects in letter perception: I. An account of basic findings. , 1981 .

[420]  Eric Horvitz,et al.  Decision theory in expert systems and artificial intelligenc , 1988, Int. J. Approx. Reason..

[421]  Maja J. Mataric,et al.  Designing and Understanding Adaptive Group Behavior , 1995, Adapt. Behav..

[422]  John Gaschnig,et al.  A Problem Similarity Approach to Devising Heuristics: First Results , 1979, IJCAI.

[423]  J. Doran,et al.  Experiments with the Graph Traverser program , 1966, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences.

[424]  Edsger W. Dijkstra,et al.  A note on two problems in connexion with graphs , 1959, Numerische Mathematik.

[425]  Judea Pearl,et al.  Heuristics : intelligent search strategies for computer problem solving , 1984 .

[426]  Rina Dechter,et al.  Bucket elimination: A unifying framework for probabilistic inference , 1996, UAI.

[427]  C. Cordell Green,et al.  Application of Theorem Proving to Problem Solving , 1969, IJCAI.

[428]  Ryszard S. Michalski,et al.  On the Quasi-Minimal Solution of the General Covering Problem , 1969 .

[429]  Robert C. Moore,et al.  Formal Theories of the Commonsense World , 1985 .

[430]  Stuart J. Russell Rationality and Intelligence , 1995, IJCAI.

[431]  Alfred Horn,et al.  On sentences which are true of direct unions of algebras , 1951, Journal of Symbolic Logic.

[432]  E. Feigenbaum,et al.  Computers and Thought , 1963 .

[433]  Anthony Stentz,et al.  The Focussed D* Algorithm for Real-Time Replanning , 1995, IJCAI.

[434]  Stephen A. Cook,et al.  The complexity of theorem-proving procedures , 1971, STOC.

[435]  D Marr,et al.  Theory of edge detection , 1979, Proceedings of the Royal Society of London. Series B. Biological Sciences.

[436]  Jonathan H. Connell,et al.  SSS: a hybrid architecture applied to robot navigation , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[437]  Oscar Firschein,et al.  Readings in computer vision: issues, problems, principles, and paradigms , 1987 .

[438]  P. Johnson-Laird The computer and the mind: an introduction to cognitive science , 1988 .

[439]  Sridhar Mahadevan,et al.  Rapid Task Learning for Real Robots , 1993 .

[440]  John H. Holland,et al.  Escaping brittleness: the possibilities of general-purpose learning algorithms applied to parallel rule-based systems , 1995 .

[441]  G. Lakoff,et al.  Metaphors We Live By , 1980 .

[442]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[443]  Edwin P. D. Pednault,et al.  ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.

[444]  Arthur E. Bryson,et al.  Applied Optimal Control , 1969 .

[445]  Jun Gu,et al.  Parallel algorithms and architectures for very fast AI search , 1991 .

[446]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[447]  Zohar Manna,et al.  The logical basis for computer programming: vol. 2, deductive systems , 1990 .

[448]  James F. Allen Towards a General Theory of Action and Time , 1984, Artif. Intell..

[449]  Richard E. Korf,et al.  Depth-First Heuristic Search on a SIMD Machine , 1993, Artif. Intell..

[450]  David L. Waltz,et al.  Classifying news stories using memory based reasoning , 1992, SIGIR '92.

[451]  Daniel G. Bobrow,et al.  Natural Language Input for a Computer Problem Solving System , 1964 .

[452]  Hector J. Levesque,et al.  A Logic of Implicit and Explicit Belief , 1984, AAAI.

[453]  L. Wos,et al.  Automated reasoning answers open questions. , 1993 .

[454]  Moti Yung,et al.  Divide and Conquer under Global Constraints: A Solution to the N-Queens Problem , 1989, J. Parallel Distributed Comput..

[455]  T. Poggio,et al.  A computational theory of human stereo vision , 1979, Proceedings of the Royal Society of London. Series B. Biological Sciences.

[456]  Theodosios Pavlidis,et al.  Picture Segmentation by a Tree Traversal Algorithm , 1976, JACM.

[457]  James F. Allen Maintaining knowledge about temporal intervals , 1983, CACM.

[458]  D. Dennett Darwin's Dangerous Idea , 1995 .

[459]  Martin L. Puterman,et al.  Markov Decision Processes: Discrete Stochastic Dynamic Programming , 1994 .

[460]  D. Hubel,et al.  Receptive fields and functional architecture of monkey striate cortex , 1968, The Journal of physiology.

[461]  David H. D. Warren,et al.  Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition Networks , 1980, Artif. Intell..

[462]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[463]  W. Walter The Living Brain , 1963 .

[464]  Allen Newell,et al.  THE POSSIBILITY OF PLANNING LANGUAGES IN MAN–COMPUTER COMMUNICATION* , 1965 .