Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
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

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Keywords

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

Editors and Affiliations

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

    Wolfgang Wahlster

Bibliographic Information

  • Book Title: GWAI-82

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

  • Editors: Wolfgang Wahlster

  • Series Title: Informatik-Fachberichte

  • DOI: https://doi.org/10.1007/978-3-642-68826-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1982

  • Softcover ISBN: 978-3-540-11960-9Published: 01 December 1982

  • eBook ISBN: 978-3-642-68826-3Published: 06 December 2012

  • Series ISSN: 0343-3005

  • Edition Number: 1

  • Number of Pages: VI, 246

  • Number of Illustrations: 1 b/w illustrations

  • Topics: Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation