Skip to main content
SpringerLink
Log in
Book cover

7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence

Wien, Austria, 24.–27. September 1991 Proceedings

  • Conference proceedings
  • © 1991

Overview

Editors:
  1. Hermann Kaindl

    1. Siemens AG, Österreich
      Technische Universität Wien, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

  1. Front Matter

    Pages I-VIII
    Download chapter PDF

  2. Eingeladene Beiträge / Invited Talks

    1. Knowledge-based Generation of Illustrated Documents

      • Wolfgang Wahlster, Elisabeth André, Som Bandyopadhyay, Winfried Graf, Thomas Rist
      Pages 1-15

    2. On the Complexity of Clause Condensing

      • Georg Gottlob
      Pages 16-29

  3. AI und Hypertext / AI and Hypertext

    1. HESDE — A Hypertext based Expert-System debugging Tool

      • Craig Boyle, John Schuette
      Pages 30-36

  4. Natürliche Sprache / Natural Language

    1. A Model of Task-Oriented Communication Based on Principles of Rational Action and Interaction

      • Helmut Horacek
      Pages 37-41

    2. Vie-DU — Dialogue by Unification

      • Ernst Buchberger, Elizabeth Garner, Wolfgang Heinz, Johannes Matiasek, Bernhard Pfahringer
      Pages 42-51

    3. Eine deklarative Beschreibung von Linkstilgungslücken in koordinierten Strukturen des Deutschen

      • Rudolf Hunze
      Pages 52-62

  5. Wissensbasierte Systeme / Knowledge-Based Systems

    1. Applying Artificial Intelligence in Designing for Quality

      • B. Lees
      Pages 63-67

    2. Automatische Verfeinerung der Wissensbasis durch maschinelles Lernen in einem medizinischen Expertensystem

      • Bernhard Nagele, Gerhard Widmer, Werner Horn
      Pages 68-77

    3. Learning Diagnostic Rules for Power Distribution Systems

      • Andrea Leufke, Angelika Hecht, Regine Meunier, Ruxandra Scheiterer
      Pages 78-82

  6. Neuronale Netze / Neural Networks

    1. Modelling Feature Maps by Attributed Parallel Array Grammars

      • Rudolf Freund, Martina Kirchmeyer, Friedrich Tafill
      Pages 83-92

    2. Design of the SNNS Neural Network Simulator

      • Andreas Zell, Niels Mache, Tilman Sommer, Thomas Korb
      Pages 93-102

  7. Logik und Schließen / Logic and Automated Reasoning

    1. Deductive Generalization and Meta-Reasoning or How to Formalize Genesis

      • Gernot Salzer
      Pages 103-115

    2. A Generalized Factorization Rule Based on the Introduction of Skolem Terms

      • Uwe Egly
      Pages 116-125

    3. On Exploiting the Structure of Martin-Löf’s Theory of Types

      • Andrew Ireland
      Pages 126-136

    4. Being Aware of Assumptions

      • Maria R. Cravo, João P. Martins
      Pages 137-146

    5. A Mathematical Formulation of Dempster-Shafer’s Belief Functions

      • Chun-Hung Tzeng
      Pages 147-156

    6. Qualitative Spatial Reasoning with Cardinal Directions

      • Andrew U. Frank
      Pages 157-167

    7. Model-Based Diagnosis with Constraint Logic Programs

      • Igor Mozetič, Christian Holzbaur
      Pages 168-180

  8. Back Matter

    Pages 181-181
    Download chapter PDF
Back to top

Keywords

Editors and Affiliations

  • Siemens AG, Österreich

    Hermann Kaindl

  • Technische Universität Wien, Austria

    Hermann Kaindl

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation