GERMAN

Künstliche Intelligenz: Theoretische Grundlagen und Anwendungsfelder Frühjahrsschulen, Dassel, 8.–16. März 1985 und 8.–16.März 1986

By Thomas Christaller (auth.) , Michael M. Richter (eds.) , Thomas Christaller , Hans-Werner Hein

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1988
ISBN
9783540189039, 9783642734052
Language
german
Format
PDF
Filesize
11 MB (11099950 bytes)
Series
Informatik-Fachberichte 159
Edition
1
Pages
341\347
Time added
2020-08-30 06:11:09
Artificial Intelligence (incl. Robotics)

Description

Die deutsche Frühjahrsschule für Künstliche Intelligenz, jährlich veranstaltet von der Fachgruppe 1.2 "Künstliche Intelligenz und Mustererkennung" der Gesellschaft für Informatik, ist in den letzten Jahren zu einem festen Begriff geworden. Dieses Buch ist der dritte Band von Kursausarbeitungen vergangener Frühjahrsschulen, hier aus den Jahren 1985 und 1986. Es vergrößert die thematische Vielfalt des bereits Verfügbaren um neuartige Einführungen in LISP und PROLOG, sowie ausführliche Beiträge über Robotik, Programmverifikation, Qualitative Modelle, Kognitive Modelle und Automatisches Beweisen. Front Matter....Pages i-vii Einführung in LISP....Pages 1-35 PROLOG: PROgrammieren mit LOGik Eine Einführung....Pages 36-57 Robotik und Kunstliche Intelligenz....Pages 58-133 Programmverifikation....Pages 134-182 Qualitative Modelle in Wissensbasierten Systemen....Pages 183-244 Kognitive Modellierung: Menschliche Wissensrepräsentationen und Verarbeitungsstrategien....Pages 245-291 Automatisches Beweisen....Pages 292-339 Back Matter....Pages 341-341

Similar books