| 1986 | Towards Computer Aided Vision System Configuration. | Bernd Neumann |
| 1986 | Language-Based Environment for Developing ATN-Grammars. | Irina Nenova |
| 1986 | Virtual Data-Flow Machine as Vehicle of Inference/Computations in Knowledge Bases. | Alexander S. Narin'yani, Vitaly Telerman, V. E. Dmitriev |
| 1986 | Parallelism vs Knowledge Processing. | Alexander S. Narin'yani |
| 1986 | An Approach to Compiling PROLOG Programs. | Zdravko Markov, Danail Dochev, Christo Dichev, Genadi Agre |
| 1986 | SAIL: A Natural Language Interface for the Building of and the Interacting with Knowledge Bases. | Massimo Marino, Antonella Spiezio, Giacomo Ferrari, Irina Prodanof |
| 1986 | A Strategy for Producing Cooperative nl Reactions in a Database Interface. | Heinz Marburger |
| 1986 | BERGSON - toward a Knowledge Modelling Tool. | Werner Konrad |
| 1986 | The Cognitive Context of Language Interaction. | Irina Kononenko |
| 1986 | Conceptual Modelling Based Knowledge Representation Language. | Vesselin I. Kirov |
| 1986 | Computer Aided Design of Expert Systems- An Instrumental Approach. | Vladimir F. Khoroshevsky |
| 1986 | Focussing- A Meeting Point Linguistics and Artificial Intelligence. | Eva Hajicov |
| 1986 | Some Aspects of the Integration between Logic Programming and Fiunctional Programming. | Elio Giovannetti, Corrado Moiso |
| 1986 | An Inference Processor Based on Reactive Memory. | Ioan Gergescu |
| 1986 | Logic Programming and Automatization of Software Test Strategies. | Marie-Claude Gaudel |
| 1986 | Expert Logics. | George Gargov, Slavian Radev |
| 1986 | An Approach to Structuring and Formalizing Knowledge for a Design Support System. | Nur Erol, Christian Freksa |
| 1986 | Expert Systems for Mechanical Parts Design. | Ilia Iv. Dimitrov, V. I. Velkov, S. N. Icherenski |
| 1986 | Liposome Production and Protoplast Electrofusion Expert Systems. | Dimiter S. Dimitrov, Valentin Tomov, George I. Sharkov, M. Angelova |
| 1986 | Statistical and Expert Approach to Computer Data Analysis. | Miroslaw Dabrowski, Maciej Michalewicz |
| 1986 | A Parameterized Learning Environment for Implementing Expert Systems. | Vlad G. Dabija, Tatiana Dabija |
| 1986 | Is Logic Programming "Real" Programming? | Maurice Bruynooghe |
| 1986 | A Prolog-Compiled Higher-Order Functional and Logic Language. | Pier Giorgio Bosco, Elio Giovannetti |
| 1986 | An Implementation of a PROLOG-like Theorem Prover based on the Connection Method. | Stefan Bayerl, Elmar Eder, Franz J. Kurfess, Reinhold Letz, Johann Schumann |
| 1986 | An Implemented Simulation of a Parallel Theorem Prover. | Stefan Bayerl, M. Breu, S. Heilmeier, K. Lichtenwalder |