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
• Ulrich Junker: Nicht-monotone Beweiser für Autoepistemische Logik und Defaultlogik. 7-16
• Oskar Dressler, Adam Farquhar: Problem Solver Control Over the ATMS. 17-26
• Hans Jürgen Ohlbach: Context Logic - An Introduction. 27-36
• Xiaorong Huang: Proof Transformation Towards Human Reasoning Style. 37-42
• Wolfgang Nejdl, Johannes Kroupa: Revising Domain Theories in Model-Based Reasoning Systems. 43-47

2. Deduktive Systeme

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

3. Neuronale Netze

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

4. Bildverarbeitung

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

5. Mensch-Maschine Kommunikation

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

6. Natürlich-Sprachliche Systeme

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

7. Kognitive und tutorielle Systeme

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

8. Programmsynthese

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

9. Expertensysteme

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

10. Spezielle Seminare zu Grundlagen und Anwendungen der KI

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