| 1987 | Advances in Artificial Intelligence II, Seventh European Conference on Artificial Intelligence, ECAI 1986, Brighton, UK, July 20-25, 1986, Proceedings. Benedict du Boulay, David C. Hogg, Luc Steels |
| 1986 | A Blackboard Shell in Prolog. John Jones, Mark Millington, Peter Ross |
| 1986 | A Generalized Word Expert Model of Lexically Distributed Text Parsing. Udo Hahn |
| 1986 | A Parallel Algorithm for Consistency Maintenance in Knowledge Representation. Kris Van Marcke |
| 1986 | A Synthesis System Mechanizing Proofs by Induction. Susanne Biundo |
| 1986 | Analogical and Propositional Knowledge in Intelligent Path Planning. Lina Massone, Pietro Morasso |
| 1986 | Analytic Goal Regression: Problems, Solutions and Enhancements. Robin Boswell |
| 1986 | Applications of a Fast Parallel Algorithm for the Extraction and Interpretation of Optical Flow. Hilary Buxton, Nick Williams |
| 1986 | Automated Deduction in an Uncertain and Inconsistent Data Basis. Béatrice Duval, Yves Kodratoff |
| 1986 | Automatic Node Recognition in a Partitioning Graph: Restricting the Search Space While Preserving Completeness. Daniel Goossens |
| 1986 | Big Flood in the Blocks World or Non-Cumulative Learning. Werner Emde |
| 1986 | Co-Adaptation and the Development of Cognitive Structures. Robert W. Lawler |
| 1986 | Co-Operative Expert Systems. Robert P. Worden, M. H. Foote, J. A. Knight, Stig K. Andersen |
| 1986 | Combining Image and Spatial Reasoning for Model Retrieval. Radu Horaud |
| 1986 | Computational Analogy. Ken Wellsch, Marlene Jones |
| 1986 | Concurrent Strategy Execution in OMEGA. Giuseppe Attardi |
| 1986 | Discovery Systems. Kenneth W. Haase Jr. |
| 1986 | Dynamic Unification in Lexically Based Parsing. Oliviero Stock |
| 1986 | Explainable Knowledge Production. Walter Van de Velde |
| 1986 | Exploiting Physical and Design Knowledge in the Diagnosis of Complex Industrial Systems. Massimo Gallanti, Luca Gilardoni, Giovanni Guida, Alberto Stefanini |
| 1986 | Exploring Algorithms through Mutations. Viviane Jonckers |
| 1986 | Fuzzy Reasoning in a Knowledge-Based System for Object Classification. Catherine Granger |
| 1986 | Generalised Subsumption and its Applications to Induction and Redundancy. Wray L. Buntine |
| 1986 | Generalization-Based Retrieval. Lisa F. Rau |
| 1986 | Graphoids: Graph-Based Logic for Reasoning about Relevance Relations or When would x tell you more about y if you already know z? Judea Pearl, Azaria Paz |
| 1986 | Heuristics for Analogy Matching. Stephen Owen |
| 1986 | Hierarchical Planning: Definition and Implementation. David E. Wilkins |
| 1986 | Interpreting Propositional Attitude Reports: Towards Greater Freedom and Control. John A. Barnden |
| 1986 | Introspection in Knowledge Representation. Pattie Maes |
| 1986 | Knowledge Based Learning: Reducing the Description Space for Rule Learning. Maarten van Someren |
| 1986 | Knowledge Representation and Communication Mechanisms in LORE. Ch. Benoit, Yves Caseau, Ch. Pherivong |
| 1986 | Knowledge Representations for Diagnosis and Test Planning in the Domain of Electromyography. Stig K. Andersen, Steen Andreassen, Marianne Woldbye |
| 1986 | MULTILOG: Multiple Words in Logic Programming. Hervé Kauffmann, Alain Grumbach |
| 1986 | Minimization of Abnormality: A Simple System for Default Reasoning. Witold Lukaszewicz |
| 1986 | Models of Expertise. Bob J. Wielinga, J. A. Breuker |
| 1986 | Multiple Worlds with Truth Maintenance in AI Applications. Bonnie A. Nardi, E. Anne Paulson |
| 1986 | Numeric and Symbolic Reasoning in Expert Systems. Paul R. Cohen |
| 1986 | Plan Generation in a Temporal Frame. Edward P. K. Tsang |
| 1986 | Planning Sensor-Based Motions for Part-Mating Using Geometric Reasoning Techniques. Christian Laugier, Pascal Théveneau |
| 1986 | Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis). Paul Jacquet, Marie-Laure Potet |
| 1986 | Program Synthesis by Inductive Inference. Matthew M. Huntbach |
| 1986 | Qualitative Control. W. F. Clocksin, A. J. Morgan |
| 1986 | Reference without Causal Links. Aaron Sloman |
| 1986 | Reified Temporal Logics: Semantical and Ontological Considerations. Yoav Shoham |
| 1986 | Steps towards Integrating Natural Language and Graphical Interaction for Knowledge-Based Systems. Philip J. Hayes |
| 1986 | Taxonomic Default Theory. Christine Froidevaux |
| 1986 | Taxonomic Reasoning. Giuseppe Attardi, Andrea Corradini, S. Diomedi, Maria Simi |
| 1986 | The Expertise of Novice Problem Solvers. Wouter N. H. Jansweijer, Jan J. Elshout, Bob J. Wielinga |
| 1986 | The KING Natural Language Generator. Paul S. Jacobs |
| 1986 | The Machine for Artificial Intelligence Applications: MAIA. Jean-Paul Sansonnet |
| 1986 | The OBJVLISP Model: Definition of a Uniform, Reflexive and Extensible Object Oriented Language. Jean-Pierre Briot, Pierre Cointe |
| 1986 | The Prospect of Machine Translation. Margaret King |
| 1986 | The Why and When of Artificial Intelligence. Clive Sinclair |
| 1986 | Transforming Logic Programs by Specialising Interpreters. John P. Gallagher |
| 1986 | UNIMEM, a General Learning System: An Overview. Michael Lebowitz |
| 1986 | Unification Theory. Jörg H. Siekmann |
| 1986 | WEP (Word Expert Parsing) Revised and Applied to Dutch. Geert Adriaens |
| 1986 | Weak Continuity Constraints Generate Uniform Scale-Space Descriptions of Plane Curves. Andrew Blake, Andrew Zisserman, A. V. Papoulias |