Skip to main content
SpringerLink
Log in

GWAI-82

6th German Workshop on Artificial Intelligence Bad Honnef, Sept. 27. – Oct. 1, 1982

  • Conference proceedings
  • © 1982

Overview

Editors:
  1. Wolfgang Wahlster

    1. Forschungsstelle für Informationswissenschaft und Künstliche Intelligenz, Universität Hamburg, Hamburg 13, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

  1. Front Matter

    Pages I-VI
    Download chapter PDF

  3. Akquisition und Repräsentation von Wissen

    1. Some fundamental issues in knowledge representation

      • Peter Schefe
      Pages 42-62

    2. Konsistenzüberprüfungen bei sich verändernden Wissensbasen

      • Th. Christaller
      Pages 63-71

    3. Automatische Akquisition von inferentiellem Wissen

      • Werner Emde, Christopher Habel, Claus-Rainer Rollinger
      Pages 72-81

    4. Zur Repraesentation indefinit deskribierter Objekte in KI-Systemen

      • Christopher Habel
      Pages 82-91

    5. N.N. : A View of Planning in Chess

      • Kai V. Luck, Bernd Owsnicki
      Pages 92-101

  4. Unifikation und Deduktion

    1. Universal Unification

      • J. Siekmann, P. Szabó
      Pages 102-141

    2. Der META-Beweiser für die Zahlentheorie

      • W. Benda, G. Hornung, P. Raulefs, F. Vollmann
      Pages 142-152

    3. Proofs by Induction in “Fairly” Specified Equational Theories

      • M. Bidoit
      Pages 154-166

    4. Inductive Inference in Finite Algebraic Structures

      • Mordechai Halpern
      Pages 167-176

    5. Universal Unification and a Class of Equational Theories

      • Alexander Herold
      Pages 177-190

    6. Completeness of the Connection Graph Proof Procedure for Unit-Refutable Clause Sets

      • Gert Smolka
      Pages 191-204
Back to top

Keywords

Editors and Affiliations

  • Forschungsstelle für Informationswissenschaft und Künstliche Intelligenz, Universität Hamburg, Hamburg 13, Germany

    Wolfgang Wahlster

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation