| 1986 | Automatisches Beweisen. | Christoph Walther |
| 1986 | Syntaktische und semantische Generalisierungen im strukturierten Lexikon. | Hans Uszkoreit |
| 1986 | AI - Nie! Versuch ber eine wahrscheinliche zuknftige Reaktion der ffentlichkeit. | Robert Trappl |
| 1986 | A Framework for the Multiple Representation of Structure and Function in Expert Systems. | Peter Struss |
| 1986 | ber die Reprsentation von dreidimensionalen natrlichen Objekten. | H. Siegfried Stiehl, H. Scharnweber |
| 1986 | Hierarchien ber Relationengebilden. | Christian Sielaff |
| 1986 | Kognitive Modellierung: Menschliche Wissensreprsentation und Verarbeitungsstrategien. | Franz Schmalhofer, Thomas Wetter |
| 1986 | The Construction of Programming Knowledge from System Explorations and Explanatory Text: A Cognitive Model. | Franz Schmalhofer |
| 1986 | Controlled Prolog: A Front-End to Prolog Incorporating Meta Knowledge. | Thomas Rose, Hans-Jrgen Appelrath, Hermann Bense |
| 1986 | State Space Algorithms for Searching Game Trees. | Alexander Reinefeld |
| 1986 | Qualitative Modelle in wissensbasierten Systemen. | Frank Puppe, Hans Vo |
| 1986 | Hybride Diagnosenbewertung. | Frank Puppe |
| 1986 | Architektur und Anwendung des bildverstehenden Expertensystems VES. | Axel Pinz |
| 1986 | Programmverifikation. | Volker Penner |
| 1986 | Wissenspsychologie: Forschungsfragen, Anwendungsperspektiven, Bezge zur Knstlichen Intelligenz. | Klaus Opwis, Hans Spada |
| 1986 | The Semantic Clause Graph Procedure - A First Overview. | Hans Jrgen Ohlbach |
| 1986 | NIGEL Gets To Know Logic. | Bernhard Nebel, Norman K. Sondheimer |
| 1986 | Effiziente Reduktionsstrategien in Termersetzunssystemen. | Jrgen Mller, Elvira Wagner |
| 1986 | Topologische Multisetordnungen. | Jrgen Mller, Joachim Steinbach |
| 1986 | Generierung mit Lexical - Functional Grammar (LFG). | Justus Meier, Jrg Kindermann |
| 1986 | Semantic Networks with Number Restricted Roles or Another Story about Clyde. | Kai von Luck |
| 1986 | Robotik und Knstliche Intelligenz. | Paul Levi, Jrgen Foldenauer, Th. Lffler |
| 1986 | Learning Expert Knowledge and Theorem Proving. | Yves Kodratoff |
| 1986 | COMODEL - ein Reprsentationsformalismus fr technische Expertensysteme. | Jrg Kippe |
| 1986 | An Efficient Parser for Lexical Functional grammar. | Jrg Kindermann, Justus Meier |