5. Österreichische Artificial-Intelligence-Tagung

Teil 1

1. Eingeladene Hauptvortäge

   1. Temporal Issues in Qualitative Reasoning

      • Roy Leitch, Mark Wiegand

      Pages 1-13

   2. Current Issues In Language Understanding

      • Harry Bunt

      Pages 14-25

   3. Equational Theorem Proving and Rewrite Rule Systems

      • Franz Winkler

      Pages 26-39

2. Wissensbasierte Systeme

   1. Strukturierte Wissenserhebung für Expertensysteme — Methodik und Repräsentation

      • Marita Möller

      Pages 40-47

   2. Ein Erfahrungsbericht zur Strukturierung medizinischen Wissens in VIE-MED, einem Expertensystem für den Bereich der ärztlichen Primärversorgung

      • Paolo Petta, Werner Horn, Karl Schießer

      Pages 48-57

   3. ARTEX — Configuration-Driven Diagnosis for Routing Systems

      • Gerhard Fleischanderl, Gerhard Friedrich, Johannes Retti

      Pages 58-64

   4. Ein System zur fallbasierten Wissensverarbeitung in technischen Diagnosesituationen

      • Klaus Althoff, Sabine Kockskämper, Frank Maurer, Michael Stadler, Stefan Weß

      Pages 65-70

   5. Das Blackboard-System BASAR

      • Klemens Waldhör

      Pages 71-80

   6. Ein Neues Konzept Wissensbasierter Systeme Zur Lösung Der Wegeprobleme Für Autonome Mobile Roboter

      • W. Tian, W. Weber

      Pages 81-86

3. Logik / Deduktion

   1. Learning Heuristics for a Theorem Prover using Back Propagation

      • Wolfgang Ertel, Johann M. Ph. Schumann, Christian B. Suttner

      Pages 87-95

   2. Zeitbeschränkte Logische Programmierung

      • Andreas Zell

      Pages 96-105

   3. An effective decision algorithm for prepositional temporal logic

      • M. Baaz

      Pages 106-113

   4. The Range Form of Databases and Queries or: How to Avoid Floundering

      • Hendrik Decker

      Pages 114-123

4. Natürlichsprachige Systeme

   1. Die Anwendung Generalisierter Quantoren in einem natürlichsprachigen Datenbank-Interface

      • Wolfgang Heinz, Johannes Matiasek

      Pages 124-133

   2. “Sprechende Objekte” Erzeugung natürlichsprachlicher Phrasen aus Objektrahmen und Regeln

      • Peter Schnupp

      Pages 134-142

   3. Lernen von Syntax natürlicher Sprache

      • Herbert Groiss

      Pages 143-148

5. Lernen

   1. Extending Explanation-Based Generalization

      • Bernhard Pfahringer

      Pages 149-153

   2. Wissensbasiertes Lernen in der Musik: Die Integration induktiver und deduktiver Lernmethoden

      • Gerhard Widmer

      Pages 154-163

   3. Dynamische Generierung von Units in einer Sprache für Neurale Netzwerke

      • Monika Köhle, Franz Schönbauer

      Pages 164-170