Advertisement

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

  7. Termersetzungssysteme und Automatisches Beweisen

  8. Programmverifikation/Sprache/Spiele

  9. Back Matter
    Pages 325-325

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
  • Buy this book on publisher's site