Blick ins Buch

Künstliche Intelligenz

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

Thomas Christaller, Hans-Werner Hein, Michael M. Richter (Herausgeber)

Buch | Softcover

VII, 341 Seiten

1988
Springer Berlin (Verlag)
9783540189039 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

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.

Einführung in LISP.- PROLOG: PROgrammieren mit LOGik Eine Einführung.- Robotik und Kunstliche Intelligenz.- Programmverifikation.- Qualitative Modelle in Wissensbasierten Systemen.- Kognitive Modellierung: Menschliche Wissensrepräsentationen und Verarbeitungsstrategien.- Automatisches Beweisen.

Erscheint lt. Verlag	9.3.1988
Reihe/Serie	Informatik-Fachberichte
Reihe/Serie	Subreihe Künstliche Intelligenz
Zusatzinfo	VII, 341 S.
Verlagsort	Berlin
Sprache	deutsch
Maße	170 x 244 mm
Gewicht	607 g
Themenwelt	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Schlagworte	Beweisen • Künstliche Intelligenz • Modellierung • Mustererkennung • Roboter • Robotik • Verifikation • Wissen • Wissensrepräsentation
ISBN-13	9783540189039 / 9783540189039
Zustand	Neuware