GWAI-81

German Workshop on Artificial Intelligence Bad Honnef, January 26–31, 1981

  • Jörg H. Siekmann

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

Table of contents

  1. Front Matter
    Pages N2-XII
  2. Computersehen und Roboterforschung

  3. Natürlichsprachliche KI-Systeme

  4. Expertensysteme/Verarbeitung Natürlicher Sprache

    1. Werner Dilger
      Pages 124-134
    2. G. Görz
      Pages 135-135
  5. KI-Sprachen und Deren Anwendungen

    1. Harold Boley
      Pages 136-155
    2. Peter Raulefs, Hans Siebenbach
      Pages 156-159
    3. Günter Hornung, Anfried Knapp, Ulrike Knapp
      Pages 160-167
    4. Heinz-Dieter Boecker, Gerhard Fischer
      Pages 168-170
  6. Automatisches Beweisen und Connectiongraphverfahren

About these proceedings

Keywords

Künstliche Intelligenz artificial intelligence cognition expert system heuristics image processing intelligence knowledge natural language pattern recognition proving robot robotics verification

Editors and affiliations

  • Jörg H. Siekmann
    • 1
  1. 1.Institut für Informatik IUniversität KarlsruheKarlsruhe 1Germany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-02328-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 1981
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-10859-7
  • Online ISBN 978-3-662-02328-0
  • Series Print ISSN 0343-3005
  • About this book