| 1988 | Modeling a Theory of Human Plausible Reasoning. | Mark H. Burstein, Allan M. Collins |
| 1988 | Processing Acoustic and Phonetic Knowledge in Prolog. | Rmy Bulot, Henri Meloni |
| 1988 | Parallelizing a Natural Deduction System. | Ramn F. Brena |
| 1988 | STRATEX - A Knowledge-Based System for Export of Fish and Fish Products. | Odd Jarl Borch, Gunnar Hartvigsen |
| 1988 | Collision-Free Movement Planning for Robot Manipulators. | Boris Bekjarov, Antony T. Popov, Ognyan Katov |
| 1988 | Action Structures with Implicit Coordination. | Christer Bckstrm |
| 1988 | A supervision System in Computer Integrated Manufacturing. | Jacqueline Ayel |
| 1988 | A Conceptual Model for Consistency of Knowledge Bases. | Marc Ayel |
| 1988 | A Multiprocessor Architecture for Inference Systems: Design and Evaluation. | P. Arratibel, Marie-Pierre Gleizes, Pierre Glize, Christian Percebois |
| 1988 | Plasma Pattern Compilation: a Formal Model and Some Examples. | Jean-Paul Arcangeli, Christian Pomian |
| 1988 | Knowledge-Based Simulation: Some Issues and a Case Study. | Giovanni Adorni, Marco Boero, Lina Massone |
| 1986 | The Nesy Prolog. | Krassimir Yalumov |
| 1986 | Program Synthesis by Hierarchical Planning. | Fritz Wysotzki |
| 1986 | Application of Intensional Logic to the Conceptual Design of Expert Problem Solvers. | Vasil Vasilev |
| 1986 | Abstract Characterization of some Knowledge Representation Systems and the Logic NIL of Nondeterministic Information. | Dimiter Vakarelov |
| 1986 | The System for the Development of Linguistic Processor. | S. P. Trapeznikov |
| 1986 | ESIT- An Expert System for Analysis of Antique Historical-Geographical Texts about Ancient Thrace. | Valentin Tomov, Margarita Tacheva, Alexander Grigorov |
| 1986 | Exceptions and Interpreters. | Franois-Xavier Testard-Vaillant |
| 1986 | Description of Structure and Behavior of Systems with Concurrency- A Rule-Based Approach. | Ljubomir Stoitschev, Anatoly Antonov |
| 1986 | An Approach to Building a Linguistic Processor for Bulgarian Texts. | Lydia Sinapova, Genadi Agre |
| 1986 | Knowledge Acquisition and Man-Machine Interface in the Digs Expert System. | Vassil Stoyanov Sgurev, Danail Dochev, Genadi Agre, Christo Dichev, Zdravko Markov |
| 1986 | On the Quantification of Knowledge. | Michel de Rougemont |
| 1986 | Empirical Study of some Constraints Satisfaction Algorithms. | Willem Rosiers, Maurice Bruynooghe |
| 1986 | Program Synthesis from Specification. | Herve Perdrix |
| 1986 | Text Generation Based on Visual Data: Descriptions of Traffic Scenes. | Hans-Joachim Novak, Bernd Neumann |