Die deutsche FrA1/4hjahrsschule fA1/4r KA1/4nstliche Intelligenz, jAhrlich veranstaltet von der Fachgruppe 1.2 "KA1/4nstliche Intelligenz und Mustererkennung" der Gesellschaft fA1/4r Informatik, ist in den letzten Jahren zu einem festen Begriff geworden. Dieses Buch ist der dritte Band von Kursausarbeitungen vergangener FrA1/4hjahrsschulen, hier aus den Jahren 1985 und 1986. Es vergrAAert die thematische Vielfalt des bereits VerfA1/4gbaren um neuartige EinfA1/4hrungen in LISP und PROLOG, sowie ausfA1/4hrliche BeitrAge A1/4ber Robotik, Programmverifikation, Qualitative Modelle, Kognitive Modelle und Automatisches Beweisen.