5. ÖGAI 1989: Igls, Tirol, Austria

@proceedings{DBLP:conf/ogai/1989,
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {5. {\"O}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  booktitle = {{\"O}GAI},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  year      = {1989},
  isbn      = {3-540-51039-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Roy Leitch, Mark Wiegand: Temporal Issues in Qualitative Reasoning. 1-13 BibTeX
• Harry Bunt: Current Issues in Language Understanding. 14-25 BibTeX
• Franz Winkler: Equational Theorem Proving and Rewrite Rule Systems. 26-39 BibTeX
• Marita Möller: Strukturierte Wissenserhebung für Expertensysteme: Methodik und Repräsentation. 40-47 BibTeX
• Paolo Petta, Werner Horn, Karl Schießer: Ein Erfahrungsbericht zur Strukturierung medizinischen Wissens in VIE-MED, einem Expertensystem für den Bereich der ärztlichen Primärversorgung. 48-57 BibTeX
• Gerhard Fleischanderl, Gerhard Friedrich, Johannes Retti: ARTEX: Configuration-Driven Diagnosis for Routing Systems. 58-64 BibTeX
• Klaus-Dieter Althoff, Sabine Kockskämper, Frank Maurer, Michael Stadler, Stefan Wess: Ein System zur fallbasierten Wissensverarbeitung in technischen Diagnosesituationen. 65-70 BibTeX
• Klemens Waldhör: Das Blackboard-System BASAR. 71-80 BibTeX
• Weiqing Tian, Wolfhard Weber: Ein neues Konzept wissensbasierter Systeme zur Lösung der Wegeprobleme für autonome mobile Roboter. 81-86 BibTeX
• Wolfgang Ertel, Johann Schumann, Christian B. Suttner: Learning Heuristics for a Theorem Prover Using Back Propagation. 87-95 BibTeX
• Andreas Zell: Zeitbeschränkte Logische Programmierung. 96-105 BibTeX
• Matthias Baaz: An Effective Decision Algorithm for Propositional Temporal Logic. 106-113 BibTeX
• Hendrik Decker: The Range Form of Databases and Queries or: How to Avoid Floundering. 114-123 BibTeX
• Wolfgang Heinz, Johannes Matiasek: Die Anwendung Generalisierter Quantoren in einem natürlichsprachigen Datenbank-Interface. 124-133 BibTeX
• Peter Schnupp: "Sprechende Objekte": Erzeugung natürlichsprachlicher Phrasen aus Objektrahmen und Regeln. 134-142 BibTeX
• Herbert Groiss: Lernen von Syntax natürlicher Sprache. 143-148 BibTeX
• Bernhard Pfahringer: Extending Explanation-Based Generalization. 149-153 BibTeX
• Gerhard Widmer: Wissensbasiertes Lernen in der Musik: Die Integration induktiver und deduktiver Lernmethoden. 154-163 BibTeX
• Monika Köhle, Franz Schönbauer: Dynamische Generierung von Units in einer Sprache für Neurale Netzwerke. 164-170 BibTeX
• Helmut Horacek, Hermann Kaindl: An Outline of a New Algorithm for Game Tree Search. 171-176 BibTeX
• Hans Mistelberger, E. Bahr, Franz Barachini: Eine neue Methode zur Parallelisierung von Produktionensystemen. 177-187 BibTeX
• Klaus-Dieter Schewe: Variant Construction Using Constraint Propagation Techniques over Semantic Networks. 188-197 BibTeX
• Volkmar H. Haase, Monika Reiter: SAFIR: Intelligente Software für den Zugriff zu unterschiedlichen Datenbanken. 198-205 BibTeX
• Christian Stary, Friedrich Wallner: AI and Cognitive Science: Themes for the Next Decade. 206-211 BibTeX
• Georg Dorffner: Konnektionismus in der AI. 212-217 BibTeX
• Ulrich Schade: A Note on K. Bock's "Syntactic Adjustment Effect" Problem. 218-223 BibTeX
• Monika Köhle, Franz Schönbauer: Erfahrungen mit einem Neuralen Netz, das BRIDGE spielen lernt. 224-229 BibTeX
• Jörg Kindermann, Alexander Linden: Detection of Minimal Microfeatures by Internal Feedback. 230-239 BibTeX
• Markus F. Peschl: Cognitive Modelling: Von der symbolischen AI zum "Connectionist Approach". 240-249 BibTeX
• Carl Albert Schreiber: Zur Möglichkeit der Konstruktion von Theorien durch die Minimierung der Entropie des Beobachteten auf der Basis konnektionistischer Modelle. 250-259 BibTeX
• Helmut Horacek: Begriffsbildung/modellierung. 260 BibTeX
• Harald Trost: Begriffsbildung im Bereich Natürlichsprachiger Systeme. 261-269 BibTeX
• Manfred Gehrke: Begriffsdefinitionen und Referenzidentifikation definiter Beschreibungen: Neues aus der Beziehungskiste. 270-277 BibTeX
• Kai von Luck, Ralf Meyer, Thomas Pirlein: Die logische Rekonstruktion eines Gegenstandsbereiches: Eine Fallstudie. 278-287 BibTeX
• Peter Struss, Hans Voß: Workshop Qualitatives Schließen. 288-290 BibTeX
• Rainer Decker: Qualitative Simulation des zeitlichen Verhaltens von Thyristorbrückengleichrichterschaltungen. 291-297 BibTeX
• Klaus Nökel: Convex Relations between Time Intervalls. 298-302 BibTeX
• Klaus Faidt, Stephan Flohr, Rainer Bleisinger: Repräsentation und Verarbeitung von zeitlichem Wissen. 303-312 BibTeX
• Karl Leidlmair: KI: Eine Teildisziplin der Philosophie. 313-324 BibTeX
• Knut Radbruch: Heideggers Philosophie der Mathematik als Vorbild für eine Philosophie der Künstlichen Intelligenz. 325-333 BibTeX
• Gerhard Helm: Zur philosophischen Relevanz der Konnektionismus-Debatte. 334-339 BibTeX
• Christoph Lischka: Apophansis und Kognition. 340-345 BibTeX
• Klaus Manhart: Können AI-Programme als Theorien betrachtet werden? Ein wissenschaftsphilosophischer Beitrag. 346-358 BibTeX
• Roberto Cordeschi: Philosophical Assumptions in Artificial Intelligence: A Tentative Criticism of a Criticism. 359-364 BibTeX
• Burghard B. Rieger, Constantin Thiopoulos: Situations, Topoi, and Dispositions: On the Phenomenological Modelling of Meaning. 365-375 BibTeX
• Giuseppe Trautteur: Meaning and Representations. 376-378 BibTeX
• Josef Wallmannsberger: Language Limits and World Limits in the Age of AI: Sapir and Whorf Revisited. 379-386 BibTeX
• Gerhard Frey: Künstliche Intelligenz und Gödel-Theoreme. 387-396 BibTeX
• Rainer P. Born: Reflections upon Turing's Analysis of the Process of Computation and its Relation to AI. 397-406 BibTeX
• Thomas Grechenig: Und sie kommt doch! Über die Gewißheit zukünftiger künstlicher Intelligenz. 407-414 BibTeX
• Rafael Capurro: Stellt die KI-Forschung den Kernbereich der Informatik dar? 415-421 BibTeX
• Kristóf Nyíri: Rechner und menschliche Gemeinschaft: Drei Capriccios. 422-429 BibTeX
• Otto Neumaier: Ethische Fragen der "Künstlichen Intelligenz". 430-439 BibTeX
• W. Gorochow: Künstliche Intelligenz und Systemtechnik. 440-441 BibTeX
• Alexander Krushanov: Artificial Intelligence and Decision Making: On the ``Morals'' of Artificial Intelligence Systems. 442 BibTeX
• Arno Bammé: Das Metonym "KI": Soziologische Anmerkungen zum Projekt der implementierten Theorie. 443-452 BibTeX