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

GWAI-83

7th German Workshop on Artificial Intelligence Dassel/Solling, September 19–23, 1983

  • Book
  • © 1983

Overview

Editors:
  1. Bernd Neumann

    1. Fachbereich Informatik, Universität Hamburg, Hamburg 13, Germany

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

  • 1492 Accesses

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 105.49
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 (22 chapters)

  1. Front Matter

    Pages I-VI
    Download chapter PDF

  3. KI-Programmiersprachen

    1. Ist Lisp Eine ‘Langsame’ Sprache?

      • Bernhard Nebel
      Pages 21-30

  6. Logik

    1. Logische Systeme und Repräsentationsprobleme

      • Christopher Habel
      Pages 118-142

  7. Wissensrepräsentation

    1. An Overview of Knowledge Representation

      • John Mylopoulos, Hector Levesque
      Pages 143-157

    2. Partnermodellierung Im Evidenzraum

      • Katharina Morlk, Claus-Rainer Rollinger
      Pages 158-168

    3. Kontrainduktives Lernen von Konzepten aus Fakten

      • Werner Emde
      Pages 169-178

  8. Problemlösen und Automatisches Beweisen

    1. On the Use of Operation Information in Problem Solving

      • Joachim Hertzberg
      Pages 179-188

    2. Unifikationsgraphen für Intelligentes Backtracking in Deduktionssystemen

      • Werner Dilger, Agnes Janson
      Pages 189-196

    3. Properties of Substitutions and Unifications

      • Elmar Eder
      Pages 197-206

    4. Proof Search for Unprovable Formulas

      • Wolfgang Schönfeld
      Pages 207-215
Back to top

Editors and Affiliations

  • Fachbereich Informatik, Universität Hamburg, Hamburg 13, Germany

    Bernd Neumann

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-83

  • Book Subtitle: 7th German Workshop on Artificial Intelligence Dassel/Solling, September 19–23, 1983

  • Editors: Bernd Neumann

  • Series Title: Informatik-Fachberichte

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1983

  • Softcover ISBN: 978-3-540-12871-7Published: 01 December 1983

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

  • Series ISSN: 0343-3005

  • Edition Number: 1

  • Number of Pages: VI, 240

  • Number of Illustrations: 4 b/w illustrations

  • Topics: Artificial Intelligence

Keywords

Publish with us

Policies and ethics

Back to top