| 1989 | Proof Transformation Towards Human Reasoning Style. | Xiaorong Huang |
| 1989 | Towards Principles of Ontology. | Helmut Horacek |
| 1989 | A New Deductive Approach to Planning. | Steffen Hlldobler, Josef Schneeberger |
| 1989 | Fachseminar: Formale und kognitive Grundlagen von Wissensreprsentationen. | Daniel Hernndez, Bernhard Nebel, Gert Smolka, Ipke Wachsmuth |
| 1989 | Zur Implementierbarkeit Analogischer Reprsentationen. | Daniel Hernndez |
| 1989 | Machine-Assisted Program Construction and Modification. | Maritta Heisel, Wolfgang Reif, Werner Stephan |
| 1989 | Two Views of Motion: On Representing Move Events in a Language-Vision System. | Ellen Hays |
| 1989 | Dialogstrukturen in Gruppendiskussionen - Ein Modell fr argumentative Verhandlungen mehrerer Agenten. | Udo Hahn |
| 1989 | An Approach to Parallel Unification Using Transputers. | Jochen Hager, Martin Moser |
| 1989 | KI: Woher kommt sie, wo steht sie, wohin geht sie? | Christopher Habel |
| 1989 | Zielgerichtete Wortschatzerweiterungen in natrlichsprachlichen Systemen. | Helmar Gust, Petra Ludewig |
| 1989 | Werarbeitung natrlicher Sprache. | Gnther Grz |
| 1989 | Processing Contrast Relations. | Bart Geurts |
| 1989 | Linear Paramodulation modulo Equality. | Ulrich Furbach, Steffen Hlldobler, Joachim F. Schreiber |
| 1989 | A Parsing System Based on a Deductive Database. | Burkhard Freitag, Gnther Specht |
| 1989 | Modifying the Model Set During Diagnosis. | Adam Farquhar |
| 1989 | Komplexe Individuen in Referentiellen Netzen. | Carola Eschenbach |
| 1989 | Prolog. | Hans-Jrgen Eikmeyer |
| 1989 | Problem Solver Control Over the ATMS. | Oskar Dressler, Adam Farquhar |
| 1989 | Propagation of Temporally Indexed Values in Multiple Contexts. | Oskar Dressler, Hartmut Freitag |
| 1989 | Zur Konstruktion einer geometrischen Szenenbeschreibung aus Stereobildfolgen unter Verwendung eines ATMS. | Leonie S. Dreschler-Fischer, Carsten Schrder |
| 1989 | Determining Consistency of Feature Terms with Distributed Disjunctions. | Jochen Drre, Andreas Eisele |
| 1989 | Explanation and Connectionism. | Joachim Diederich |
| 1989 | EQTHEOPOGLES - A Completion Theorem Prover for PLIEQ. | Jrg Denzinger, Jrgen Mller |
| 1989 | Sektion: Expertensystemlabor. | Thomas Christaller, Angi Vo |