Skip to main content
SpringerLink
Log in

Künstliche Intelligenz

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

  • Conference proceedings
  • © 1988

Overview

Editors:
  1. Thomas Christaller

    1. Forschungsgruppe Expertensysteme, Gesellschaft für Mathematik und Datenverarbeitung mbH, Sankt Augustin 1, Deutschland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hans-Werner Hein

    1. Forschungsgruppe Mensch—Maschine—Kommunikation, Gesellschaft für Mathematik und Datenverarbeitung mbH, Sankt Augustin 1, Deutschland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Michael M. Richter

    1. Fachbereich Informatik, Universität Kaiserslautern, Kaiserslautern, Deutschland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Informatik-Fachberichte (INFORMATIK, volume 159)

Part of the book sub series: Subreihe Künstliche Intelligenz (2252)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 papers)

  1. Front Matter

    Pages i-vii
    Download chapter PDF

  2. Einführung in LISP

    • Thomas Christaller
    Pages 1-35

  3. PROLOG: PROgrammieren mit LOGik Eine Einführung

    • Helmar Gust, Michael König
    Pages 36-57

  4. Robotik und Kunstliche Intelligenz

    • P. Levi, J. Foldenauer, Th. Löffler
    Pages 58-133

  5. Programmverifikation

    • Volker Penner
    Pages 134-182

  6. Qualitative Modelle in Wissensbasierten Systemen

    • Frank Puppe, Hans Voß
    Pages 183-244

  7. Kognitive Modellierung: Menschliche Wissensrepräsentationen und Verarbeitungsstrategien

    • Franz Schmalhofer, Thomas Wetter
    Pages 245-291

  8. Automatisches Beweisen

    • Christoph Walther
    Pages 292-339

  9. Back Matter

    Pages 341-341
    Download chapter PDF
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Forschungsgruppe Expertensysteme, Gesellschaft für Mathematik und Datenverarbeitung mbH, Sankt Augustin 1, Deutschland

    Thomas Christaller

  • Forschungsgruppe Mensch—Maschine—Kommunikation, Gesellschaft für Mathematik und Datenverarbeitung mbH, Sankt Augustin 1, Deutschland

    Hans-Werner Hein

  • Fachbereich Informatik, Universität Kaiserslautern, Kaiserslautern, Deutschland

    Michael M. Richter

Bibliographic Information

  • Book Title: Künstliche Intelligenz

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

  • Editors: Thomas Christaller, Hans-Werner Hein, Michael M. Richter

  • Series Title: Informatik-Fachberichte

  • DOI: https://doi.org/10.1007/978-3-642-73405-2

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1988

  • Softcover ISBN: 978-3-540-18903-9Published: 09 March 1988

  • eBook ISBN: 978-3-642-73405-2Published: 02 July 2013

  • Series ISSN: 0343-3005

  • Edition Number: 1

  • Number of Pages: VII, 341

  • Topics: Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation