


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














