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

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

herausgegeben von Hermann Kaindl

I Contents.
Eingeladene Beiträge/Invited Talks.
Knowledge-based Generation of Illustrated Documents.
On the Complexity of Clause Condensing.
AI und Hypertext/AI and Hypertext.
HESDE — A Hypertext based Expert-System debugging Tool.
Natürliche Sprache I Natural Language.
A Model of Task-oriented Communication Based on Principles of Rational Action and Interaction.
VIE-DU — Dialogue by Unification.
Eine deklarative Beschreibung von Linkstilgungslücken in koordinierten Strukturen des Deutschen.
Wissensbasierte Systeme/Knowledge-Based Systems.
Applying Artificial Intelligence in Designing for Quality.
Automatische Verfeinerung der Wissensbasis durch maschinelles Lernen in einem medizinischen Expertensystem.
Learning Diagnostic Rules for Power Distribution Systems.
Neuronale Netze/Neural Networks.
Modelling Feature Maps by Attributed Parallel Array Grammars.
Design of the SNNS Neural Network Simulator.
Logik und Schließen/Logic and Automated Reasoning.
Deductive Generalization and Meta-Reasoning or How to Formalize Genesis.
A Generalized Factorization Rule Based on the Introduction ofSkolem Terms.
On Exploiting the Structure of Martin-Löf’s Theory of Types.
Being Aware of Assumptions.
A Mathematical Formulation of Dempster-Shafer’s Belief Functions.
Qualitative Spatial Reasoning with Cardinal Directions.
Model-Based Diagnosis with Constraint Logic Programs.