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