Künstliche Intelligenz?

[1]  Geoffrey Hunter What Computers Can't Do , 1988, Philosophy.

[2]  Eugene Charniak,et al.  Artificial Intelligence Programming , 1987 .

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

[4]  Wolfgang Bibel,et al.  Automated Theorem Proving , 1987, Artificial Intelligence / Künstliche Intelligenz.

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

[6]  Donald A. Waterman,et al.  Expert systems for legal decision making , 1986 .

[7]  Christian Blume,et al.  Programming languages for industrial robots , 1986, Symbolic computation.

[8]  Peter Jackson,et al.  Introduction to expert systems , 1986 .

[9]  Berthold K. P. Horn Robot vision , 1986, MIT electrical engineering and computer science series.

[10]  Doug DeGroot,et al.  Logic programming - functions, relations and equations , 1986 .

[11]  Donald A. Waterman,et al.  How do expert systems differ from conventional programs , 1986 .

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

[13]  Wolfgang Bibel,et al.  Fundamentals of artificial intelligence , 1986 .

[14]  Terry Winograd,et al.  Understanding computers and cognition , 1986 .

[15]  Drew McDermott,et al.  Introduction to artificial intelligence , 1986, Addison-Wesley series in computer science.

[16]  Martin D. Levine,et al.  Vision in Man and Machine , 1985 .

[17]  Zohar Manna,et al.  The logical basis for computer programming , 1985 .

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

[19]  Guy L. Steele,et al.  Common Lisp the Language , 1984 .

[20]  Alan Bundy,et al.  The Computer Modelling of Mathematical Reasoning , 1983 .

[21]  Terry Winograd,et al.  Language as a Cognitive Process , 1983, CL.

[22]  John R. Anderson The Architecture of Cognition , 1983 .

[23]  J. G. Davis Food science & technology: By Magnus Pyke, Fourth edition, revised and enlarged by Lelio Parducci. John Murray, London, 304 pp. Price: £7·50 , 1982 .

[24]  Douglas B. Lenat,et al.  Knowledge-based systems in artificial intelligence , 1981 .

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

[26]  Wolfgang Wahlster,et al.  Natürlichsprachliche Argumentation in Dialogsystemen , 1981 .

[27]  Barr and Feigenbaum Edward A. Avron The Handbook of Artificial Intelligence , 1981 .

[28]  William F. Clocksin,et al.  Programming in Prolog , 1981, Springer Berlin Heidelberg.

[29]  John R. Searle,et al.  Minds, brains, and programs , 1980, Behavioral and Brain Sciences.

[30]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[31]  George G. Dodd,et al.  Computer Vision and Sensor-Based Robots , 1979 .

[32]  David R. Barstow,et al.  Knowledge-based program construction , 1979 .

[33]  John A. Allen,et al.  The anatomy of lisp , 1980 .

[34]  Allen R. Hanson,et al.  Computer Vision Systems , 1978 .

[35]  A. Sloman,et al.  The computer revolution in philosophy , 1978 .

[36]  Barbara J. Grosz,et al.  Understanding Spoken Language , 1978 .

[37]  M. Boden Arti cial Intelligence and Natural Man , 1977 .

[38]  L. Rowell Huesmann,et al.  The thinking computer : mind inside matter , 1977 .

[39]  Azriel Rosenfeld,et al.  Digital Picture Processing , 1976 .

[40]  Benjamin Kuipers,et al.  Computer power and human reason , 1976, SGAR.

[41]  Lee W. Gregg,et al.  Knowledge and cognition , 1974 .

[42]  Richard C. T. Lee,et al.  Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

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

[44]  Nils J. Nilsson,et al.  Problem-solving methods in artificial intelligence , 1971, McGraw-Hill computer science series.

[45]  Herbert A. Simon,et al.  The Sciences of the Artificial , 1970 .

[46]  A. M. Turing,et al.  Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.