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

Wien, Austria, 24.-27. September 1991 Proceedings
1. Auflage 1991
ISBN: 978-3-540-54567-5
Verlag: Springer

Buch, Deutsch, Englisch, Band 287, 180 Seiten, Format (B × H): 170 mm x 244 mm, Gewicht: 342 g

Reihe: Informatik-Fachberichte

Springer Book Archives

Zielgruppe

Professional/practitioner

Autoren/Hrsg.

Kaindl, Hermann

Inhaltsverzeichnis

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.