1. ÖGAI 1985: Wien, Austria

Harald Trost, Johannes Retti (Eds.): Österreichische Artificial Intelligence-Tagung, Wien, 24.-27. September 1985, Proceedings. Informatik-Fachberichte 106 Springer 1985, ISBN 3-540-15695-X BibTeX

@proceedings{DBLP:conf/ogai/1985,
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {{\"O}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  booktitle = {{\"O}GAI},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  year      = {1985},
  isbn      = {3-540-15695-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Expertensysteme

Franz Barachini, Klaus-Peter Adlassnig: Überlegungen zur Konsistenztestproblematik von Wissensbasen am Beispiel des medizinischen Expertensystems CADIAG-1. 1-8 BibTeX
Martin Hofmann: "Knowledge Engineering" und "Agenda"-Entwurf für ein Fehlerdiagnosesystem. 9-17 BibTeX
Peter Politakis, William Hickson: Developmental Facilities in an Expert System for Network Troubleshooting. 18-27 BibTeX
Ingeborg Steinacker: Ein Expertensystem als Bindeglied zwischen CAD und CAM. 28-33 BibTeX
Gerhard Widmer, Werner Horn: VIE-PCX - Ein Expert System Shell für den PC. 34-41 BibTeX

Natürlichsprachige Systeme

Georg Dorffner, Harald Trost: Morphologische Analyse und intelligente Fehlerkorrektur in VIE-LANG. 42-55 BibTeX
Helmut Horacek: A Heuristic Model for Treatment of Vague Time Descriptions. 56-64 BibTeX
Markus Kommenda: GRAPHON - Ein System zur Sprachsynthese bei Testeingabe. 65-71 BibTeX
Heinz-Dirk Luckhardt: Parsing mit Controlled Active Procedures. 72-80 BibTeX

Wissenserwerb und Learning

Kurt Ammon: The Automatic Discovery of Concepts by Induction and Feedback: Towards a Theory of Intelligence. 81-89 BibTeX
Werner Emde: Maxhinelles Lernen mit heuristisch generierten Modellen. 90-97 BibTeX
Harald Trost, Ernst Buchberger: Knowledge Acquisition in the System VIE-LANG. 98-107 BibTeX

AI-TOOLS

K. Aspetsberger: Towards Parallel Machines for Artificial Intelligence: Realization of the ALICE Architecture by the L-Components. 108-119 BibTeX
P. Hintenaus, Bruno Buchberger: The L-Language for the Parallel L-Machine. 120-131 BibTeX
Bernhard Pfahringer, Christian Holzbaur: VIE-KET: Frames + Prolog. 132-139 BibTeX
S. Pfleger: Remember - A Capability of Intelligent Software Tools. 140-145 BibTeX
Johannes Retti: AI - Entwicklungsumgebungen. 146-153 BibTeX

Automatisches Beweisen und Programmieren

Matthias Baaz, Alexander Leitsch: Eine Methode zur automatischen Problemreduktion. 154-163 BibTeX
Bertram Fronhöfer: The LOPS-Approach: Towards New Syntheses of Algorithms. 164-172 BibTeX
Thomas A. Henzinger, Hubert Hofbauer: PROOF-PAD: An Interactive Proof Generating System Using Natural Deduction. 173-184 BibTeX
Thomas Käufl: The Simplifier of the Program Verifier "Tatzelwurm". 185-193 BibTeX

Spiele

Hermann Kaindl: What Happened with AI's Drosophila? 194-203 BibTeX

Auswirkungen

Robert Trappl: TA of AI. 204-211 BibTeX