sterreichische Artificial Intelligence-Tagung Wien, 24.27. September 1985 [Paperback]

Expertensysteme.- ?berlegungen zur Konsistenztestproblematik von Wissensbasen am Beispiel des medizinischen Expertensystems CADIAG-1.- Knowledge Engineering und Agenda-Entwurf f?r ein Fehlerdiagnosesystem.- Developmental Facilities in an Expert System for Network Troubleshooting.- Ein Expertensystem als Bindeglied zwischen CAD und CAM.- VIE-PCX  Ein Expert System Shell f?r den PC.- Nat?rlichsprachige Systeme.- Morphologische Analyse und intelligente Fehlerkorrektur in VIE-LANG.- A Heuristic Model for Treatment of Vague Time Descriptions.- GRAPHON  Ein System zur Sprachsynthese bei Texteingabe.- Parsing mit Controlled Active Procedures.- Wissenserwerb und Learning.- The Automatic Discovery of Concepts by Induction and Feedback: Towards a Theory of Intelligence.- Maschinelles Lernen mit heuristisch generierten Modellen.- Knowledge Acquisition in the System VIE-LANG.- AI-Tools.- Towards Parallel Machines for Artificial Intelligence: Realization of the ALICE Architecture by the L-Components.- The L-Language for the Parallel L-Machine.- VIE-KET: Frames + Prolog.- Remember  A Capability of Intelligent Software Tools.- AI-Entwicklungsumgebungen.- Automatisches Beweisen und Programmieren.- Eine Methode zur automatischen Problemreduktion.- The LOPS-Approach: Towards New Syntheses of Algorithms.- PROOF-PAD: An Interactive Proof Generating System Using Natural Deduction.- The Simplifier of the Program Verifier Tatzelwurm.- Spiele.- What Happened with AIs Drosophila?.- Auswirkungen.- TA of AI.Springer Book Archives