Skip to main content
SpringerLink
Log in

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (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

Keywords

Editors and Affiliations

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

    Jörg H. Siekmann

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation