Conferences in DBLP

Österreichische Artificial Intelligence-Tagung (ÖGAI) (ogai)
1985 (conf/ogai/1985)

1. Franz Barachini, Klaus-Peter Adlassnig
   Überlegungen zur Konsistenztestproblematik von Wissensbasen am Beispiel des medizinischen Expertensystems CADIAG-1. [Citation Graph (0, 0)][DBLP]
   ÖGAI, 1985, pp:1-8 [Conf]
   
2. Martin Hofmann 0002
   "Knowledge Engineering" und "Agenda"-Entwurf für ein Fehlerdiagnosesystem. [Citation Graph (0, 0)][DBLP]
   ÖGAI, 1985, pp:9-17 [Conf]
   
3. Peter Politakis, William Hickson
   Developmental Facilities in an Expert System for Network Troubleshooting. [Citation Graph (0, 0)][DBLP]
   ÖGAI, 1985, pp:18-27 [Conf]
   
4. Ingeborg Steinacker
   Ein Expertensystem als Bindeglied zwischen CAD und CAM. [Citation Graph (0, 0)][DBLP]
   ÖGAI, 1985, pp:28-33 [Conf]
   
5. Gerhard Widmer, Werner Horn
   VIE-PCX - Ein Expert System Shell für den PC. [Citation Graph (0, 0)][DBLP]
   ÖGAI, 1985, pp:34-41 [Conf]
   
6. Georg Dorffner, Harald Trost
   Morphologische Analyse und intelligente Fehlerkorrektur in VIE-LANG. [Citation Graph (0, 0)][DBLP]
   ÖGAI, 1985, pp:42-55 [Conf]
   
7. Helmut Horacek
   A Heuristic Model for Treatment of Vague Time Descriptions. [Citation Graph (0, 0)][DBLP]
   ÖGAI, 1985, pp:56-64 [Conf]
   
8. Markus Kommenda
   GRAPHON - Ein System zur Sprachsynthese bei Testeingabe. [Citation Graph (0, 0)][DBLP]
   ÖGAI, 1985, pp:65-71 [Conf]
   
9. Heinz-Dirk Luckhardt
   Parsing mit Controlled Active Procedures. [Citation Graph (0, 0)][DBLP]
   ÖGAI, 1985, pp:72-80 [Conf]
   
10. Kurt Ammon
    The Automatic Discovery of Concepts by Induction and Feedback: Towards a Theory of Intelligence. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1985, pp:81-89 [Conf]
    
11. Werner Emde
    Maxhinelles Lernen mit heuristisch generierten Modellen. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1985, pp:90-97 [Conf]
    
12. Harald Trost, Ernst Buchberger
    Knowledge Acquisition in the System VIE-LANG. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1985, pp:98-107 [Conf]
    
13. K. Aspetsberger
    Towards Parallel Machines for Artificial Intelligence: Realization of the ALICE Architecture by the L-Components. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1985, pp:108-119 [Conf]
    
14. P. Hintenaus, Bruno Buchberger
    The L-Language for the Parallel L-Machine. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1985, pp:120-131 [Conf]
    
15. Bernhard Pfahringer, Christian Holzbaur
    VIE-KET: Frames + Prolog. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1985, pp:132-139 [Conf]
    
16. S. Pfleger
    Remember - A Capability of Intelligent Software Tools. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1985, pp:140-145 [Conf]
    
17. Johannes Retti
    AI - Entwicklungsumgebungen. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1985, pp:146-153 [Conf]
    
18. Matthias Baaz, Alexander Leitsch
    Eine Methode zur automatischen Problemreduktion. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1985, pp:154-163 [Conf]
    
19. Bertram Fronhöfer
    The LOPS-Approach: Towards New Syntheses of Algorithms. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1985, pp:164-172 [Conf]
    
20. Thomas A. Henzinger, Hubert Hofbauer
    PROOF-PAD: An Interactive Proof Generating System Using Natural Deduction. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1985, pp:173-184 [Conf]
    
21. Thomas Käufl
    The Simplifier of the Program Verifier "Tatzelwurm". [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1985, pp:185-193 [Conf]
    
22. Hermann Kaindl
    What Happened with AI's Drosophila? [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1985, pp:194-203 [Conf]
    
23. Robert Trappl
    TA of AI. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1985, pp:204-211 [Conf]