| 1990 | Analogical Reasoning and Sentence Parsing. | Isabelle Robba |
| 1990 | Speech Act Therory and Epistemic Planning. | Allan Ramsay |
| 1990 | A Logic for Truth Maintenance Reasoning. | Ivan Popchev, Neli Zlatareva, Marion Mircheva |
| 1990 | Compilation of Recursive Two-Literal Clauses into Unification Algorithms. | Hans Jrgen Ohlbach |
| 1990 | Unexpected and Unwanted Results of Circumscription. | Yves Moinard, Raymond Rolland |
| 1990 | Some Linguistic and Conceptual Aspects in the Generation of Bulgarian Natural Language Text. | Ruslan Mitkov, Galya Simeonova |
| 1990 | Developing a Knowledge Based System. | Bernard Migault, Franois Rousselot, Bernard Keith |
| 1990 | Logical Inference in a Network Environment. | Zdravko Markov, Christo Dichev |
| 1990 | On the Use of Diagrams. | R. O. Lindsay, A. G. Priest |
| 1990 | How to Deal Intelligently with Unexpected? | Sabine Letellier, Jean Pierre Fournier |
| 1990 | An Approach to the Modelling of Natural Reasoning. | Mare Koit, Haldur Oim |
| 1990 | Hybrid Connectionist Rule-Based Systems. | Nikola K. Kasabov |
| 1990 | Defeasible Reasoning by Using Analogies. | Vladimir Simov Jotsov |
| 1990 | About Redundant Inequalities Generated by Fourier's Algorithm. | Jean-Louis Imbert |
| 1990 | Equations over Trees and Lists with Constraints. | Stphane Grandcolas |
| 1990 | A Practicable Approach to Functional Logic Programming. | Hans-Joachim Goltz |
| 1990 | Dialogue Modeling and Response Generation in CFID, a Robust Man-Machine Interface System. | Giacomo Ferrari, Irina Prodanof, Ronan Reilly, Alessandro Saffiotti |
| 1990 | Computer Vision and Stochastic Geometry. | Nikolai G. Fedotov, Michael E. Larin |
| 1990 | Syntactic Processing of Unknown Words. | Gregor Erbach |
| 1990 | Rule-Based Mechanism for Constraint Checking in Logic Programs. | Elmar Eder, Yan Liu |
| 1990 | Parallelism in Backus-like FP-Systems: An Approach Based on the FP2 Language. | Tzvetan T. Drashansky, Atanas Radensky |
| 1990 | A Systems-Based Framework for Knowledge Representation. | Ilia Iv. Dimitrov |
| 1990 | Querying an Inconstistent Database. | Laurence Cholvy |
| 1990 | Modelling of Medical Diagnostic Knowledge and Reasoning in DEDEX Expert System. | Ivan H. Chernev, Danail Dochev |
| 1990 | Logics with Structured Contexts. | Luis Farias del Cerro, Martti Penttonen |