| 1987 | Program Verification by Symbolic Execution and Induction. | Maritta Heisel, Wolfgang Reif, Werner Stephan |
| 1987 | zur lexikalischen Wissensquelle des Generierungssystems SEMSYN. | Ulrich Heid |
| 1987 | Modelling Heuristic Parsing Strategies. | Hans Haugeneder, Manfred Gehrke |
| 1987 | KI-Methoden in der maschinellen bersetzung. | Christa Hauenschild |
| 1987 | Abbildung von Frames auf neuere Datenmodelle. | Theo Hrder, Nelson Mendona Mattos, Bernhard Mitschang |
| 1987 | Cognitive Modelling and Education. | A. de Haan |
| 1987 | Der Aspekt der Zeitstruktur in zeitlogischen Formalisierungen in der KI. | Klaus Groth |
| 1987 | Reprsentationssysteme fr Grammatik und Lexikon - Einleitung. | Gnther Grz |
| 1987 | A Knowledge-Based Framework for Effective Probabilistic Control Strategies in Signal Understanding. | Roberto Gemello, Egidio P. Giachin, Claudio Rullent |
| 1987 | Oldy but Goody Paramodulation Revisited. | Ulrich Furbach |
| 1987 | Spezielle Sektion: Kognition - Wissensstrukturen beim Aufgabenlsen. | Christian Freksa |
| 1987 | An Efficient Interpreter for a Rule-Based Non-Monotonic Deduction System. | Hartmut Freitag, Michael Reinfrank |
| 1987 | FREGE: Ein objektorientierter FRont-End-GEnerator. | Martin C. Emele |
| 1987 | Erweiterungen des Basic ATMS. | Oskar Dressler |
| 1987 | Das "Bootstrap-Problem" bei der geometrischen Szenenrekonstruktion - eine bersicht. | Leonie S. Dreschler-Fischer |
| 1987 | Generierung aus f-Strukturen als strukturgesteuerte Ableitung. | Jochen Drre, Stefan Momma |
| 1987 | Techniken des Wissenserwerbs. | Joachim Diederich |
| 1987 | Generierung mit GPSG. | Stephan Busemann |
| 1987 | Konstruktion interaktiver Anwendungen in einer Prolog-Programmierumgebung. | Reinhard Budde, Karin Kuhlenkamp, Karl-Heinz Sylla, Heinz Zllighoven |
| 1987 | Methodik des Programmierens in Prolog. | Reinhard Budde, Karin Kuhlenkamp, Karl-Heinz Sylla, Heinz Zllighoven |
| 1987 | Nichtmonotone Logiken. Ein einfhrender berblick. | Gerhard Brewka |
| 1987 | Specifying Meta-Level Architectures for Rule-Based Systems. | Michael Beetz |
| 1987 | Wissen und Knnen - Anmerkungen zur Wissensreprsentation beim Aufgabenlsen. | Barbara Becker |
| 1987 | Generierung natrlichsprachlicher uerungen zur simultanen Beschreibung von zeitvernderlichen Szenen. | Elisabeth Andr, Thomas Rist, Gerd Herzog |
| 1986 | Explicit and Implicit Beliefs. | Wlodzimierz Zadrozny |