Login Help

keywords = AI (224 entries)  Select: All None   Action: Show BibTeX

David Allen McAllester and Deniz Yuret. 2002. Alpha-beta-conspiracy search. ICGA Journal, vol 25, no 1, pp 16--35. [AI, ai.ku] url ps pdf google scholar
Edwin Thompson Jaynes. 1998. Collected papers. [AI] google scholar
John Preskill. 1998. Lecture notes for physics 229: Quantum information and computation. [AI] google scholar
Ray J. Solomonoff. 1997. Does algorithmic probability solve the problem of induction?. article. [AI] google scholar
Philippe G. Schyns, Robert L. Goldstone and Jean-Pierre Thibaut. 1997. The development of features in object concepts. [AI] google scholar
Robert C. Berwick, Patrick Henry Winston, et al. 1997. Computational explanations of human intelligence. [AI] google scholar
Ruth Garrett Millikan. 1997. A common structure for concepts of individuals, stuffs, and real kinds: more mama, more milk and more mouse. [AI] google scholar
Aske Plaat. 1996. Research, re: search and re-search. [AI] google scholar
Cynthia B. Ferrell and Charles C. Kemp. 1996. An ontological perspective to scaling sensorimotor intelligence. [AI] google scholar
Deniz Yuret. 1996. The binding roots of symbolic AI: a brief review of the Cyc project. Area exam paper. [AI, ai.ku] url ps google scholar
Edwin Thompson Jaynes. 1996. The physical basis of music. [AI] google scholar
Rodney Allen Brooks. 1996. L. [AI] google scholar
Ray J. Solomonoff. 1996. The discovery of algorithmic probability. article. [AI] google scholar
Anne Foerst. 1996. Artificial intelligence: walking the boundary. [AI] google scholar
Edwin Thompson Jaynes. 1995. Probability theory: the logic of science. 2 vols. [AI] google scholar
John F Sowa. 1995. Syntax, semantics, and pragmatics of contexts. In AAAI-95 Fall Symposium Series: Formalizing Context, pp 85-96. [AI] google scholar
Sasa Buvac and Richard Fikes, editors. 1995. Formalizing context: proceedings of the AAAI-95 fall symposium series. [AI] google scholar
Rajesh P. N. Rao and Dana H. Ballard. 1995. An active vision architecture based on iconic representations. [AI] google scholar
Djurdje Cvijovic and Jacek Klinowski. 1995. Taboo search: an approach to the multiple minima problem. [AI] google scholar
Alexander Chislenko. 1995. Networking in the mind age. [AI] google scholar
Shang-Hua Teng. 1995. Low energy and mutually distant sampling. [AI] google scholar
Ljubomir J. Buturovic, Richard H. Lathrop, et al. 1994. Threading through the levinthal paradox. [AI] google scholar
Richard A. Kelsey and Jonathan A. Rees. 1994. A tractable scheme implementation. [AI] google scholar
Deniz Yuret. 1994. The principle of pressure in chess. In The Third Turkish Symposium on Artificial Intelligence and Neural Networks (TAINN '94). [AI, ai.ku] url ps google scholar
Satyajit Rao. 1994. A visuospatial representational system. [AI] google scholar
Rodney Allen Brooks and Pattie Maes, editors. 1994. Artificial life IV: proceedings of the fourth international workshop on the synthesis and simulation of living systems. [AI] google scholar
John McCarthy and Sasa Buvac. 1994. Formalizing context. Stanford University Technical Note STAN-CS-TN-94-13. [AI] google scholar
Deniz Yuret. 1994. From genetic algorithms to efficient optimization, no 1569. MIT AI Laboratory. [AI, acl08smoothing, SLM, ai.ku] url ps google scholar
Anne Foerst. 1994. Walking on the boundary. [AI] google scholar
Richard H. Lathrop and Temple F. Smith. 1994. A branch-and-bound algorithm for optimal protein threading with pairwise (contact potential) amino acid interactions. [AI] google scholar
Cem Bozsahin, Ugur Halici, Kemal Oflazer and Nese Yalabik, editors. 1994. 3rd Turkish symposium on artificial intelligence and neural networks. [AI] google scholar
Intel Corporation. 1993. 4th Harvard cup: human versus computer chess challenge. [AI] google scholar
Selahattin Kuru, H. Levent Akin, A. C. Cem Say and Ethem Alpaydin, editors. 1993. 2nd Turkish symposium on artificial intelligence and neural networks. [AI] google scholar
RV Guha and Douglas B. Lenat. 1993. Re: CycLing paper reviews. Artificial Intelligence, vol 61, pp 149-174. [AI] google scholar
Charles Elkan and Russell Greiner. 1993. Book Review: D.B. Lenat and R.V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. Artificial Intelligence, vol 61, pp 41-52. [AI] google scholar
RV Guha. 1993. Context dependence of representations in cyc. Technical Report. MCC. [AI] google scholar
Richard S. Sutton and Steven D. Whitehead. 1993. Online learning with random representations. [AI] google scholar
Drew McDermott. 1993. Book Review: D.B. Lenat and R.V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. Artificial Intelligence, vol 61, pp 53-63. [AI] google scholar
Douglas Skuce. 1993. Book Review: D.B. Lenat and R.V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. Artificial Intelligence, vol 61, pp 81-94. [AI] google scholar
Bart Selman and Henry Kautz. 1993. An empirical study of greedy local search for satisfiability testing. Automated Reasoning, pp 46-51. [AI] google scholar
Robert Neches. 1993. Book Review: D.B. Lenat and R.V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. Artificial Intelligence, vol 61, pp 65-79. [AI] google scholar
John F Sowa. 1993. Book Review: D.B. Lenat and R.V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. Artificial Intelligence, vol 61, pp 95-104. [AI] google scholar
Michael de la Maza. 1993. Synthesizing regularity exposing attributes in large protein databases. [AI] google scholar
David Allen McAllester. 1993. Automatic recognition of tractability in inference relations. [AI] google scholar
Mark S. Tuttle. 1993. Book Review: E. Davis, Representations of Commonsense Knowledge, and D.B. Lenat and R.V. Guha, Building Large Knowledge-Based Systems. Artificial Intelligence, vol 61, pp 121-148. [AI] google scholar
Rodney Allen Brooks. 1993. Behavior-based control of autonomous micro-robots. [AI] google scholar
CBCL . 1993. Proceedings for CBCL's learning day. [AI] google scholar
Rodney Allen Brooks and Lynn Andrea Stein. 1993. Building brains for bodies. [AI] google scholar
Robert Givan, David Allen McAllester, Carl Witty and Kevin Zalondek. 1992. Ontic: language specification and user's manual. [AI] google scholar
Thomas Marill. 1992. Why do we see three-dimensional objects?. [AI] google scholar
Rodney Allen Brooks. 1992. Artificial life and real robots. [AI] google scholar
Kemal Oflazer, Varol Akman, H. Altay Guvenir and Ugur Halici, editors. 1992. 1st Turkish symposium on artificial intelligence and neural networks. [AI] google scholar
David Allen McAllester. 1992. Game search. [AI] google scholar
Jonathan Schaeffer, et al. 1992. A world championship caliber checkers program. [AI] google scholar
Peter J. B. Hancock, Roland J. Baddeley and Leslie S. Smith. 1992. The principal components of natural images. [AI] google scholar
Rodney Allen Brooks. 1991. Intelligence without reason. In IJCAI. MIT AI Memo 1293, April 1991,Computers and Thought Lecture, IJCAI 1991. [AI] google scholar
Robert Givan, David Allen McAllester and Sameer Shalaby. 1991. Natural language based inference procedures applied to Schubert's steamroller. [AI] google scholar
Patrick Henry Winston. 1991. Analog systems and dealing with signals. [AI] google scholar
William M. Wells. 1991. MAP model matching. In Proc. IEEE Computer Society Conference on Computer Vision and Pattern Recognition. [AI] google scholar
Douglas B. Lenat and Edward A. Feigenbaum. 1991. On the thresholds of knowledge. Artificial Intelligence, vol 47, pp 185-250. [AI] google scholar
Douglas B. Lenat, et al. 1991. The world according to Cyc, Part 4. Technical Report. MCC. [AI] google scholar
David Allen McAllester. 1991. Grammar rewriting. [AI] google scholar
Nathan Linial, Yishay Mansour and Ronald L. Rivest. 1991. Results on learnability and the Vapnik-Chervonenkis dimension. Information and Computation, vol 90, pp 33-49. [AI] google scholar
David Allen McAllester. 1991. Observations in cognitive judgments. [AI] google scholar
Rodney Allen Brooks. 1991. New approaches to robotics. [AI] google scholar
Rodney Allen Brooks. 1991. Intelligence without representation. Artificial Intelligence, vol 47, pp 139-159. Reprint:Luger, Computation and Intelligence, 1995. [AI] google scholar
Thomas S. Ray. 1991. An approach to the synthesis of life. Artificial Life II, pp 371-408. [AI] google scholar
Paul Bloom, John E. Laird, Allen Newell and Robert McCarl. 1991. A preliminary analysis of the Soar architecture as a basis for general intelligence. Artificial Intelligence, vol 47, pp 289-325. [AI] google scholar
N. Hari Narayanan and B. Chandrasekaran. 1991. Reasoning visually about spatial interactions. [AI] google scholar
Brian Cantwell Smith. 1991. The owl and the electric encyclopedia. Artificial Intelligence, vol 47, pp 251-288. [AI] google scholar
Marvin Minsky. 1991. Logical versus analogical or symbolic versus connectionist or neat versus scruffy. AI Magazine, vol 12, no 2, pp 52-69. Reprint:Luger, Computation and Intelligence, 1995. [AI] google scholar
David Allen McAllester. 1991. Observations on cognitive judgments. [AI] google scholar
Jonathan Schaeffer. 1990. Conspiracy numbers. [AI] google scholar
Rodney Allen Brooks. 1990. Challenges for complete creature architectures. [AI] google scholar
W. Daniel Hillis. 1990. Co-evolving parasites improve simulated evolution as an optimization procedure. Physica, vol 42, pp 228-234. [AI] google scholar
Norbert Klingbeil and Jonathan Schaeffer. 1990. Empirical results with conspiracy numbers. [AI] google scholar
Raymond Kurzweil. 1990. A Platonic dialogue on the nature of human thought. [AI] google scholar
Rodney Allen Brooks. 1990. The behavior language: user's guide. [AI] google scholar
David Chapman. 1990. Vision, instruction and action. [AI] google scholar
Rodney Allen Brooks, Pattie Maes, Maja J. Mataric and Grinell More. 1990. Lunar base construction robots. [AI] google scholar
Pattie Maes and Rodney Allen Brooks. 1990. Learning to coordinate behaviors. [AI] google scholar
Rodney Allen Brooks. 1990. Elephants don't play chess. [AI] google scholar
Colin M. Angle and Rodney Allen Brooks. 1990. Small planetary rovers. [AI] google scholar
RV Guha and Douglas B. Lenat. 1990. Cyc: A midterm report. Technical Report. MCC. Published: AI Magazine, Fall 1990, pp.32-59. [AI] google scholar
RV Guha. 1990. The representation of defaults in Cyc. Technical Report. MCC. [AI] google scholar
RV Guha and Douglas B. Lenat. 1990. Cyc: A midterm report. AI Magazine. Published: AI Magazine, Fall 1990, pp.32-59. [AI] google scholar
RV Guha and Douglas B. Lenat. 1990. The CycL representation language, Part 4. Technical Report. MCC. [AI] google scholar
RV Guha. 1990. Micro-theories and contexts in Cyc Part I: Basic issues. Technical Report. MCC. [AI] google scholar
Terence D. Sanger. 1989. Optimal unsupervised learning in feedforward neural networks. [AI] google scholar
RV Guha and Douglas B. Lenat. 1989. CycL: The Cyc representation language, Part 2. Technical Report. MCC. [AI] google scholar
Yvan G. Leclerc. 1989. Constructing simple stable descriptions for image partitioning. International Journal of Computer Vision, vol 3, pp 73-102. [AI] google scholar
Rodney Allen Brooks and Anita Flynn. 1989. A robot being. [AI] google scholar
RV Guha and Douglas B. Lenat. 1989. The world according to Cyc, Part 2: Agenthood, institutions, and agreements. Technical Report. MCC. [AI] google scholar
RV Guha and Douglas B. Lenat. 1989. CycL: The Cyc representation language, Part 3. Technical Report. MCC. [AI] google scholar
Rodney Allen Brooks. 1989. A robot that walks: emergent behaviors from a carefully evolved network. [AI] google scholar
Anita M. Flynn, Rodney Allen Brooks and Lee S. Tavrow. 1989. Twilight zones and cornerstones: a gnat robot double feature. [AI] google scholar
Anita M. Flynn and Rodney Allen Brooks. 1989. Building robots: expectations and experiences. [AI] google scholar
Rodney Allen Brooks and Anita Flynn. 1989. Fast, cheap and out of control: a robot invasion of the solar system. [AI] google scholar
RV Guha and Douglas B. Lenat. 1989. The world according to Cyc, Part 3. Technical Report. MCC. [AI] google scholar
Anita M. Flynn, Rodney Allen Brooks, William M. Wells III and David S. Barrett. 1989. Squirt: a prototypical mobile robot for autonomous graduate students. [AI] google scholar
Rodney Allen Brooks and Anita Flynn. 1989. Robot beings. [AI] google scholar
Anita M. Flynn, Rodney Allen Brooks, William M. Wells III and David S. Barrett. 1989. Intelligence for miniature robots. [AI] google scholar
H. Kaindl. 1989. Tree searching algorithms. [AI] google scholar
Ian Douglas Horswill and Rodney Allen Brooks. 1988. Situated vision in a dynamic world: chasing objects. [AI] google scholar
Douglas B. Lenat and RV Guha. 1988. The world according to Cyc. Technical Report. MCC. [AI] google scholar
Douglas B. Lenat, RV Guha and David V. Wallace. 1988. The CycL representation language. Technical Report. MCC. [AI] google scholar
Margaret M. Fleck. 1988. Boundaries and topological algorithms. [AI] google scholar
RV Guha and Douglas B. Lenat. 1988. CycLing: Inferencing in Cyc. Technical Report. MCC. [AI] google scholar
Rodney Allen Brooks, Jonathan H. Connell and Peter Ning. 1988. Herbert: a second generation mobile robot. [AI] google scholar
David Haussler. 1988. Quantifying inductive bias: AI learning algorithms and Valiant's learning framework. Artificial Intelligence, vol 36, pp 177-221. Reprint:Shavlik & Dietterich, Readings in ML, 1990. [AI] google scholar
Anita Flynn, et al. 1988. Olympic robot building manual. [AI] google scholar
James R. Glass and Victor W. Zue. 1988. Multi-level acoustic segmentation of continuous speech. [AI] google scholar
David Allen McAllester. 1988. Conspiracy numbers for min-max search. [AI] google scholar
Rodney Allen Brooks. 1988. AI: great expectations. [AI] google scholar
Ning Qian and Terrence J. Sejnowski. 1988. Predicting the secondary structure of globular proteins using neural network models. [AI] google scholar
Gary L. Drescher. 1988. Demystifying quantum mechanics: a simple universe with quantum uncertainty. MIT. [AI] pdf google scholar
Test . 1988. The dynamic structure of everyday life. MIT. [AI] google scholar
Philip E. Agre. 1988. The dynamic structure of everyday life. [AI] google scholar
Edwin P. D. Pednault. 1988. Some experiments in applying inductive inference principles to surface reconstruction. [AI] google scholar
Scott E. Fahlman. 1988. Faster-learning variations on back-propagation: an empirical study. [AI] google scholar
David Chapman. 1987. Planning for conjunctive goals. Artificial Intelligence, vol 32, pp 333-377. [AI] google scholar
Aaron F. Bobick. 1987. Natural object categorization. [AI] google scholar
George William Hart. 1987. Minimum information estimation of structure. [AI] google scholar
Yishai A. Feldman and Charles Rich. 1987. The interaction between truth maintenance, equality, and pattern-directed invocation: Issues of completeness and efficiency. AI Working Paper. MIT. [AI] google scholar
Anita Flynn and Rodney Allen Brooks. 1987. MIT mobile robots - what's next. [AI] google scholar
Terrence J. Sejnowski and Charles R. Rosenberg. 1987. Parallel networks that learn to pronounce English text. Complex Systems, vol 1, pp 145-168. [AI] google scholar
Drew McDermott. 1987. A critique of pure reason. Computational Intelligence, vol 3, pp 151-160. [AI] google scholar
Rodney Allen Brooks. 1987. Planning is just a way of avoiding figuring out what to do next. [AI] google scholar
Jill H. Larkin and Herbert Alexander Simon. 1987. Why a diagram is (sometimes) worth ten thousand words. [AI] google scholar
Janet L. Kolodner. 1987. Case-based inference: A collection of papers. Technical Report. GIT-ICS. includes 4 papers. [AI] google scholar
Rodney Allen Brooks. 1987. A hardware retargetable distributed layered architecture for mobile robot control. [AI] google scholar
James V. Mahoney. 1987. Image chunking: defining spatial building blocks for scene analysis. [AI] google scholar
John E. Laird, Allen Newell and Paul Bloom. 1987. SOAR: An architecture for general intelligence. Artificial Intelligence, vol 33, pp 1-64. [AI] google scholar
Rodney Allen Brooks. 1987. Micro-brains for micro-brawn: autonomous microbots. [AI] google scholar
Judea Pearl. 1986. Fusion, propagation, and structuring in belief networks. Artificial Intelligence, vol 29, pp 241-288. [AI] google scholar
L.R. Rabiner and B.H. Juang. 1986. An introduction to hidden markov models. IEEE ASSP Magazine, vol 3, no 1, pp 3-16. [AI] google scholar
J.R. Quinlan. 1986. Induction of decision trees. Machine Learning, vol 1, pp 81-106. Reprint:Shavlik & Dietterich, Readings in ML, 1990. [AI] google scholar
J.R. Quinlan. 1986. Simplifying decision trees. AI Memo. MIT. [AI] google scholar
Rodney Allen Brooks. 1986. Achieving artificial intelligence through building robots. AI Memo. MIT. [AI] google scholar
Rodney Allen Brooks and Jonathan H. Connell. 1986. Asynchronous distributed control system for a mobile robot. [AI] google scholar
Gerald DeJong and Raymond Mooney. 1986. Explanation-based learning: An alternative view. Machine Learning, vol 1, pp 145-176. Reprint:Shavlik & Dietterich, Readings in ML, 1990. [AI] google scholar
Ernest H. Seelhorst and Eleanor Miles. 1986. Numerical graphical analysis of the postal chess game. [AI] google scholar
David M. Solo. 1986. Readable layout of unbalanced n-ary trees. AI Working Paper. MIT. [AI] google scholar
Peter W. Cudhea and Rodney Allen Brooks. 1986. Coordinating multiple goals for a mobile robot. [AI] google scholar
David E. Rumelhart, Geoffrey E. Hinton and Ronald J. Williams. 1986. Learning internal representations by error propagation, pp 318-362. From: Rumelhart & McClelland, PDP vol 1, chap 8,rdgsml. [AI] google scholar
Rodney Allen Brooks. 1985. A mobile robot project. [AI] google scholar
Peter Merrett Andreae. 1985. Justified generalization: acquiring procedures from examples. [AI] google scholar
Janet L. Kolodner, Robert L. Simpson Jr. and Katia Sycara-Cyranski. 1985. A process model of case-based reasoning in problem solving. In IJCAI, pp 284-290. [AI] google scholar
Patrick J. Hayes. 1985. The second naive physics manifesto, pp 1-36. From:Jobbs & Moore, Formal Theories of the Common Sense World, luger. [AI] google scholar
Ronald J. Brachman and Hector J. Levesque. 1985. Introduction (Knowledge Representation), pp xiii-xix. From:Readings in knowledge representation. [AI] google scholar
M. D. Riley. 1985. Qualitative waveform description. [AI] google scholar
Rodney Allen Brooks. 1985. A robust layered control system for a mobile robot. [AI] google scholar
Jean Gordon and Edward Shortliffe. 1984. The Dempster-Shafer theory of evidence, pp 272-292. From Buchanan and Shortliffe (eds), Rule based expert systems, chap 13, Addison-Wesley 1984. [AI] google scholar
Peter F. Patel-Schneider. 1984. Small can be beautiful in knowledge representation. Fairchild TR 660. rev version of paper in Proc IEEE workshop on principles of knowledge-based systems, dec84. [AI] google scholar
Kenneth D. Forbus. 1984. Qualitative process theory. Artificial Intelligence, vol 24, pp 85-168. [AI] google scholar
Brian C. Williams. 1984. Qualitative analysis of MOS circuits. Artificial Intelligence, vol 24, pp 281-346. [AI] google scholar
Douglas B. Lenat and John Seely Brown. 1984. Why AM and Eurisko appear to work. Artificial Intelligence, vol 23, pp 269-294. earlier version in Proc AAAI 1983. [AI] google scholar
Andrew P. Witkin. 1984. Scale space filtering: a new approach to multi-scale description. [AI] google scholar
S. Kirkpatrick, C.D. Jr. Gelatt and M.P. Vecchi. 1983. Optimization by simulated annealing. Science, vol 220, no 4598, pp 671-680. [AI] google scholar
David E. Wilkins. 1982. Using knowledge to control tree searching. [AI] google scholar
Dana S. Lau. 1982. The last player theorem. [AI] google scholar
Dana S. Nau. 1982. An investigation of the causes of pathology in games. [AI] google scholar
Douglas B. Lenat. 1982. Heuretics: Theoretical and experimental study of heuristic rules. In Proceedings of the National Conference on Artificial Intelligence (AAAI-82), vol 1, pp 159-163. [AI] google scholar
Robert C. Moore. 1982. The role of logic in knowledge representation and commonsense reasoning. AAAI, pp 428-433. [AI] google scholar
John Haugeland. 1981. Bibliography (Mind Design), pp 355-368. From:Haugeland, Mind Design, 1981. [AI] google scholar
Avron Barr and Edward (eds) Feigenbaum. 1981. Search, pp 20-139. From The Handbook of Artificial Intelligence, chap II. [AI] google scholar
Rodney Allen Brooks. 1981. Symbolic reasoning among 3-D models and 2-D images. [AI] google scholar
John R. Searle. 1980. Minds, brains and programs. Brain and behavioral sciences, vol 3, pp 417-424. Reprint:Haugeland, Mind Design, 1981. [AI] google scholar
John R. Searle. 1980. Open peer commentary on minds, brains, and programs. [AI] google scholar
David L. Waltz and Lois Boggess. 1980. Visual analog representations for natural language understanding. [AI] google scholar
I. Bratko and Donald Michie. 1980. An advice program for a complex chess programming task. [AI] google scholar
Hubert L. Dreyfus. 1979. From micro-worlds to knowledge representation: AI at an impasse. From the introduction to What Computers Can't Do 2nd ed.Excerpt: Haugeland, Mind Design, 81. [AI] google scholar
Guy Lewis Steele Jr. and Gerald Jay Sussman. 1979. Design of LISP-based processors or, SCHEME: a dielectric LISP or, Finite memories considered harmful or, LAMBDA: the ultimate opcode. [AI] google scholar
Guy Lewis Steele Jr. and Gerald Jay Sussman. 1978. The art of the interpreter or, the modularity complex (parts zero, one, and two. [AI] google scholar
Dan Spracklen and Kathe Spracklen. 1978. An exchange evaluator for computer chess. [AI] google scholar
I. Bratko, D. Kopec and Donald Michie. 1978. Pattern-based representation of chess end-game knowledge. [AI] google scholar
Drew McDermott. 1978. Tarskian semantics, or no notation without denotation!. Cognitive Science, vol 2, no 3, pp 277-282. Reprint: Grosz et al, Readings in NLP, 1986. [AI] google scholar
Drew McDermott. 1978. Planning and acting. Cognitive Science, vol 2, pp 71-109. [AI] google scholar
Kathe Spracklen and Dan Spracklen. 1978. First steps in computer chess programming. [AI] google scholar
David Marr. 1977. Artificial intelligence: A personal view. Artificial Intelligence, vol 9, pp 37-48. Reprint:Haugeland, Mind Design, 1981. [AI] google scholar
Johan de Kleer, Jon Doyle, Guy L. Steele Jr. and Gerald Jay Sussman. 1977. AMORD: Explicit control of reasoning. In Proc. Symposium on Artificial Intelligence and Programming Languages. Appeared:SIGPLAN Notices 12(8),Appeared:SIGART Newsletter,No.64,August,1977,116-125. [AI] google scholar
Patrick J. Hayes. 1977. In defense of logic. In IJCAI, pp 559-565. Reprint:Luger, Computation and Intelligence, 1995. [AI] google scholar
Drew McDermott. 1976. Artificial intelligence meets natural stupidity. SIGART Newsletter, no 57. Reprint:Haugeland, Mind Design, 1981. [AI] google scholar
David Marr and Tomaso Poggio. 1976. From understanding computation to understanding neural circuitry. [AI] google scholar
Donald Michie. 1976. An advice-taking system for computer chess. [AI] google scholar
Guy Lewis Steele Jr.. 1976. LAMBDA: the ultimate declarative. [AI] google scholar
Guy Lewis Steele Jr. and Gerald Jay Sussman. 1976. LAMBDA: the ultimate imperative. [AI] google scholar
Allen Newell and Herbert Alexander Simon. 1976. Computer science as empirical inquiry: Symbols and search. Communications of the ACM, vol 19, pp 113-126. Tenth Turing Award Lecture, ACM conference 1975, haugeland, luger. [AI] google scholar
G. M. Adelson-Velskiy, V. L. Arlazarov and M. V. Donskoy. 1975. Some methods of controlling the tree search in chess programs. [AI] google scholar
Terry Winograd. 1975. Frame representations and the declarative/procedural contraversy, pp 185-210. From: Bobrow & Collins, Representation and Understanding. [AI] google scholar
Donald E. Knuth and Ronald W. Moore. 1975. An analysis of alpha-beta pruning. [AI] google scholar
William A. Woods. 1975. What's in a link: Foundations for semantic networks, pp 35-82. From: Bobrow & Collins, Representation and Understanding. [AI] google scholar
Larry R. Harris. 1975. The heuristic search and the game of chess: a study of quiescence, sacrifices, and plan oriented play. [AI] google scholar
Earl D. Sacerdoti. 1975. The nonlinear nature of plans. In 4th International Joint Conference on AI (IJCAI-75), vol 1, pp 206-214. [AI] google scholar
Gerald Jay Sussman and Guy Lewis Steele Jr.. 1975. SCHEME: an interpreter for extended lambda calculus. [AI] google scholar
Marvin Minsky. 1975. A framework for representing knowledge. AI Memo. MIT. Excerpt:Winston (ed), Psychology of Computer Vision, 1975, haugeland81,luger95. [AI] google scholar
Larry R. Harris. 1974. The heuristic search under conditions of error. [AI] google scholar
Earl D. Sacerdoti. 1974. Planning in a hierarchy of abstraction spaces. Artificial Intelligence, vol 5, pp 115-135. [AI] google scholar
Patrick J. Hayes. 1973. Computation and deduction. [AI] google scholar
James J. Gillogly. 1972. The technology chess program. [AI] google scholar
Gerald Jay Sussman and Drew Vincent McDermott. 1972. Why conniving is better than planning. AI Memo. MIT. [AI] google scholar
Richard E. Fikes, Peter E. Hart and Nils J. Nilsson. 1972. Learning and executing generalized robot plans. Artificial Intelligence, vol 3, no 4, pp 251-288. Reprint:Webber & Nilsson, Readings in AI, 1981, rdgsml. [AI] google scholar
Richard E. Fikes and N.J. Nilsson. 1971. STRIPS: A new approach in the application of theorem proving to problem solving. Artificial Intelligence, vol 2, pp 189-208. Reprint:Luger, Computation and Intelligence, 1995. [AI] google scholar
Patrick Henry Winston. 1970. Learning structural descriptions from examples. Ph.D. Thesis. MIT. [AI] url google scholar
C. Cordell Green. 1969. Application of theorem proving to problem solving. In Proc. First International Joint Conference on Artificial Intelligence, pp 219-239. Reprint:Allen et al, Readings in Planning, rdgsai. [AI] google scholar
John McCarthy and P.J. Hayes. 1969. Some philosophical problems from the standpoint of artificial intelligence, pp 463-502. From:Meltzer & Michie, Machine Intelligence 4,rdgsai,fcs. [AI] google scholar
Saul Amarel. 1968. On representations of problems of reasoning about actions, pp 131-171. From:Michie, Machine Intelligence 3,Reprint:Webber & Nilsson, Readings in AI, 1981. [AI] google scholar
Marvin Minsky. 1968. Matter, mind, and models, pp 425-432. From Minsky (ed), Semantic Information Processing. [AI] google scholar
Joseph Weizenbaum. 1966. Eliza - a computer program for the study of natural language communication between man and machine. [AI] google scholar
L. A. Zadeh. 1965. Fuzzy sets. [AI] google scholar
Marvin Minsky. 1961. Steps toward artificial intelligence. In Proceedings of the IRE, vol 49, no 1, pp 8-30. Reprint:Feigenbaum & Feldman, Computers and Thought, 1963, luger. [AI] google scholar
Marvin Minsky. 1961. A selective descriptor-indexed bibliography to the literature on artificial intelligence. IRE Transactions on Human Factors in Electronics, vol 2, pp 39-55. Reprint:Feigenbaum & Feldman, Computers and Thought, 1963. [AI] google scholar
Allen Newell and H.A. Simon. 1961. GPS, a program that simulates human thought. Lernende Autometen. Reprint:Feigenbaum & Feldman, Computers and Thought, 1963, luger. [AI] google scholar
Arthur L. Samuel. 1960. Programming computers to play games. [AI] google scholar
J. Y. Lettvin, H. R. Maturana, Warren S McCulloch and W. H. Pitts. 1959. What the frog's eye tells the frog's brain. [AI] google scholar
Allen Newell, J.C. Shaw and H.A. Simon. 1959. Report on a general problem-solving program. In Proceedings of the International Conference on Information Processing, pp 256-264. Reprint:Computers and Automation, July 1959. [AI] google scholar
John McCarthy. 1958. Programs with common sense. In Proc. Symposium on the Mechanization of Thought Processes, vol 1, pp 77-84. Proc Teddington Conference on the Mechanization of Thought Processes,59,p75-91;sip;fcs;luger. [AI] google scholar
Allen Newell, J.C. Shaw and H.A. Simon. 1957. Empirical explorations with the logic theory machine: A case study in heuristics. In Proc. Western Joint Computer Conference, vol 15, pp 218-239. Reprint:Feigenbaum & Feldman, Computers and Thought, 1963, luger. [AI] google scholar
Grey Walter. 1957. Unpublished notes. [AI] google scholar
Oliver Selfridge. 1955. Pattern recognition and learning. [AI] google scholar
W. Grey Walter. 1951. A machine that learns. [AI] google scholar
Alan M. Turing. 1950. Computing machinery and intelligence. Mind, vol 59, pp 433-460. Reprint:Feigenbaum & Feldman, Computers and Thought, 1963, luger. [AI] google scholar
W. Grey Walter. 1950. An imitation of life. [AI] google scholar
Norbert Wiener. 1948. Cybernetics. [AI] google scholar

x$Id: bibtex.php,v 1.59 2021/01/12 08:36:11 dyuret Exp $   download