Skip to main content
SpringerLink
Log in
Book cover

GWAI-89 13th German Workshop on Artificial Intelligence

Eringerfeld, 18.–22. September 1989 Proceedings

  • Conference proceedings
  • © 1989

Overview

Editors:
  1. Dieter Metzing

    1. Computerlinguistik, Universität Bielefeld, Bielefeld 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 216)

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

  1. Front Matter

    Pages III-XII
    Download chapter PDF

  2. Nicht - Klassische Deduktive Systeme

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Propagation of Temporally Indexed Values in Multiple Contexts

      • Oskar Dressler, Hartmut Freitag
      Pages 2-6

    3. Nicht-monotone Beweiser für Autoepistemische Logik und Defaultlogik

      • Ulrich Junker
      Pages 7-16

    4. Problem Solver Control Over the ATMS

      • Oskar Dressler, Adam Farquhar
      Pages 17-26

    5. Context Logic - An Introduction

      • Hans Jürgen Ohlbach
      Pages 27-36

    6. Proof Transformation Towards Human Reasoning Style

      • Xiaorong Huang
      Pages 37-42

    7. Revising Domain Theories in Model-Based Reasoning Systems

      • Wolfgang Nejdl, Johannes Kroupa
      Pages 43-47

  3. Deduktive Systeme

    1. Front Matter

      Pages 48-48
      Download chapter PDF

    2. Plan Generation by Linear Proofs: On Semantics

      • Wolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig
      Pages 49-62

    3. A New Deductive Approach to Planning

      • Steffen Hölldobler, Josef Schneeberger
      Pages 63-73

    4. Detecting Redundancy Caused by Congruent Links in Clause Graphs

      • Rolf Socher-Ambrosius
      Pages 74-82

    5. An Approach to Parallel Unification Using Transputers

      • Jochen Hager, Martin Moser
      Pages 83-91

    6. Eqtheopogles A Completion Theorem Prover for PL1EQ

      • Jörg Denzinger, Jürgen Müller
      Pages 92-101

    7. A Resolution Calculus Extended by Equivalence

      • Jürgen Müller, Rolf Socher-Ambrosius
      Pages 102-106

    8. Linear Paramodulation modulo Equality

      • Ulrich Furbach, Steffen Hölldobler, Joachim Schreiber
      Pages 107-116

  4. Neuronale Netze

    1. Front Matter

      Pages 117-117
      Download chapter PDF

    2. Explanation and Connectionism

      • Joachim Diederich
      Pages 118-127

    3. Optimierung des Lernverhaltens neuronaler Netze durch Berücksichtigung verschiedener Abstraktionsklassen bei der Netzwerktopologie

      • Karl-Heinz Krachenfels, Kerstin Schill
      Pages 128-133

    4. NetSim: Ein Simulator für Neuronale Netze

      • Andreas Zell, Thomas Korb, Tilman Sommer, Rolf Bayer
      Pages 134-143
Back to top

Keywords

About this book

Die 13. Jahrestagung für Künstliche Intelligenz, GWAI-89, ist auch 1989 wieder ein Forum, auf dem ein beachtliches Spektrum der KI-Forschung in der Bundesrepublik präsentiert wird. Es reicht von Vorträgen über aktuelle Forschungsarbeiten bis zu speziellen Seminaren und dort von Grundlagenveranstaltungen (Formale und Kognitive Grundlagen von Wissensrepräsentationen; Einführung in Maschinelles Lernen und in spezielle höhere problemorientierte Sprachen für Wissensbasierte Systeme) bis zur Sektion "Expertensystemlabor", in der das Ziel verfolgt wird, einen Rahmen zu definieren für kontinuierliche Kooperation und Erfahrungsaustausch zwischen Grundlagen- und Anwendungsforschung und Produktentwicklung. Die thematischen Schwerpunkte der Beiträge liegen in den Gebieten klassische und nicht-klassische Deduktive Systeme, Expertensysteme und Natürlichsprachliche Systeme. Dazu kommen andere Teilgebiete der KI wie Bildverarbeitung, Kognitive und Tutorielle Systeme sowie Neuronale Netze.

Editors and Affiliations

  • Computerlinguistik, Universität Bielefeld, Bielefeld 1, Germany

    Dieter Metzing

Bibliographic Information

  • Book Title: GWAI-89 13th German Workshop on Artificial Intelligence

  • Book Subtitle: Eringerfeld, 18.–22. September 1989 Proceedings

  • Editors: Dieter Metzing

  • Series Title: Informatik-Fachberichte

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1989

  • Softcover ISBN: 978-3-540-51743-6Published: 11 September 1989

  • eBook ISBN: 978-3-642-75100-4Published: 12 March 2013

  • Series ISSN: 0343-3005

  • Edition Number: 1

  • Number of Pages: XII, 485

  • Topics: Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation