| 1987 | A Declarative Approach to Bias in Concept Learning. Stuart J. Russell, Benjamin N. Grosof |
| 1987 | A KNACK for Knowledge Acquisition. Georg Klinker, Casey Boyd, Serge Genetet, John P. McDermott |
| 1987 | A Mechanism for Early Piagetian Learning. Gary L. Drescher |
| 1987 | A Model for Concurrent Actions Having Temporal Extent. Richard N. Pelavin, James F. Allen |
| 1987 | A Model of Two-Player Evaluation Functions. Bruce Abramson, Richard E. Korf |
| 1987 | A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits. Robert J. Hall, Richard H. Lathrop, Robert S. Kirk |
| 1987 | A Multiprocessor Architecture for Production System Matching. Michael A. Kelly, Rudolph E. Seviora |
| 1987 | A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts. Peiya Liu, Ruey-Juin Chang |
| 1987 | A Parallel Implementation of Iterative-Deepening-A*. V. Nageshwara Rao, Vipin Kumar, K. Ramesh |
| 1987 | A Parallel Resolution Procedure Based on Connection Graph. P. Daniel Cheng, J. Y. Yuang |
| 1987 | A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. John F. Horty, Richmond H. Thomason, David S. Touretzky |
| 1987 | A Theory of Default Reasoning. Wlodek Zadrozny |
| 1987 | AQUA: Asking Questions and Understanding Answers. Ashwin Ram |
| 1987 | Abstraction by Time-Scale in Qualitative Simulation. Benjamin Kuipers |
| 1987 | Achieving Flexibility, Efficiency, and Generality in Blackboard Architectures. Daniel D. Corkill, Kevin Q. Gallagher, Philip M. Johnson |
| 1987 | Algorithm Synthesis through Problem Reformulation. Michael R. Lowry |
| 1987 | All I Know: An Abridged Report. Hector J. Levesque |
| 1987 | Ambiguity Procrastination. Elaine Rich, Jim Barnett, Kent Wittenburg, David A. Wroblewski |
| 1987 | An Approach to Default Reasoning Based on a First-Order Conditional Logic. James P. Delgrande |
| 1987 | An Architecture for Intelligent Task Automation. Jeffrey M. Becker, Fred L. Garrett |
| 1987 | An Automated Reasoning Technique for Providing Moment-by-Moment Advice Concerning the Operation of a Process. William Kaemmerer, James R. Allard |
| 1987 | An Experimental Comparison of Knowledge Engineering for Expert Systems and for Decision Analysis. Max Henrion, Daniel R. Cooley |
| 1987 | An Integrated System that Unifies Multiple Shape from Texture Algorithms. Mark L. Moerdler, John R. Kender |
| 1987 | An Intelligent Tutoring System for Interpreting Ground Tracks. Kathleen M. Swigger, Hugh Burns, Harry Loveland, Terresa Jackson |
| 1987 | An Investigation into Reactive Planning in Complex Domains. R. James Firby |
| 1987 | Analogical Processing: A Simulation and Empirical Corroboration. Janice Skorstad, Brian Falkenhainer, Dedre Gentner |
| 1987 | Assessing the Maintainability of XCON-in-RIME: Coping with the Problems of a VERY Large Rule-Base. Elliot Soloway, Judy Bachant, Keith Jensen |
| 1987 | Assimilation: A Strategy for Implementing Self-Reorganizing Knowledge Bases. Jane Terry Nutter |
| 1987 | BAGGER: An EBL System that Extends and Generalizes Explanations. Jude W. Shavlik, Gerald DeJong |
| 1987 | Bounds on Translational and Angular Velocity Components from First Order Derivatives of Image Flow. Muralidhara Subbarao |
| 1987 | Building a Community Memory for Intelligent Tutoring Systems. Beverly Park Woolf, Pat Cunningham |
| 1987 | CAMEX - An Expert System for Process Planning on CNC Machines. O. Eliyahu, Lev Zaidenberg, Moshe Ben-Bassat |
| 1987 | CCLISP™ on the iPSC™ Concurrent Computer. David Billstrom, Joseph Brandenburg, John Teeter |
| 1987 | CP as a General-Purpose Constraint-Language. Vijay A. Saraswat |
| 1987 | Case-based Problem Solving with a Large Knowledge Base of Learned Cases. Wendy G. Lehnert |
| 1987 | Circumscriptive Theories: A Logic-based Framework for Knowledge Representation (Preliminary Report). Vladimir Lifschitz |
| 1987 | Closed Form Solution to the Structure from Motion Problem from Line Correspondences. Minas E. Spetsakis, Yiannis Aloimonos |
| 1987 | Compare and Contrast: A Test of Expertise. Kevin D. Ashley, Edwina L. Rissland |
| 1987 | Comparing Minimax and Product in a Variety of Games. Ping-Ching Chi, Dana S. Nau |
| 1987 | Compiling Plan Operators from Domains Expressed in Qualitative Process Theory. John C. Hogge |
| 1987 | Complexity in Classificatory Reasoning. Ashok K. Goel, Neelam Soundararajan, B. Chandrasekaran |
| 1987 | Computational Costs versus Benefits of Control Reasoning. Alan Garvey, Craig Cornelius, Barbara Hayes-Roth |
| 1987 | Counterfactual Reasoning with Direct Models. Mark Derthick |
| 1987 | Critical Hypersurfaces and the Quantity Space. Mieczyslaw M. Kokar |
| 1987 | Curing Anomalous Extensions. Paul Morris |
| 1987 | Data Validation during Diagnosis: A Step beyond Traditional Sensor Validation. B. Chandrasekaran, William F. Punch III |
| 1987 | Default Reasoning through Belief Revision Strategy. Chern H. Seet |
| 1987 | Defining Operationality for Explanation-based Learning. Richard M. Keller |
| 1987 | Design as Refinement Plus Constraint Propagation: The VEXED Experience. Louis I. Steinberg |
| 1987 | Detecting Runways in Aerial Images. Andres Huertas, William Cole, Ramakant Nevatia |
| 1987 | Diagnostic Improvement through Qualitative Sensitivity Analysis and Aggregation. Keith L. Downing |
| 1987 | Efficiency Analysis of Multiple-Context TMSs in Scene Representation. Gregory M. Provan |
| 1987 | Embracing Causality in Formal Reasoning. Judea Pearl |
| 1987 | Energy Constraints on Deformable Models: Recovering Shape and Non-Rigid Motion. Demetri Terzopoulos, Andrew P. Witkin, Michael Kass |
| 1987 | Explanation-based Failure Recovery. Ajay Gupta |
| 1987 | Extending the Mathematics in Qualitative Process Theory. Bruce D'Ambrosio |
| 1987 | Extracting Qualitative Dynamics from Numerical Experiments. Kenneth Man-kam Yip |
| 1987 | Filming a Terrain under Uncertainty Using Temporal and Probahilistic Reasoning. Raymond D. Gumb |
| 1987 | Formulating Concepts According to Purpose. Smadar T. Kedar-Cabelli |
| 1987 | Forward Chaining Logic Programming with the ATMS. Nicholas S. Flann, Thomas G. Dietterich, Dan R. Corpon |
| 1987 | Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report. Raymond Reiter, Johan de Kleer |
| 1987 | From Intelligent Tutoring to Computerized Psychotherapy. David Servan-Schreiber |
| 1987 | Goal-based Generation of Motivational Expressions in a Learning Environment. Ingrid Zukerman |
| 1987 | Hierarchical Reasoning about Inequalities. Elisha Sacks |
| 1987 | Hypothesis Testing in a Computational Theory of Visual Word Recognition. Jonathan J. Hull |
| 1987 | Improving Inference through Conceptual Clustering. Douglas H. Fisher |
| 1987 | Incremental Causal Reasoning. Thomas L. Dean, Mark S. Boddy |
| 1987 | Incremental Inference: Getting Multiple Agents to Agree on What to Do Next. Gary C. Borchardt |
| 1987 | Inference in Text Understanding. Peter Norvig |
| 1987 | Inferring Formal Software Specifications from Episodic Descriptions. Van E. Kelly, Uwe Nonnenmann |
| 1987 | Information Retrieval from Never-Ending Stories. Lisa F. Rau |
| 1987 | Insertions Using Geometric Analysis and Hybrid Force-Position Control on a PUMA 560 with VAL II. David R. Strip |
| 1987 | Integrating Diverse Reasoning Methods in the BB1 Blackboard Control Architecture. M. Vaughan Johnson Jr., Barbara Hayes-Roth |
| 1987 | Intention = Choice + Commitment. Philip R. Cohen, Hector J. Levesque |
| 1987 | Interpretation in Generation. Eduard H. Hovy |
| 1987 | Interpreting Clues in Conjunction with Processing Restrictions in Arguments and Discourse. Robin Cohen |
| 1987 | Joshua: Uniform Access to Heterogeneous Knowledge Structures, or why Joshing Is Better than Conniving or Planning. Steve Rowley, Howard E. Shrobe, Robert Cassels, Walter Hamscher |
| 1987 | KADBASE - A Prototype Expert System-Database Interface for Integrated CAE Environments. H. Craig Howard, Daniel R. Rehak |
| 1987 | Knowledge Level Learning in Soar. Paul S. Rosenbloom, John E. Laird, Allen Newell |
| 1987 | Learning Conjunctive Concepts in Structural Domains. David Haussler |
| 1987 | Learning and Representation Change. Jeffrey C. Schlimmer |
| 1987 | Learning to Control a Dynamic Physical System. Margaret E. Connell, Paul E. Utgoff |
| 1987 | Localized Representation and Planning Methods for Parallel Domains. Amy L. Lansky, David S. Fogelsong |
| 1987 | MU: A Development Environment for Prospective Reasoning Systems. Paul R. Cohen, Michael Greenberg, Jefferson DeLisio |
| 1987 | Making Partial Choices in Constraint Reasoning Problems. Sanjay Mittal, Felix Frayman |
| 1987 | Material Handling: A Conservative Domain for Neural Connectivity and Propagation. H. Van Dyke Parunak, James Kindrick, Bruce W. Irish |
| 1987 | Memory-based Reasoning Applied to English Pronunciation. Craig Stanfill |
| 1987 | Models of Axioms for Time Intervals. Peter B. Ladkin |
| 1987 | Modular Learning in Neural Networks. Dana H. Ballard |
| 1987 | More on Inheritance Hierarchies with Exceptions: Default Theories and Inferential Distance. David W. Etherington |
| 1987 | Non-Deterministic Lisp with Dependency-directed Backtracking. Ramin Zabih, David A. McAllester, David Chapman |
| 1987 | Nondestructive Graph Unification. David A. Wroblewski |
| 1987 | On Stratified Autoepistemic Theories. Michael Gelfond |
| 1987 | On the Expressiveness of Rule-based Systems for Reasoning with Uncertainty. David Heckerman, Eric Horvitz |
| 1987 | Optimizing the Predictive Value of Diagnostic Decision Rules. Sholom M. Weiss, Robert S. Galen, Prasad Tadepalli |
| 1987 | PROLEARN: Towards a Prolog Interpreter that Learns. Armand Prieditis, Jack Mostow |
| 1987 | PROMPT: An Innovative Design Tool. Seshashayee S. Murthy, Sanjaya Addanki |
| 1987 | Partial Compilation of Strategic Knowledge. Russ B. Altman, Bruce G. Buchanan |
| 1987 | Path Dissolution: A Strongly Complete Rule of Inference. Neil V. Murray, Erik Rosenthal |
| 1987 | Pengi: An Implementation of a Theory of Activity. Philip E. Agre, David Chapman |
| 1987 | Perceptual Significance Hierarchy: A Computer Vision Theory for Color Separation. Deborah Walters, Ganapathy Krishnan |
| 1987 | Piecewise Linear Reasoning. Elisha Sacks |
| 1987 | Plan Inference and Student Modeling in ICAI. Y. M. Visetti, Philippe Dague |
| 1987 | Porting and Extensible Natural Language Interface: A Case History. Candace E. Kalish, Matthew B. Cox |
| 1987 | Possible Worlds and the Qualification Problem. Matthew L. Ginsberg, David E. Smith |
| 1987 | Probabilistic Semantics for Qualitative Influences. Michael P. Wellman |
| 1987 | Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, WA, USA, July 1987. Kenneth D. Forbus, Howard E. Shrobe |
| 1987 | Proof Analogy in Interactive Theorem Proving: A Method to Express and Use It via Second Order Pattern Matching. Thierry Boy de la Tour, Ricardo Caferra |
| 1987 | Qualitative Landmark-based Path Planning and Following. Tod S. Levitt, Daryl T. Lawton, David M. Chelberg, Philip C. Nelson |
| 1987 | Range Image Interpretation of Mail Pieces with Superquadrics. Franc Solina, Ruzena Bajcsy |
| 1987 | Reactive Reasoning and Planning. Michael P. Georgeff, Amy L. Lansky |
| 1987 | Real-Time Heuristic Search: First Results. Richard E. Korf |
| 1987 | Reasoning about Discontinuous Change. Toyoaki Nishida, Shuji Doshita |
| 1987 | Reasoning about Exceptions during Plan Execution Monitoring. Carol A. Broverman, W. Bruce Croft |
| 1987 | Reasoning about Fluids via Molecular Collections. John W. Collins, Kenneth D. Forbus |
| 1987 | Reasoning in the Presence of Inconsistency. Fangzhen Lin |
| 1987 | Reasoning with Orders of Magnitude and Approximate Relations. Michael L. Mavrovouniotis, George Stephanopoulos |
| 1987 | Recent Developments in Butterfly™ Lisp. Donald C. Allen, Seth A. Steinberg, Lawrence A. Stabile |
| 1987 | Recovering from Erroneous Inferences. Kurt P. Eiselt |
| 1987 | Reducing Indeterminism in Consultation: A Cognitive Model of User/Librarian Interactions. Hsinchun Chen, Vasant Dhar |
| 1987 | Regularization Uses Fractal Priors. Richard Szeliski |
| 1987 | Removing Redundancies in Constraint Networks. Avi Dechter, Rina Dechter |
| 1987 | Representing Databases in Frames. Ey-Chih Chow |
| 1987 | Revised Dependencydirected Backtracking for Default Reasoning. Charles J. Petrie |
| 1987 | Rules for the Implicit Acquisition of Knowledge about the User. Robert Kass, Tim Finin |
| 1987 | Script-based Reasoning for Situation Monitoring. Sharon J. Laskowski, Emily J. Hofmann |
| 1987 | Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults. Robert Nado, Richard Fikes |
| 1987 | Shadow Stereo-Locating Object Boundaries Using Shadows. William B. Thompson, Michael T. Checky, William Kaemmerer |
| 1987 | Shape and Function in Mechanical Devices. Leo Joskowicz |
| 1987 | Similitude-Invariant Pattern Recognition Using Parallel Distributed Processing. K. Prasdny |
| 1987 | Simple Causal Minimizations for Temporal Persistence and Projection. Brian A. Haugh |
| 1987 | Synthesizing Algorithms with Performance Constraints. Robert McCartney |
| 1987 | TAXI: A Taxonomic Assistant. Thomas Y. Galloway |
| 1987 | TEST: A Model-driven Application Shell. Gary S. Kahn, Al Kepner, Jeff Pepper |
| 1987 | TREAT: A Better Match Algorithm for AI Production System Matching. Daniel P. Miranker |
| 1987 | The Acquisition of Conceptual Structure for the Lexicon. James Pustejovsky, Sabine Bergler |
| 1987 | The Consistent Labeling Problem in Temporal Reasoning. Edward P. K. Tsang |
| 1987 | The Deductive Synthesis of Imperative LISP Programs. Zohar Manna, Richard J. Waldinger |
| 1987 | The Goal/Subgoal Knowledge Representation for Real-Time Process Monitoring. James R. Allard, William Kaemmerer |
| 1987 | The Logic of Representing Dependencies by Directed Graphs. Judea Pearl, Thomas Verma |
| 1987 | The Satisfiability of Temporal Constraint Networks. Raúl E. Valdés-Pérez |
| 1987 | The Sensitivity of Motion and Structure Computations. John L. Barron, Allan D. Jepson, John K. Tsotsos |
| 1987 | Troubleshooting: When Modeling Is the Trouble. Philippe Dague, Olivier Raiman, Philippe Deves |
| 1987 | UNITRAN: An Interlingual Approach to Machine Translation. Bonnie J. Dorr |
| 1987 | Using Generic Geometric Models for Intelligent Shape Extraction. Pascal Fua, Andrew J. Hanson |
| 1987 | Using Goal Interactions to Guide Planning. Caroline C. Hayes |
| 1987 | Validating Generalized Plans in the Presence of Incomplete Information. Marianne Winslett |
| 1987 | Visual Estimation of 3-D Line Segments from Motion - A Mobile Robot Vision System. William M. Wells III |
| 1987 | Visual Grammars for Visual Languages. Fred Lakin |
| 1987 | Word-Order Variation in Natural Language Generation. Aravind K. Joshi |