Ebook: Österreichische Artificial Intelligence-Tagung: Wien, 24.–27. September 1985

---

Content:
Front Matter....Pages N2-VIII
?berlegungen zur Konsistenztestproblematik von Wissensbasen am Bei-Spiel des Medizinischen Expertensystems Cadiag-1....Pages 1-8
“Knowledge Engineering” und “Agenda”-Entwurf f?r Ein Fehlerdiagnosesystem....Pages 9-17
Developmental Facilities in an Expert System for Network Troubleshooting....Pages 18-27
Ein Expertensystem als Bindeglied Zwischen CAD und CAM....Pages 28-33
VIE-PCX — Ein Expert System Shell f?r den PC....Pages 34-41
Morphologische Analyse und Intelligente Fehlerkorrektur in Vie-Lang....Pages 42-55
A Heuristic Model for Treatment of Vague Time Descriptions....Pages 56-64
Graphon — Ein System zur Sprachsynthese bei Texteingabe....Pages 65-71
Parsing Mit Controlled Active Procedures....Pages 72-80
The Automatic Discovery of Concepts by Induction and Feedback: Towards a Theory of Intelligence....Pages 81-89
Maschinelles Lernen mit heuristisch generierten Modellen....Pages 90-97
Knowledge Acquisition in the System VIE-LANG....Pages 98-107
Towards Parallel Machines for Aritficial Intelligence: Realization of the Alice Architecture by the L-Components....Pages 108-119
The L-Language for the Parallel L-Machine (A Parallel Architecture for AI Applications)....Pages 120-131
VIE-KET : Frames + Prolog....Pages 132-139
Remember — A Capability of Intelligent Software Tools....Pages 140-145
Artificial Intelligence Entwicklungsumgebungen....Pages 146-153
Eine Methode zur Automatischen Problemreduktion....Pages 154-163
The Lops-Approach: Towards New Syntheses of Algorithms....Pages 164-172
PROOF-PAD An Interactive Proof Generating System Using Natural Deduction....Pages 173-184
The Simplifier of the Program Verifier “Tatzelwurm”....Pages 185-193
What Happened with AI’s Drosophila?....Pages 194-203
TA of AI....Pages 204-211
Back Matter....Pages 213-213

---

Content:
Front Matter....Pages N2-VIII
?berlegungen zur Konsistenztestproblematik von Wissensbasen am Bei-Spiel des Medizinischen Expertensystems Cadiag-1....Pages 1-8
“Knowledge Engineering” und “Agenda”-Entwurf f?r Ein Fehlerdiagnosesystem....Pages 9-17
Developmental Facilities in an Expert System for Network Troubleshooting....Pages 18-27
Ein Expertensystem als Bindeglied Zwischen CAD und CAM....Pages 28-33
VIE-PCX — Ein Expert System Shell f?r den PC....Pages 34-41
Morphologische Analyse und Intelligente Fehlerkorrektur in Vie-Lang....Pages 42-55
A Heuristic Model for Treatment of Vague Time Descriptions....Pages 56-64
Graphon — Ein System zur Sprachsynthese bei Texteingabe....Pages 65-71
Parsing Mit Controlled Active Procedures....Pages 72-80
The Automatic Discovery of Concepts by Induction and Feedback: Towards a Theory of Intelligence....Pages 81-89
Maschinelles Lernen mit heuristisch generierten Modellen....Pages 90-97
Knowledge Acquisition in the System VIE-LANG....Pages 98-107
Towards Parallel Machines for Aritficial Intelligence: Realization of the Alice Architecture by the L-Components....Pages 108-119
The L-Language for the Parallel L-Machine (A Parallel Architecture for AI Applications)....Pages 120-131
VIE-KET : Frames + Prolog....Pages 132-139
Remember — A Capability of Intelligent Software Tools....Pages 140-145
Artificial Intelligence Entwicklungsumgebungen....Pages 146-153
Eine Methode zur Automatischen Problemreduktion....Pages 154-163
The Lops-Approach: Towards New Syntheses of Algorithms....Pages 164-172
PROOF-PAD An Interactive Proof Generating System Using Natural Deduction....Pages 173-184
The Simplifier of the Program Verifier “Tatzelwurm”....Pages 185-193
What Happened with AI’s Drosophila?....Pages 194-203
TA of AI....Pages 204-211
Back Matter....Pages 213-213
....