13. GWAI 1989: Eringerfeld, Germany

@proceedings{DBLP:conf/ki/1989,
  editor    = {Dieter Metzing},
  title     = {GWAI-89, 13th German Workshop on Artificial Intelligence, Eringerfeld,
               18.-22. September 1989, Proceedings},
  booktitle = {GWAI},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {216},
  year      = {1989},
  isbn      = {3-540-51743-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

1. Nicht-Klassische Deduktive Systeme

• Oskar Dressler, Hartmut Freitag: Propagation of Temporally Indexed Values in Multiple Contexts. 2-6 BibTeX
• Ulrich Junker: Nicht-monotone Beweiser für Autoepistemische Logik und Defaultlogik. 7-16 BibTeX
• Oskar Dressler, Adam Farquhar: Problem Solver Control Over the ATMS. 17-26 BibTeX
• Hans Jürgen Ohlbach: Context Logic - An Introduction. 27-36 BibTeX
• Xiaorong Huang: Proof Transformation Towards Human Reasoning Style. 37-42 BibTeX
• Wolfgang Nejdl, Johannes Kroupa: Revising Domain Theories in Model-Based Reasoning Systems. 43-47 BibTeX

2. Deduktive Systeme

• Wolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig: Plan Generation by Linear Proofs: On Semantics. 49-62 BibTeX
• Steffen Hölldobler, Josef Schneeberger: A New Deductive Approach to Planning. 63-73 BibTeX
• Rolf Socher-Ambrosius: Detecting Redundancy Caused by Congruent Links in Clause Graphs. 74-82 BibTeX
• Jochen Hager, Martin Moser: An Approach to Parallel Unification Using Transputers. 83-91 BibTeX
• Jörg Denzinger, Jürgen Müller: EQTHEOPOGLES - A Completion Theorem Prover for PLIEQ. 92-101 BibTeX
• Jürgen Müller, Rolf Socher-Ambrosius: A Resolution Calculus Extende by Equivalence. 102-106 BibTeX
• Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber: Linear Paramodulation modulo Equality. 107-116 BibTeX

3. Neuronale Netze

• Joachim Diederich: Explanation and Connectionism. 118-127 BibTeX
• Karl-Heinz Krachenfels, Kerstin Schill: Optimierung des Lernverhaltens neuronaler Netze durch Berücksichtigung verschiedener Abstraktionsklassen bei der Netzwerktopologie. 128-133 BibTeX
• Andreas Zell, Thomas Korb, Tilman Sommer, Rolf Bayer: NetSim: Ein Simulator für Neuronale Netze. 134-143 BibTeX

4. Bildverarbeitung

• Joachim Kreich: Modellgestütztes Bildverstehen von Dokumenten. 145-154 BibTeX
• Bärbel Mertsching, Georg Hartmann: Lernen von Strukturbeschreibungen für ein wissensbasiertes Bildanalysesystem. 155-160 BibTeX
• Leonie S. Dreschler-Fischer, Carsten Schröder: Zur Konstruktion einer geometrischen Szenenbeschreibung aus Stereobildfolgen unter Verwendung eines ATMS. 161-165 BibTeX

5. Mensch-Maschine Kommunikation

• Gerhard Th. Niedermair: SPICOS II - Linguistische Analyse im Datenbankdialog. 167-178 BibTeX
• Michael Streit: Diskursrepräsentation im Datenbank-Abfrage Dialog SPICOS II. 179-189 BibTeX
• Jürgen Jung, Axel Kresse, Norbert Reithinger, Ralph Schäfer: Das System ZORA - Wissensbasierte Generierung von Zeigegesten. 190-194 BibTeX

6. Natürlich-Sprachliche Systeme

• Bart Geurts: Processing Contrast Relations. 196-202 BibTeX
• Toni Bollinger, Ulrich Hedtstück, Claus-Rainer Rollinger: Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype. 203-212 BibTeX
• Gabriele Scheler: Prototypical Disambiguation of Word Meaning Exemplified by Adjective-Noun Combinations. 213-223 BibTeX
• Helmar Gust, Petra Ludewig: Zielgerichtete Wortschatzerweiterungen in natürlichsprachlichen Systemen. 224-233 BibTeX
• Ewald Lang, Kai-Uwe Carstensen: OSKAR - Ein PROLOG-Programm zur Modellierung der Stuktur und der Verarbeitung räumlichen Wissens. 234-243 BibTeX
• Carola Eschenbach: Komplexe Individuen in Referentiellen Netzen. 244-253 BibTeX
• Jörg Schütz: Towards a Framework for Knowledge-Based Machine Translation. 254-263 BibTeX
• Wilhelm Weisweber: Transfer in Machine Translation by Non-Confluent Term-Rewrite Systems. 264-269 BibTeX
• Jochen Dörre, Andreas Eisele: Determining Consistency of Feature Terms with Distributed Disjunctions. 270-279 BibTeX
• Burkhard Freitag, Günther Specht: A Parsing System Based on a Deductive Database. 280-289 BibTeX
• Sebastian Millies: Kategoriales Parsing mit definiten Klauseln. 290-299 BibTeX

7. Kognitive und tutorielle Systeme

• Jörg R. J. Schirra: Ein erster Blick auf ANTLIMA: Visualisierung statischer räumlicher Relationen. 301-311 BibTeX
• Ellen Hays: Two Views of Motion: On Representing Move Events in a Language-Vision System. 312-317 BibTeX
• Mohammed Nadjib Khenkhar: DEPIC-2D: Eine Komponente zur depiktionalen Repräsentation und Verarbeitung räumlichen Wissens. 318-322 BibTeX
• Helmut Horacek: Towards Principles of Ontology. 323-330 BibTeX
• Gerhard Weber: Automatische kognitive Diagnose in einem Programmier-Tutor. 331-336 BibTeX

8. Programmsynthese

• Maritta Heisel, Wolfgang Reif, Werner Stephan: Machine-Assisted Program Construction and Modification. 338-347 BibTeX
• Gerd Neugebauer, Bertram Fronhöfer, Christoph Kreitz: XPRTS - An Implementation Tool for Program Synthesis. 348-357 BibTeX

9. Expertensysteme

• Ingo Syska, Roman Cunis, Andreas Günter, Heiner Bode, Heino Peters: Modulare Expertensystemarchitekturen. 359-368 BibTeX
• Angi Voß: A Layered Algebraic Specification Technique for Expert Systems. 369-378 BibTeX
• Werner Karbach, Marc Linster, Angi Voß: OFFICE-PLAN: Tackling the Synthesis-Frontier. 379-387 BibTeX
• Adam Farquhar: Modifying the Model Set During Diagnosis. 388-397 BibTeX
• Michael Beetz, Winfried Barth: Towards Structured Production Systems - Efficient Implementation of Meta-Level Architectures. 398-408 BibTeX
• Udo Hahn: Dialogstrukturen in Gruppendiskussionen - Ein Modell für argumentative Verhandlungen mehrerer Agenten. 409-420 BibTeX
• Gerhard Paass: Bayesian Integration of Uncertain and Conflicting Evidence. 421-427 BibTeX
• Marcus Spies: Inferenzen bei Ungewißheit in Expertensystemen. 428-432 BibTeX
• Otto Kühn, Franz Schmalhofer: An Integrative Model of Learning by Being Told, from Examples and by Exploration. 433-437 BibTeX
• William R. Swartout: Toward a Rapid Prototyping Environment for Expert Systems. 438-454 BibTeX
• Peter Raulefs: Computational Architectures for Computer-Integrated Engineering and Manufacturing: An Artificial Intelligence Perspective. 455-471 BibTeX

10. Spezielle Seminare zu Grundlagen und Anwendungen der KI

• Werner Mellis, Toni Bollinger: Einführungsseminar: Maschinelles Lernen. 473 BibTeX
• B. Chandrasekaran: Tutorial: High Level Tools for Knowledge Systems Design. 474 BibTeX
• Thomas Christaller, Angi Voß: Sektion: Expertensystemlabor. 475 BibTeX
• Daniel Hernández, Bernhard Nebel, Gert Smolka, Ipke Wachsmuth: Fachseminar: Formale und kognitive Grundlagen von Wissensrepräsentationen. 476 BibTeX
• Gert Smolka: Feature-Logik. 477-478 BibTeX
• Daniel Hernández: Zur Implementierbarkeit Analogischer Repräsentationen. 479-481 BibTeX
• Ipke Wachsmuth: Kognitive Kategorien. 482-483 BibTeX
• Bernhard Nebel: KL-One-basierte, hybride Repräsentationssysteme. 484-485 BibTeX