| 1986 | 3-D Motion Recovery From Time-Varying Optical Flows. Kwangyoen Wohn, Jian Wu |
| 1986 | A Case Study of Incremental Concept Induction. Jeffrey C. Schlimmer, Douglas H. Fisher |
| 1986 | A Case-Based Reasoning System for Subjective Assessment. William M. Bain |
| 1986 | A Comparison of the Commonsense and Fixed Point Theories of Nonmonotonicity. Frank Brown |
| 1986 | A Domain Independent Explanation-Based Generalizer. Raymond J. Mooney, Scott W. Bennett |
| 1986 | A Four-Valued Semantics for Frame-Based Description Languages. Peter F. Patel-Schneider |
| 1986 | A Framework for Comparing Alternative Formalisms for Plausible Reasoning. Eric Horvitz, David Heckerman, Curtis P. Langlotz |
| 1986 | A Logic of Deliberation. Marvin Belzer |
| 1986 | A Logical-Form and Knowledge-Base Design for Natural Language Generation. Norman K. Sondheimer, Bernhard Nebel |
| 1986 | A Metalinguistic Approach to the Construction of Knowledge Base Refinement Systems. Allen Ginsberg |
| 1986 | A Neat Theory of Marker Passing. Eugene Charniak |
| 1986 | A Reasoning Model Based on an Extended Dempster-Shafer Theory. John Yen |
| 1986 | A Representation for Collections of Temporal Intervals. Bruce Leban, David McDonald, David Forster |
| 1986 | A Representation for Temporal Sequence and Duration in Massively Parallel Networks. Hon Wai Chun |
| 1986 | A Representation of Action Structures. Erik Sandewall, Ralph Rönnquist |
| 1986 | A Simple Motion Planning Algorithm for General Robot Manipulators. Tomás Lozano-Pérez |
| 1986 | A Stereo Integral Equation. Grahame B. Smith |
| 1986 | A Stochastic Approach to Stereo Vision. Stephen T. Barnard |
| 1986 | A Unified Theory of Heuristic Evaluation Functions and its Application to Learning. Jens Christensen, Richard E. Korf |
| 1986 | A Viewpoint Distinction in the Representation of Propositional Attitudes. John A. Barnden |
| 1986 | Abstraction and Representation of Continuous Variables in Connectionist Networks. Eric Saund |
| 1986 | Advances in Rete Pattern Matching. Marshall I. Schor, Timothy Daly, Ho Soo Lee, Beth Tibbitts |
| 1986 | An Adaptive Planner. Richard Alterman |
| 1986 | An Algorithmic Solution of N-Person Games. Carol Luckhart, Keki B. Irani |
| 1986 | An Analysis of Tutorial Reasoning about Programming Bugs. David C. Littman, Jeannine Pinto, Elliot Soloway |
| 1986 | An Integration of Resolution and Natural Deduction Theorem Proving. Dale Miller, Amy P. Felty |
| 1986 | Are There Preference Trade-offs in Attachment Decisions? Lenhart K. Schubert |
| 1986 | Automatic Compilation of Logical Specifications into Efficient Programs. Donald Cohen |
| 1986 | Bayesian Inference without Point Estimates. Paul Snow |
| 1986 | Beyond Exploratory Programming: A Methodology and Environment for Conceptual Natural Language Processing. Philip Johnson, Wendy G. Lehnert |
| 1986 | Beyond Incremental Processing: Tracking Concept Drift. Jeffrey C. Schlimmer, Richard H. Granger |
| 1986 | CHEF: A Model of Case-Based Planning. Kristian J. Hammond |
| 1986 | Can a System Be Intelligent if It Never Gives a Damn? Thomas Edelson |
| 1986 | Causal and Plausible Reasoning in Expert Systems. Gerald Liu |
| 1986 | Choosing Directions for Rules. Richard Treitel, Michael R. Genesereth |
| 1986 | Chronological Ignorance: Time, Nonmonotonicity, Necessity and Causal Theories. Yoav Shoham |
| 1986 | Commonsense Arithmetic Reasoning. Reid G. Simmons |
| 1986 | Comprehension-Driven Generation of Meta-Technical Utterances in Math Tutoring. Ingrid Zukerman, Judea Pearl |
| 1986 | Conceptual Clustering Using Relational Information. Bernhard Nordhausen |
| 1986 | Constraint Propagation Algorithms for Temporal Reasoning. Marc B. Vilain, Henry A. Kautz |
| 1986 | Constraint-Theorems on the Prototypification of Shape. Michael Leyton |
| 1986 | Constructing and Refining Causal Explanations from an Inconsistent Domain Theory. Richard J. Doyle |
| 1986 | Cooperation without Communication. Michael R. Genesereth, Matthew L. Ginsberg, Jeffrey S. Rosenschein |
| 1986 | Debugging User Conceptions of Interpretation Processes. M. J. Coombs, Roger T. Hartley |
| 1986 | Default Reasoning, Nonmonotonic Logics, and the Frame Problem. Steve Hanks, Drew V. McDermott |
| 1986 | Depth and Flow From Motion Energy. David Heeger |
| 1986 | Determining the 3-D Motion of a Rigid Surface Patch Without Correspondence under Perspective Projection. Yiannis Aloimonos, Isidore Rigoutsos |
| 1986 | Discovering Functional Formulas through Changing Representation Base. Mieczyslaw M. Kokar |
| 1986 | Doing Time: Putting Qualitative Reasoning on Firmer Ground. Brian C. Williams |
| 1986 | Dual Frames: A New Tool for Semantic Parsing. Jean-Louis Binot, Daniel Ribbens |
| 1986 | Dynamically Combining Syntax and Semantics in Natural Language Processing. Steven L. Lytinen |
| 1986 | Editorial Comprehension in OpEd through Argument Units. Sergio Alvarado, Michael G. Dyer, Margot Flowers |
| 1986 | Factorization in Experiment Generation. Devika Subramanian, Joan Feigenbaum |
| 1986 | Factual Knowledge For Developing Concurrent Programs. Andrzej Skowron, Alberto Pettorossi |
| 1986 | Finding a Shortest Solution for the N × N Extension of the 15-PUZZLE Is Intractable. Daniel Ratner, Manfred K. Warmuth |
| 1986 | Generalized Plan Recognition. Henry A. Kautz, James F. Allen |
| 1986 | Generating Perception Requests and Expectations to Verify the Execution of Plans. Richard J. Doyle, David Atkinson, Rajkumar Doshi |
| 1986 | Generating Predictions to Aid the Scientific Discovery Process. Randy Jones |
| 1986 | Hypotheticals as Heuristic Device. Edwina L. Rissland, Kevin D. Ashley |
| 1986 | Implementation of and Experiments with a Variable Precision Logic Inference System. Peter Haddawy |
| 1986 | Imposing Structure on Linear Programming Problems: An Empirical Analysis of Expert and Novice Models. Wanda J. Orlikowski, Vasant Dhar |
| 1986 | Incremental Planning to Control a Blackboard-based Problem Solver. Edmund H. Durfee, Victor R. Lesser |
| 1986 | Indefinite and GCWA Inference in Indefinite Deductive Databases. Lawrence J. Henschen, Hyung-Sik Park |
| 1986 | Inductive Inference by Refinement. Philip D. Laird |
| 1986 | Inference in a Topically Organized Semantic Net. Johannes de Haan, Lenhart K. Schubert |
| 1986 | Intelligent Tutoring Systems Based Upon Qualitative Model Evolutions. Barbara Y. White, John Frederiksen |
| 1986 | Interpreting Measurements of Physical Systems. Kenneth D. Forbus |
| 1986 | Is Belief Revision Harder Than You Thought? Marianne Winslett |
| 1986 | Joint and LPA*: Combination of Approximation and Search. Daniel Ratner, Ira Pohl |
| 1986 | Learning While Searching in Constraint-Satisfaction-Problems. Rina Dechter |
| 1986 | Learning by Failing to Explain. Robert J. Hall |
| 1986 | Learning to Anticipate and Avoid Planning Problems through the Explanation of Failures. Kristian J. Hammond |
| 1986 | Linear Image Features in Stereopsis. Michael Kass |
| 1986 | Making Best Use of Available Memory When Searching Game Trees. Subir Bhattacharya, Amitava Bagchi |
| 1986 | Mapping Explanation-Based Generalization onto Soar. Paul S. Rosenbloom, John E. Laird |
| 1986 | Mixing Binary and Continuous Connection Schemes for Knowledge Access. Noel E. Sharkey, Richard F. E. Sutcliffe, Wayne Wobcke |
| 1986 | Multi-Valued Logics. Matthew L. Ginsberg |
| 1986 | Not the Path to Perdition: The Utility of Similarity-Based Learning. Michael Lebowitz |
| 1986 | On Debugging Rule Sets When Reasoning Under Uncertainty. David C. Wilkins, Bruce G. Buchanan |
| 1986 | On the Logic of Probabilistic Dependencies. Judea Pearl |
| 1986 | On the Parallel Complexity of Some Constraint Satisfaction Problems. Simon Kasif |
| 1986 | On the Reconstruction of a Scene from Two Unregistered Images. Harit P. Trivedi |
| 1986 | Optimal Allocation of Very Limited Search Resources. David Mutchler |
| 1986 | Order of Magnitude Reasoning. Olivier Raiman |
| 1986 | Parallel Logical Inference and Energy Minimization. Dana H. Ballard |
| 1986 | Parts: Structured Descriptions of Shape. Alex Pentland |
| 1986 | Physics for Robots. James G. Schmolze |
| 1986 | Planning with Abstraction. Josh Tenenberg |
| 1986 | Plausibility of Diagnostic Hypotheses: The Nature of Simplicity. Yun Peng, James A. Reggia |
| 1986 | Pointwise Circumscription: Preliminary Report. Vladimir Lifschitz |
| 1986 | Preliminary Steps Toward the Automation of Induction. Stuart Russell |
| 1986 | Primitives and Units for Time Specification. Peter B. Ladkin |
| 1986 | Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science. Tom Kehler |
| 1986 | Propagating Temporal Constraints for Scheduling. Jean-François Rit |
| 1986 | Quantifying the Inductive Bias in Concept Learning (Extended Abstract). David Haussler |
| 1986 | Quantitative Analysis of Analogy. Stuart J. Russell |
| 1986 | Query Answering in Circumscriptive and Closed-World Theories. Teodor C. Przymusinski |
| 1986 | Reasoning about Multiple Faults. Johan de Kleer, Brian C. Williams |
| 1986 | Reasoning with Simplifying Assumptions: A Methodology and Example. Yishai A. Feldman, Charles Rich |
| 1986 | Representing Actions with an Assumption-Based Truth Maintenance System. Paul Morris, Robert Nado |
| 1986 | Rule Refinement Using the Probabilistic Rule Generator. Won D. Lee, Sylvian R. Ray |
| 1986 | SIMD Tree Algorithms for Image Correlation. Hussein Ibrahim, John R. Kender, David Elliot Shaw |
| 1986 | SNePS Considered as a Fully Intensional Propositional Semantic Network. Stuart C. Shapiro, William J. Rapaport |
| 1986 | STAHLp: Belief Revision in Scientific Discovery. Donald Rose, Pat Langley |
| 1986 | Selecting Appropriate Representations for Learning from Examples. Nicholas S. Flann, Thomas G. Dietterich |
| 1986 | Self-Reference, Knowledge, Belief, and Modality. Donald Perlis |
| 1986 | Shape from Darkness: Deriving Surface Information from Dynamic Shadows. John R. Kender, Earl Smith |
| 1986 | Signal Matching Through Scale Space. Andrew P. Witkin, Demetri Terzopoulos, Michael Kass |
| 1986 | Tactile Recognition by Probing: Identifying a Polygon on a Plane. Randy E. Ellis, Edward M. Riseman, Allen R. Hanson |
| 1986 | The FERMI System: Inducing Iterative Macro-Operators from Experience. Patricia Cheng, Jaime G. Carbonell |
| 1986 | The Logic of Persistence. Henry A. Kautz |
| 1986 | The Representation of Events in Multiagent Domains. Michael P. Georgeff |
| 1986 | The Role of Prior Causal Theories in Generalization. Michael J. Pazzani, Michael G. Dyer, Margot Flowers |
| 1986 | The Structure-Mapping Engine. Brian Falkenhainer, Kenneth D. Forbus, Dedre Gentner |
| 1986 | Time Representation: A Taxonomy of Internal Relations. Peter B. Ladkin |
| 1986 | Tweety - Still Flying: Some Remarks on Abnormal Birds Applicable Rules and a Default Prover. Gerhard Brewka |
| 1986 | Understanding Plan Ellipsis. Diane J. Litman |
| 1986 | Uniform Parsing and Inferencing for Learning. Charles Martin, Christopher Riesbeck |
| 1986 | Using Commonsense Knowledge to Disambiguate Prepositional Phrase Modifiers. Kathleen Dahlgren, Joyce P. McDowell |
| 1986 | Using Decision Theory to Justify Heuristics. Curtis P. Langlotz, Edward H. Shortliffe, Lawrence M. Fagan |
| 1986 | What Can Machines Know? On the Epistemic Properties of Machines. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi |