Artificial Intelligence: A New Synthesis
暂无分享,去创建一个
[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 .