[go: up one dir, main page]
Skip to main content
Springer Nature Link
Account

GWAI-81

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

  • Conference proceedings
  • © 1981

Overview

Editors:
  1. Jörg H. Siekmann

    1. Institut für Informatik I, Universität Karlsruhe, Karlsruhe 1, Germany

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

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

  • 1868 Accesses

  • 2 Citations

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

Access this book

Log in via an institution
Softcover Book EUR 52.74
Price includes VAT (France)
  • 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

Explore related subjects

Discover the latest articles, books and news in related subjects.

Table of contents (28 papers)

  1. Front Matter

    Pages N2-XII
    Download chapter PDF

  3. Natürlichsprachliche KI-Systeme

    1. Natürlichsprachliche KI-Systeme: Entwicklungsstand und Forschungsperspektive

      • W. Wahlster
      Pages 50-68

    2. SWYSS — A Natural Language question-answering System for Scene-Analysis

      • Peter Schefe, Bernd Pretschner
      Pages 69-78

    3. Natural Language Inquiries about Motion in an Automatically Analyzed Traffic Scene

      • Heinz Marburger, Bernd Neumann, Hans-Joachim Novak
      Pages 79-87

    4. Aspekte der rechnergestützten Generierung von Inferenzregeln durch Regelschemata

      • Christopher Habel, Claus-Rainer Rollinger
      Pages 88-97

  4. Expertensysteme/Verarbeitung Natürlicher Sprache

    1. Expert Systems: State of the Art and Future Prospects

      • Peter Raulefs
      Pages 98-111

    2. An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types

      • Ulrich Bartels, Walter Olthoff, Peter Raulefs
      Pages 112-123

    3. Context Directed Translation

      • Werner Dilger
      Pages 124-134

    4. GLP: A Linguistic Processor

      • G. Görz
      Pages 135-135

  5. KI-Sprachen und Deren Anwendungen

    1. AI Languages and AI Machines: An Overview

      • Harold Boley
      Pages 136-155

    2. A Concurrent Chart Parser

      • Peter Raulefs, Hans Siebenbach
      Pages 156-159

    3. A Parallel Connection Graph Proof Procedure

      • Günter Hornung, Anfried Knapp, Ulrike Knapp
      Pages 160-167

    4. Integrated, Knowledge-based Information Manipulation Systems

      • Heinz-Dieter Boecker, Gerhard Fischer
      Pages 168-170

  6. Automatisches Beweisen und Connectiongraphverfahren

    1. Matings in Matrices

      • Wolfgang Bibel
      Pages 171-187

    2. Subsumption and Connection Graphs

      • Norbert Eisinger
      Pages 188-198

    3. Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure

      • J. Siekmann, G. Smolka
      Pages 199-200

    4. Elimination of Redundant Links in Extended Connection Graphs

      • Christoph Walther
      Pages 201-213
Back to top

Editors and Affiliations

  • Institut für Informatik I, Universität Karlsruhe, Karlsruhe 1, Germany

    Jörg H. Siekmann

Accessibility Information

PDF accessibility summary

This PDF is not accessible. It is based on scanned pages and does not support features such as screen reader compatibility or described non-text content (images, graphs etc). However, it likely supports searchable and selectable text based on OCR (Optical Character Recognition). Users with accessibility needs may not be able to use this content effectively. Please contact us at accessibilitysupport@springernature.com if you require assistance or an alternative format.

Bibliographic Information

  • Book Title: GWAI-81

  • Book Subtitle: German Workshop on Artificial Intelligence Bad Honnef, January 26–31, 1981

  • Editors: Jörg H. Siekmann

  • Series Title: Informatik-Fachberichte

  • DOI: https://doi.org/10.1007/978-3-662-02328-0

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1981

  • Softcover ISBN: 978-3-540-10859-7Published: 01 August 1981

  • eBook ISBN: 978-3-662-02328-0Published: 29 June 2013

  • Series ISSN: 0343-3005

  • Edition Number: 1

  • Number of Pages: XII, 320

  • Number of Illustrations: 14 b/w illustrations

  • Topics: Artificial Intelligence

Keywords

Publish with us

Policies and ethics

Back to top