default search action
1st ÖGAI 1985: Wien, Austria
- Harald Trost, Johannes Retti:
Österreichische Artificial Intelligence-Tagung, Wien, 24.-27. September 1985, Proceedings. Informatik-Fachberichte 106, Springer 1985, ISBN 3-540-15695-X
Expertensysteme
- Franz Barachini, Klaus-Peter Adlassnig:
Überlegungen zur Konsistenztestproblematik von Wissensbasen am Beispiel des medizinischen Expertensystems CADIAG-1. 1-8 - Martin Hofmann:
"Knowledge Engineering" und "Agenda"-Entwurf für ein Fehlerdiagnosesystem. 9-17 - Peter Politakis, William Hickson:
Developmental Facilities in an Expert System for Network Troubleshooting. 18-27 - Ingeborg Steinacker:
Ein Expertensystem als Bindeglied zwischen CAD und CAM. 28-33 - Gerhard Widmer, Werner Horn:
VIE-PCX - Ein Expert System Shell für den PC. 34-41
Natürlichsprachige Systeme
- Georg Dorffner, Harald Trost:
Morphologische Analyse und intelligente Fehlerkorrektur in VIE-LANG. 42-55 - Helmut Horacek:
A Heuristic Model for Treatment of Vague Time Descriptions. 56-64 - Markus Kommenda:
GRAPHON - Ein System zur Sprachsynthese bei Testeingabe. 65-71 - Heinz-Dirk Luckhardt:
Parsing mit Controlled Active Procedures. 72-80
Wissenserwerb und Learning
- Kurt Ammon:
The Automatic Discovery of Concepts by Induction and Feedback: Towards a Theory of Intelligence. 81-89 - Werner Emde:
Maxhinelles Lernen mit heuristisch generierten Modellen. 90-97 - Harald Trost, Ernst Buchberger:
Knowledge Acquisition in the System VIE-LANG. 98-107
AI-TOOLS
- K. Aspetsberger:
Towards Parallel Machines for Artificial Intelligence: Realization of the ALICE Architecture by the L-Components. 108-119 - Peter Hintenaus, Bruno Buchberger:
The L-Language for the Parallel L-Machine. 120-131 - Bernhard Pfahringer, Christian Holzbaur:
VIE-KET: Frames + Prolog. 132-139 - S. Pfleger:
Remember - A Capability of Intelligent Software Tools. 140-145 - Johannes Retti:
AI - Entwicklungsumgebungen. 146-153
Automatisches Beweisen und Programmieren
- Matthias Baaz, Alexander Leitsch:
Eine Methode zur automatischen Problemreduktion. 154-163 - Bertram Fronhöfer:
The LOPS-Approach: Towards New Syntheses of Algorithms. 164-172 - Thomas A. Henzinger, Hubert Hofbauer:
PROOF-PAD: An Interactive Proof Generating System Using Natural Deduction. 173-184 - Thomas Käufl:
The Simplifier of the Program Verifier "Tatzelwurm". 185-193
Spiele
- Hermann Kaindl:
What Happened with AI's Drosophila? 194-203
Auswirkungen
- Robert Trappl:
TA of AI. 204-211
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.