ask others

1st ÖGAI 1985: Wien, Austria

> Home > Conferences and Workshops > ÖGAI

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/1985
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/1985
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

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/BarachiniA85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/BarachiniA85
Franz Barachini, Klaus-Peter Adlassnig:
Überlegungen zur Konsistenztestproblematik von Wissensbasen am Beispiel des medizinischen Expertensystems CADIAG-1. ÖGAI 1985: 1-8
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/Hofmann85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/Hofmann85
Martin Hofmann:
"Knowledge Engineering" und "Agenda"-Entwurf für ein Fehlerdiagnosesystem. ÖGAI 1985: 9-17
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/PolitakisH85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/PolitakisH85
Peter Politakis, William Hickson:
Developmental Facilities in an Expert System for Network Troubleshooting. ÖGAI 1985: 18-27
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/Steinacker85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/Steinacker85
Ingeborg Steinacker:
Ein Expertensystem als Bindeglied zwischen CAD und CAM. ÖGAI 1985: 28-33
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/WidmerH85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/WidmerH85
Gerhard Widmer, Werner Horn:
VIE-PCX - Ein Expert System Shell für den PC. ÖGAI 1985: 34-41

Natürlichsprachige Systeme

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/DorffnerT85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/DorffnerT85
Georg Dorffner, Harald Trost:
Morphologische Analyse und intelligente Fehlerkorrektur in VIE-LANG. ÖGAI 1985: 42-55
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/Horacek85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/Horacek85
Helmut Horacek:
A Heuristic Model for Treatment of Vague Time Descriptions. ÖGAI 1985: 56-64
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/Kommenda85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/Kommenda85
Markus Kommenda:
GRAPHON - Ein System zur Sprachsynthese bei Testeingabe. ÖGAI 1985: 65-71
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/Luckhardt85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/Luckhardt85
Heinz-Dirk Luckhardt:
Parsing mit Controlled Active Procedures. ÖGAI 1985: 72-80

Wissenserwerb und Learning

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/Ammon85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/Ammon85
Kurt Ammon:
The Automatic Discovery of Concepts by Induction and Feedback: Towards a Theory of Intelligence. ÖGAI 1985: 81-89
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/Emde85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/Emde85
Werner Emde:
Maxhinelles Lernen mit heuristisch generierten Modellen. ÖGAI 1985: 90-97
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/TrostB85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/TrostB85
Harald Trost, Ernst Buchberger:
Knowledge Acquisition in the System VIE-LANG. ÖGAI 1985: 98-107

AI-TOOLS

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/Aspetsberger85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/Aspetsberger85
K. Aspetsberger:
Towards Parallel Machines for Artificial Intelligence: Realization of the ALICE Architecture by the L-Components. ÖGAI 1985: 108-119
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/HintenausB85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/HintenausB85
Peter Hintenaus, Bruno Buchberger:
The L-Language for the Parallel L-Machine. ÖGAI 1985: 120-131
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/PfahringerH85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/PfahringerH85
Bernhard Pfahringer, Christian Holzbaur:
VIE-KET: Frames + Prolog. ÖGAI 1985: 132-139
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/Pfleger85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/Pfleger85
S. Pfleger:
Remember - A Capability of Intelligent Software Tools. ÖGAI 1985: 140-145
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/Retti85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/Retti85
Johannes Retti:
AI - Entwicklungsumgebungen. ÖGAI 1985: 146-153

Automatisches Beweisen und Programmieren

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/BaazL85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/BaazL85
Matthias Baaz, Alexander Leitsch:
Eine Methode zur automatischen Problemreduktion. ÖGAI 1985: 154-163
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/Fronhofer85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/Fronhofer85
Bertram Fronhöfer:
The LOPS-Approach: Towards New Syntheses of Algorithms. ÖGAI 1985: 164-172
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/HenzingerH85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/HenzingerH85
Thomas A. Henzinger, Hubert Hofbauer:
PROOF-PAD: An Interactive Proof Generating System Using Natural Deduction. ÖGAI 1985: 173-184
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/Kaufl85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/Kaufl85
Thomas Käufl:
The Simplifier of the Program Verifier "Tatzelwurm". ÖGAI 1985: 185-193

Spiele

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/Kaindl85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/Kaindl85
Hermann Kaindl:
What Happened with AI's Drosophila? ÖGAI 1985: 194-203

Auswirkungen

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ogai/Trappl85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ogai/Trappl85
Robert Trappl:
TA of AI. ÖGAI 1985: 204-211

maintained by

at