| 1984 | Parser als integraler Bestandteil von Sprachverarbeitungssystemen. | Thomas Christaller |
| 1984 | Inferenzmethoden. | Wolfgang Bibel |
| 1984 | STRUPPI: Ein graphischer Pretty-Printer fr LISP-Strukturen. | Dorothea Bauer, Matthias Schneider |
| 1983 | Proof Search for Unprovable Formulas. | Wolfgang Schnfeld |
| 1983 | Overview on MED1: A Heuristic Diagnostics System with an Efficient Control-Structure. | Frank Puppe, Bernhard Puppe |
| 1983 | Ein regelbasiertes Klauselgraph-Beweisverfahren. | Hans Jrgen Ohlbach |
| 1983 | On Verbalizing Real-World Events: An Interface of Natural Language and Vision. | Hans-Joachim Novak |
| 1983 | Control Strategies in Image and Speech Understanding. | Heinrich Niemann |
| 1983 | Ist LISP eine 'langsame' Sprache? | Bernhard Nebel |
| 1983 | An Overview of Knowledge Representation. | John Mylopoulos, Hector J. Levesque |
| 1983 | Partnermodellierung im Evidenzraum. | Katharina Morik, Claus-Rainer Rollinger |
| 1983 | SYRIO: A Knowledge-Based Approach to 2-D Robotic Vision. | Lina Massone |
| 1983 | Ein VEHIQUEL fr den natrlichsprachlichen Zugang zu Datenbanken. | Michael Humann |
| 1983 | Vollstndige Reduktionssysteme. | Patrick Horster |
| 1983 | ESDAT - An Expert System for Primary Medical Care. | Werner Horn |
| 1983 | Zur Generierung zusammenhngender Texte. | Helmut Horacek |
| 1983 | On the Use of Operation Information in Problem Solving. | Joachim Hertzberg |
| 1983 | Logische Systeme und Reprsentationsprobleme. | Christopher Habel |
| 1983 | Kontrainduktives Lernen von Konzepten aus Fakten. | Werner Emde |
| 1983 | A Technical Note on Splitting and Clausal Normal Form Algorithms. | Norbert Eisinger, M. Weigele |
| 1983 | Parsing in PROLOG - Eine semantische Komponente. | Michael Eimermacher |
| 1983 | Properties of Substitutions and Unifications. | Elmar Eder |
| 1983 | Unifikationsgraphen fr intelligentes Backtracking in Deduktionssystemen. | Werner Dilger, Agnes Janson |
| 1983 | Oberflchentransformationen bei der Generierung geschriebener Deutscher Sprache. | Stephan Busemann |
| 1983 | A System for Diagnostic Evaluation of Scintigraphic Image Sequences. | Horst Bunke, Gerhard Sagerer |