| 1985 | Advances in Artificial Intelligence, Proceedings of the Sixth European Conference on Artificial Intelligence, ECAI-84, Pisa, Italy, September 5-7, 1984. Tim O'Shea |
| 1984 | 3D Solutions to the Aperture Problem. Bernard F. Buxton, Hilary Buxton, David William Murray, N. S. Williams |
| 1984 | A General Selection Criterion for Inductive Inference. Michael P. Georgeff, Chris S. Wallace |
| 1984 | A Model of Action that Supports Natural Language Database Update. Sharon C. Salveter |
| 1984 | A New Data-Structure for Type Trees. Richard A. O'Keefe |
| 1984 | A Powerful Prolog Trace Package. Marc Eisenstadt |
| 1984 | A Prolog Meta-Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query-Optimisation. Raf Venken |
| 1984 | A Set-Oriented Semantic Network Formalism for the Representation of Sentence Meaning. Jean-Louis Binot |
| 1984 | AI-SPEAR: Computer System Failure Analysis Tool. 61-69l. Meyer A. Billmers, Mark W. Swartwout |
| 1984 | Ace: Associating Language with Meaning. Paul S. Jacobs, Lisa F. Rau |
| 1984 | An Analysis of a Simple Learning System. Nigel R. Seel |
| 1984 | An Intelligent Front End for Ecological Modelling. Michael Uschold, Nigel Harding, Robert Muetzelfeldt, Alan Bundy |
| 1984 | Careful Generalization for Concept Learning. Yves Kodratoff, Jean-Gabriel Ganascia, B. Clavieras, Toni Bollinger, Gheorghe Tecuci |
| 1984 | DAL: A Logic for Data Analysis. Luis Fariñas del Cerro, Ewa Orlowska |
| 1984 | Default Reasoning in Anaphora Resolution. Barbara Dunin-Keplicz |
| 1984 | Diagnostic Expertise and its Use in Commercially Viable Expert Systems. Simon Hayward |
| 1984 | ESTRAC-II: An Expert System for Train Traffic Control in Disturbed Situations. Shimji Araya, Koji Fukumori |
| 1984 | From Descriptions to Images: What Reasoning in between? Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia |
| 1984 | Interpretation of Verbal Data for Knowledge Acquisition. Bob J. Wielinga, J. A. Breuker |
| 1984 | Learning Stiffness Control for Compliant Motion. Prasanta K. Bose |
| 1984 | MacSolo/AURAC: A Programming Environment for Novices. Tony Hasemer |
| 1984 | Metalanguage and Reasoning Across Viewpoints. Giuseppe Attardi, Maria Simi |
| 1984 | Modeling Mental Models: Experiments in Cognitive Modeling of Spatial Reasoning. Göran Hagert |
| 1984 | Nonmonotonic Logic for Default Theories. Witold Lukaszewicz |
| 1984 | Novice Physics Problem Solving Behaviour. Eileen Scanlon, C. Hawkridge, Rick Evertsz, Tim O'Shea |
| 1984 | On Detecting Collisions Between Polyhedra. John F. Canny |
| 1984 | On When Diagnostic Systems Want to Do without Causal Knowledge. Gary S. Kahn |
| 1984 | Parsing an Inflectional Free Word Order Language with Two-Way Finite Automata. Esa Nelimarkka, Harri Jäppinen, Aarno Lehtola |
| 1984 | Personal Construct Theory and the Transfer of Human Expertise. John H. Boose |
| 1984 | Plan Formation and Failure Recovery in Communicative Acts. Gabriella Airenti, Bruno G. Bara, Marco Colombetti |
| 1984 | RADAR: Reasoning on ADA Rubbish. Stefano A. Cerri, C. Colombini, M. Grillo, R. Mallozzi |
| 1984 | REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types. Jean-Luc Rémy, Hantao Zhang |
| 1984 | SESAM: An Explanatory Medical Aid System. Patrick Ferrand |
| 1984 | Simulating a Turing Machine Using Functional Unification Grammar. Graeme D. Ritchie |
| 1984 | Speech Transcription: An Incremental, Interactive Approach. Henry S. Thompson |
| 1984 | The Mechanic's Mate. Michael Brady, Philip E. Agre |
| 1984 | The Role of Distributed Memory in Natural Language Parsing. Jon M. Slack |
| 1984 | The Smoothest Velocity Field Token Matching Schemes. Alan L. Yuille |
| 1984 | The Successive SA Ling Zhang, Bo Zhang |
| 1984 | The Ubiquitous Dialectic. Edwina L. Rissland |
| 1984 | Unification in Many-Sorted Theories. Christoph Walther |
| 1984 | Use of Derivation Trees in Discrimination. Pavel Brazdil |
| 1984 | Using Memory in Text Understanding. Michael Lebowitz |