Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1981

GWAI-81

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

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)

Sections

Buy it now

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

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

Table of contents (28 papers)

  1. Front Matter

    Pages N2-XII
    PDF

  3. Natürlichsprachliche KI-Systeme

    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

    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
Back to top

Keywords

Back to top

Editors and Affiliations

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

    Jörg H. Siekmann

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation