| 1990 | An Application of Many-Valued Logic to Decide Propositional S5 Formulae: A Strategy Designed for a Parameterized Tableaux-Based Theorem Prover. | Ricardo Caferra, Nicolas Zabel |
| 1990 | Two Algorithms for Constraint Systems Solving in Propositional Calculus and their Implementation in Constraint Programming Languages. | Jean-Marc Bo, Antoine Rauzy |
| 1990 | Logics for Automated Reasoning in the Presence of Contradictions. | Philippe Besnard |
| 1990 | A Compiling Approach for Exploiting AND/OR Parallelism in Logic Programs. | Mounira Belmesk |
| 1990 | Combining Horn Clause Logic with Rewrite Rules. | Peter Baumgartner |
| 1990 | Knoweldge-Based Interpretation of Biophysical Images. | Boiko M. Balev, George I. Sharkov |
| 1990 | Kohonen Feature Maps: Toward Invariant Character Recognition. | Arnulfo P. Azcarraga, Bernard Amy |
| 1990 | A Formal Semantics for Internal Localization: an Essay on Spatial Commonsense Knowledge. | Michel Aurnague, Mario Borillo |
| 1990 | What's in a 'DET'? Steps towards Determiner-Dependent Inferencing. | Jrgen Allgayer, Carola Reddig |
| 1988 | Shifting the Belief Engine into Higher Gear. | Yorick Wilks, Afzal Ballim |
| 1988 | Formalizing Non-Monotonic Truth Maintenance Systems. | Andrzej Urbanski |
| 1988 | Real-time Diagnosis in Distributed Information System. | Valery A. Tzanov, Slavka G. Trifonova |
| 1988 | A Computational Model for the Data Compression Metaphor. | Chris Thornton |
| 1988 | An Architecture of Coupling Logic Programming Systems with Relational Database Systems. | Atanas I. Terziev, Borislav K. Slavov |
| 1988 | An Experiment in French to Chinese Machine Translation. | F. Tcheou, Shunchu Qian |
| 1988 | An Intelligent Information System or the Cooperation of a Natural Language Full Text Retrieval System and a Decision Support System. | Chantal Soul-Dupuy |
| 1988 | Domain and Linguistic Knowledge Representation Based on Feature-value Structures. | L. Sinapova |
| 1988 | Knowledge-Based Systems in Biophysics: Applications to Research in Neurobiology of Aging and Medicine. | George I. Sharkov, Dimiter S. Dimitrov |
| 1988 | Problems of Diagnostic Knowledge Processing. | Vassil Stoyanov Sgurev, Danail Dochev, Christo Dichev, Genadi Agre, Zdravko Markov |
| 1988 | Knowledge, Belief and User Modelling. | John A. Self |
| 1988 | On the Expression of Government and Binding Principles by Contextual Discontinuous Grammars. | Patrick Saint-Dizier |
| 1988 | Proving Correctness of Plans Considered as Procedural Programs. | Manny Rayner, sa Hugosson, Annika Wrn |
| 1988 | Studies on Phrase-Level Semantics as Applied to Machine Translation in Indian Languages. | Subramanian Raman, Narayanan Alwar |
| 1988 | Collective Predicates: Expressing Control of OR-Parallelism in Prolog. | Rene Quiniou, Laurent Trilling |
| 1988 | A Formal Treatment of Non-Monotonic Reasoning. | Ivan Popchev, Neli Zlatareva |