| 1986 | Using Resolution and Paramodulation for Induction Proofs. | Dieter Hutter |
| 1986 | Decision Making in Unclear Situations. | Helmut Horacek, Hermann Kaindl, Marcus Wagner |
| 1986 | The Choice of Words in the Generation Process of a Natural Language Interface. | Helmut Horacek |
| 1986 | Generierung struktureller Konzepte im Version-Space. | Thomas Hoppe |
| 1986 | Facetten-Logik: eine untypische Logik zum prototypischen Schlieen. | Joachim Hertzberg |
| 1986 | PROLOG: PROgrammieren mit LOGik - Eine Einfhrung. | Helmar Gust, Michael Knig |
| 1986 | Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis. | Bertram Fronhfer, Ulrich Furbach |
| 1986 | Machine Learning as a Tool for Building a Deterministic Parser. | Gil Francopoulo |
| 1986 | Wortorientiertes Parsing mit erweiterter Chart-Reprsentation. | Michael Eimermacher |
| 1986 | Data Models in Knowledge Representation System: A Case Study. | Jrgen Edelmann, Bernd Owsnicki-Klewe |
| 1986 | Hybrid Knowledge Acquisition. | Joachim Diederich, Mark May, Ingo Ruhmann |
| 1986 | Einfhrung in LISP. | Thomas Christaller |
| 1986 | Lazy Theory Unification inProlog: An Extension of the warren Abstract machine. | Hans-Jrgen Brckert |
| 1986 | Against the "Anti Waltz Effect" in Equality Reasoning. | Karl-Hans Blsius |
| 1986 | FORK: Ein System zur objeckt- und regelorientierten Programmierung. | Clemens Beckstein, Gnther Grz, M. Tielemann |
| 1986 | Processing Description containing Words and Gestures -A System Architecture-. | Jrgen Allgayer, Carola Reddig |
| 1985 | Halbautomatische Erweiterung eines Thesaurus. | Rdiger Wirth |
| 1985 | Representing and Analyzing Time and Causality in HIQUAL Models. | Hans Vo |
| 1985 | Representation and Manipulation of Process Plans in Generic Expert Planning Systems. | Jean Patrick Tsang |
| 1985 | Hierarchische Decomposition und Synthese von Objekten. | Christian Sielaff |
| 1985 | Vermeidung berflssiger Berechnungen in Hornklausel-Programmen durch Vor-Laufzeit-Untersuchungen. | Astrid Schmcker |
| 1985 | Unification in a Many-sorted Calculus with Declarations. | Manfred Schmidt-Schau |
| 1985 | Zur Rekonstruktion von Wissen in neueren Reprsentationssprachen der Knstlichen Intelligenz. | Peter Schefe |
| 1985 | Prinzipien der Diskursreprsentationstheorie. | Uwe Reyle |
| 1985 | Script-Based Generation and Evaluation of Expectations in Traffic Scenes. | Gudula Retz-Schmidt |