Skip to main content
SpringerLink
Log in

Künstliche Intelligenz

5. Frühjahrsschule, KIFS-87, Günne, 28. März – 5. April 1987 Proceedings

  • Conference proceedings
  • © 1989

Overview

Editors:
  1. Thomas Christaller

    1. Gesellschaft für Mathematik und Datenverarbeitung, Forschungsgruppe Expertensysteme, St. Augustin, Deutschland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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 (12 papers)

  1. Front Matter

    Pages N2-vii
    Download chapter PDF

  2. Logisches Programmieren

    1. Methodik des Programmierens in Prolog

      • Reinhard Budde, Karin Kuhlenkamp, Karl-Heinz Sylla, Heinz Züllighoven
      Pages 1-28

    2. Konstruktion interaktiver Anwendungen in einer Prolog-Programmierumgebung

      • Reinhard Budde, Karin Kuhlenkamp, Karl-Heinz Sylla, Heinz Züllighoven
      Pages 29-41

    3. Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs

      • Udo Pletat
      Pages 42-64

    4. Many-Sorted Resolution

      • Christoph Walther
      Pages 65-102

  3. Wissensrepräsentation

    1. Wissensrepräsentation

      • Cosima Schmauch
      Pages 103-156

    2. Neuere KI-Formalismen zur Repräsentation von Wissen Eine Fallstudie

      • Kai von Luck, Bernd Owsnicki-Klewe
      Pages 157-187

    3. Nichtmonotone Logiken Ein einführender Überblick

      • Gerhard Brewka
      Pages 188-217

    4. Formalizing Local Constraint Propagation Methods

      • Angelika Voβ, Hans Voβ
      Pages 218-260

  4. Wissensakquisition

    1. Knowledge Engineering mit einer Expertensystem-Shell

      • Frank H. Schmitt
      Pages 261-294

    2. Techniken des Wissenserwerbs

      • Joachim Diederich
      Pages 295-335

  5. Intelligente Tutorsysteme und Belief-Systeme

    1. Tutors, Instructions and Helps

      • Claus Möbus, Heinz-J. Thole
      Pages 336-385

    2. Belief Systems: Ascribing Belief

      • Yorick Wilks, Afzal Ballim
      Pages 386-403

  6. Back Matter

    Pages 405-405
    Download chapter PDF
Back to top

Keywords

About this book

Dieser Band enthält aufbereitete Darstellungen der Kurse, die auf der KI-Frühjahrsschule 1987 gehalten wurden. Die Künstliche-Intelligenz-Frühjahrsschule 1987, KIFS-87, ist die fünfte in der Reihe von Frühjahrsschulen über Künstliche Intelligenz, die seit 1982 vom Fachausschuß 1.2 der Gesellschaft für Informatik (GI) veranstaltet werden. Aufgabe der KIFS ist es, sowohl Einführungen in repräsentative Teilbereiche der Künstlichen Intelligenz als auch tiefergehende Aufbaukurse in aktuellen Spezialgebieten anzubieten. Der Sammelband behandelt die Gebiete Logisches Programmieren, Wissensakquisition und Intelligente Tutorsysteme und Belief-Systeme. Ziel des Buches ist es, in Ergänzung zu den vorhandenen KIFS-Bänden Themen dieser Gebiete didaktisch aufzuarbeiten.

Editors and Affiliations

  • Gesellschaft für Mathematik und Datenverarbeitung, Forschungsgruppe Expertensysteme, St. Augustin, Deutschland

    Thomas Christaller

Bibliographic Information

  • Book Title: Künstliche Intelligenz

  • Book Subtitle: 5. Frühjahrsschule, KIFS-87, Günne, 28. März – 5. April 1987 Proceedings

  • Editors: Thomas Christaller

  • Series Title: Informatik-Fachberichte

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1989

  • Softcover ISBN: 978-3-540-50884-7Published: 02 March 1989

  • eBook ISBN: 978-3-642-83739-5Published: 12 March 2013

  • Series ISSN: 0343-3005

  • Edition Number: 1

  • Number of Pages: VII, 403

  • Number of Illustrations: 3 b/w illustrations

  • Topics: Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation