Advertisement

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
Conference proceedings

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

Table of contents

  1. Front Matter
    Pages i-vii
  2. Thomas Christaller
    Pages 1-35
  3. Helmar Gust, Michael König
    Pages 36-57
  4. P. Levi, J. Foldenauer, Th. Löffler
    Pages 58-133
  5. Volker Penner
    Pages 134-182
  6. Frank Puppe, Hans Voß
    Pages 183-244
  7. Christoph Walther
    Pages 292-339
  8. Back Matter
    Pages 341-341

About these proceedings

Introduction

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.

Keywords

Beweisen Modellierung Mustererkennung Roboter Robotik Verifikation Wissen Wissensrepräsentation künstliche Intelligenz

Editors and affiliations

  • Thomas Christaller
    • 1
  • Hans-Werner Hein
    • 2
  • Michael M. Richter
    • 3
  1. 1.Forschungsgruppe ExpertensystemeGesellschaft für Mathematik und Datenverarbeitung mbHSankt Augustin 1Deutschland
  2. 2.Forschungsgruppe Mensch—Maschine—KommunikationGesellschaft für Mathematik und Datenverarbeitung mbHSankt Augustin 1Deutschland
  3. 3.Fachbereich InformatikUniversität KaiserslauternKaiserslauternDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-73405-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 1988
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-18903-9
  • Online ISBN 978-3-642-73405-2
  • Series Print ISSN 0343-3005
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering