| 1987 | A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems. David S. Touretzky, John F. Horty, Richmond H. Thomason |
| 1987 | A Comparison of Concept Identification in Human Learning and Network Learning with the Generalized Delta Rule. Michael J. Pazzani, Michael G. Dyer |
| 1987 | A Computational Model of Referring. Douglas E. Appelt, Amichai Kronfeld |
| 1987 | A Critic for LISP. Gerhard Fischer |
| 1987 | A Distributed Approach for Inferring Production Systems. Ching-Chi Hsu, Shao-Ming Wu, Jan-Jan Wu |
| 1987 | A Formal Approach to Learning From Examples. James P. Delgrande |
| 1987 | A Formalism and Environment for the Development of a Large Grammar of English. Ted Briscoe, Claire Grover, Branimir Boguraev, John A. Carroll |
| 1987 | A Framework for Incremental Syntactic Tree Formation. Gerard Kempen |
| 1987 | A Framework for Representing Tutorial Discourse. Beverly P. Woolf, Thomas J. Murray |
| 1987 | A General Proof Method for First-Order Modal Logic. Peter Jackson, Han Reichgelt |
| 1987 | A Goal-Directed Intermediate Level Executive for Image Interpretation. Charles A. Kohl, Allen R. Hanson, Edward M. Riseman |
| 1987 | A Knowledge Framework for Natural Language Analysis. Paul S. Jacobs |
| 1987 | A Logic for Representing Default and Prototypical Properties. James P. Delgrande |
| 1987 | A Logic-based Architecture for Knowledge Management. Damian Black, John Manley |
| 1987 | A Logical Approach to Reasoning by Analogy. Todd R. Davies, Stuart J. Russell |
| 1987 | A Microfeature-based Scheme for Modelling Semantics. Lawrence A. Bookman |
| 1987 | A Multi-Attribute Approach to Knowledge Representation for Loan Granting. Suzanne Pinson |
| 1987 | A Multi-Level Perception Approach to Reading Cursive Script. Sargur N. Srihari, Radmilo M. Bozinovic |
| 1987 | A Network of Communicating Logic Programs and Its Semantics. Susumu Yamasaki |
| 1987 | A Parallel Blackboard System for Robot Control. Hugo Velthuijsen, Ben J. Lippolt, Jeanette C. Vonk |
| 1987 | A Parallel Logic Programming Language for PEPSys. Michael Ratcliffe, Jean-Claude Syre |
| 1987 | A Parsing System Based on Logic Programming. Yuji Matsumoto, Ryôichi Sugimura |
| 1987 | A Probabilistic Framework for Resource-Constrained Multi-Agent Planning. Nicola Muscettola, Stephen F. Smith |
| 1987 | A Quantitative Analysis of Minimal Window Search. Alexander Reinefeld, T. Anthony Marsland |
| 1987 | A Representation Framework for Continuous Dynamic Systems. Peter Raulefs |
| 1987 | A Representation for Natural Category Systems. Sandra L. Peters, Stuart C. Shapiro |
| 1987 | A Robust Algorithm for Determining the Translation of a Rigidly Moving Surface without Correspondence, for Robotics Applications. Anup Basu, Yiannis Aloimonos |
| 1987 | A Semantic Expert Using an Online Standard Dictionary. Jean-Louis Binot, Karen Jensen |
| 1987 | A Semantics for Default Logic. David W. Etherington |
| 1987 | A Shape Representation Based on Geometric Topology: Bumps, Gaussian Curvature, and the Topological Zodiac. A. Peter Blicher |
| 1987 | A Shell for Intelligent Help Systems. Joost Breuker, Radboud Winkels, Jacobijn Sandberg |
| 1987 | A Theoretical Framework for Consistency Techniques in Logic Programming. Pascal Van Hentenryck |
| 1987 | A Tool for Building Second Generation Expert Systems. Xuejun Tong, Zhijun He, Ruizao Yu |
| 1987 | A Uniform Model for Object-Oriented Languages Using the Class Abstraction. Jean-Pierre Briot, Pierre Cointe |
| 1987 | Amalgamating Multiple Programming Paradigms in PROLOG. Yoshiyuki Koseki |
| 1987 | An Algebraic Foundation for Truth Maintenance. Allen L. Brown Jr., Dale E. Gaucas, Dan Benanav |
| 1987 | An Algorithm which Automatically Constructs Discrimination Graphs in a Visual Knowledge Base. Jan A. Mulder |
| 1987 | An Analysis of Psychological Experiments on Non-Monotonic Reasoning. Edward Hoenkamp |
| 1987 | An Environment Model for the Integration of Logic and Functional Programming. Pierre E. Bonzon |
| 1987 | An Equipment Model and its Role in the Interpretation of Noun Phrases. Tomasz Ksiezyk, Ralph Grishman, John Sterling |
| 1987 | An Examination of the Third Stage in the Analogy Process: Verification-based Analogical Learning. Brian Falkenhainer |
| 1987 | An Explanation-based Approach to Generalizing Number. Jude W. Shavlik, Gerald DeJong |
| 1987 | An Improved Constraint-Propagation Algorithm for Diagnosis. Hector Geffner, Judea Pearl |
| 1987 | An Incremental Theorem Prover. Murray Shanahan |
| 1987 | An Integration Tool for Life-Cycle Engineering. Kathryn M. Chalfan |
| 1987 | An Investigation of Opportunistic Constraint Satisfaction in Space Planning. Can A. Baykan, Mark S. Fox |
| 1987 | An Optimal Scale for Edge Detection. Davi Geiger, Tomaso A. Poggio |
| 1987 | Approximation in Mathematical Domains. Scott W. Bennett |
| 1987 | Artificial 3D Vision. Olivier D. Faugeras |
| 1987 | Automatic Programming of Machine Vision Systems. L. J. de Hass |
| 1987 | Belief Functions for Real-Time Script Processing. Philip Schaefer |
| 1987 | Blackboard-based Dependency Parsing. K. Valkonen, Harri Jäppinen, Aarno Lehtola |
| 1987 | Building Natural Language Interfaces for Rule-based Expert Systems. Galina Datskovsky Moerdler, Kathleen R. McKeown, J. Robert Ensor |
| 1987 | Building a Consistent 3D Representation of a Mobile Robot Environment by Combining Multiple Stereo Views. Nicholas Ayache, Olivier D. Faugeras |
| 1987 | CHARADE: A Rule System Learning System. Jean-Gabriel Ganascia |
| 1987 | CYPRESS-Soar: A Case Study in Search and Learning in Algorithm Design. David M. Steier |
| 1987 | Color Algorithms for a General Vision System. Glenn Healey, Thomas O. Binford |
| 1987 | Combining Bodies of Dependent Information. Robert A. Hummel, Larry M. Manevitz |
| 1987 | Combining Discourse Strategies to Generate Descriptions to Users Along a Naive/Expert Spectrum. Cécile Paris |
| 1987 | Combining Prediction, Syntactic Analysis and Semantic Analysis in Chinese Sentence Analysis. Yiming Yang |
| 1987 | Combining Sources of Information in Vision I. Computing Shape from Shading and Motion. Yiannis Aloimonos |
| 1987 | Combining Weak Learning Heuristics in General Problem Solvers. Thomas Leo McCluskey |
| 1987 | Commonsense Reasoning with Verbs. Joyce P. McDowell, Kathleen Dahlgren |
| 1987 | Comparative Analysis. Daniel S. Weld |
| 1987 | Compiling Design Plans from Descriptions of Artifacts and Problem Solving Heuristics. Agustin A. Araya, Sanjay Mittal |
| 1987 | Complete Inference Rules for the Cancellation Laws. Jieh Hsiang, Michaël Rusinowitch, Kô Sakai |
| 1987 | Computational Complexity of Hypothesis Assembly. Dean Allemang, Michael C. Tanner, Tom Bylander, John R. Josephson |
| 1987 | Concepts in Conceptual Clustering. Robert E. Stepp |
| 1987 | Constraints in a Hybrid Knowledge Representation System. Hans W. Guesgen, Ulrich Junker, Angi Voß |
| 1987 | Constructive Second-Order Proofs in Logical Databases. Michel de Rougemont |
| 1987 | Contingency Planning for an Autonomous Land Vehicle. Theodore A. Linden, Jay Glicksman |
| 1987 | Controlling Constraint Propagation. Anne Collinot, Claude Le Pape |
| 1987 | Coordination of Action and Perception in a Surveillance Robot. James L. Crowley |
| 1987 | Creature Design with the Subsumption Architecture. Jonathan Connell |
| 1987 | DANTES: An Expert System for Real-Time Network Troubleshooting. Robert Mathonet, Herwig Van Cotthem, Leon Vanryckeghem |
| 1987 | DISCIPLE-1: Interactive Apprentice System in Weak Theory Fields. Yves Kodratoff, Gheorghe Tecuci |
| 1987 | Deduction-based Region-Use Planning. Robin S. Stanton, Hugh G. Mackenzie |
| 1987 | Dependency Propagation: A Unified Theory of Sentence Comprehension and Generation. Kôiti Hasida, Syun Isizaki |
| 1987 | Determination of Egomotion and Environmental Layout from Noisy Time-Varying Image Velocity in Binocular Image Sequences. John L. Barron, Allan D. Jepson, John K. Tsotsos |
| 1987 | Determining Cylindrical Shape from Contour and Shading. Minoru Asada |
| 1987 | Development of an Expert System for Diagnosing Problems on a Paper Machine. Nancy Gardner Margolis |
| 1987 | Direct Memory Access Translation. Hideto Tomabechi |
| 1987 | Discourse Consistency and Many-Sorted Logic. Jean Véronis |
| 1987 | Domain Abstraction and Limited Reasoning. Tomasz Imielinski |
| 1987 | Dominance and Subsumption in Constraint-Posting Planning. Michael P. Wellman |
| 1987 | Drastic Cut of Man's Work in Reliability Studies by Using an Expert System. M. Bouissou, N. Villatte |
| 1987 | Duce, An Oracle-based Approach to Constructive Induction. Stephen H. Muggleton |
| 1987 | Efficiency Considerations on Built-in Taxonomic Reasoning in PROLOG. Giorgio Montini |
| 1987 | Epistemic Logics, Probability, and the Calculus of Evidence. Enrique H. Ruspini |
| 1987 | Explaining and Repairing Plans that Fail. Kristian J. Hammond |
| 1987 | Explanation-based Generalization in a Logic-Programming Environment. Haym Hirsh |
| 1987 | Explicit Integration of Goals in Heuristic Algorithm Design. Jack Mostow, K. Voigt |
| 1987 | Exploiting 2D Topology in Labeling Polyhedral Images. Van-Duc Nguyen |
| 1987 | Extending Logic Programming to Object Programming: The System Lap. Herman Iline, Henry Kanoui |
| 1987 | Failsafe - A Floor Planner that Uses EBG to Learn from Its Failures. Jack Mostow, Neeraj Bhatnagar |
| 1987 | Feature Selection in Colour Images for Token Matching. Leonie S. Dreschler-Fischer, Frank Gnutzmann |
| 1987 | Feedback as a Coindexing Mechanism in Connectionist Architectures. Mark A. Jones |
| 1987 | Finding Collision-Free Smooth Trajectories for a Non-Holonomic Mobile Robot. Jean-Paul Laumond |
| 1987 | Formal Theories of Action (Preliminary Report). Vladimir Lifschitz |
| 1987 | Foundations of Probabilistic Logic. H. Guggenheimer, R. S. Freedman |
| 1987 | From Application Shell to Knowledge Acquisition System. Gary S. Kahn |
| 1987 | From Early Processing to Conceptual Reasoning: An Attempt to Fill the Gap. Giovanni Adorni, Lina Massone, Giulio Sandini, Maurizio Immovilli |
| 1987 | From [R, G, B] to Surface Reflectance: Computing Color Constant Descriptors in Images. Ron Gershon, Allan D. Jepson, John K. Tsotsos |
| 1987 | GLIMPSE - A Statistical Adventure. David E. Wolstenholme, Carl M. O'Brien |
| 1987 | Generate, Test and Debug: Combining Associational Rules and Causal Models. Reid G. Simmons, Randall Davis |
| 1987 | Generating Production Rules from Decision Trees. J. Ross Quinlan |
| 1987 | Goal Conflict Concerns. Marc Luria |
| 1987 | Graphical Debugging with the Transparent PROLOG Machine (TPM). Marc Eisenstadt, Mike Brayshaw |
| 1987 | Graphical Deep Knowledge for Intelligent Machine Drafting. James Geller, Stuart C. Shapiro |
| 1987 | Grasp Planning from Human Prehension. Thea Iberall |
| 1987 | Guiding Constructive Induction for Incremental Learning from Examples. Larry Watanabe, Renee Elio |
| 1987 | Hardware Diagnosis as Program Debugging. Ajay Gupta |
| 1987 | Hierarchical Credit Allocation in a Classifier System. Stewart W. Wilson |
| 1987 | How Can a Program Mean? Donald Perlis |
| 1987 | Hypercuboid-Formation Behaviour of Two Learning Algorithms. Chris Thornton |
| 1987 | Image Reconstruction from Zero-Crossings. Su-shing Chen |
| 1987 | Implementing a Model of Human Plausible Reasoning. Michelle Baker, Mark H. Burstein, Allan M. Collins |
| 1987 | Incremental Interpretation and Combinatory Categorial Grammar. Nicholas J. Haddock |
| 1987 | Inductive Inference of Context-free Languages - Context-free Expression Method. Takashi Yokomori |
| 1987 | Inductive Inference on the Base of Fixed Point Theory. Tamás Gergely, Zoltán Szabó |
| 1987 | Inference without Chaining. Alan M. Frisch |
| 1987 | Integrating Declarative Knowledge Programming Styles and Tools in a Structured Object AI Environment. Mihai Barbuceanu, Stefan Trausan-Matu, Bálint Molnár |
| 1987 | Intelligent Case Selection and Presentation. Robert G. Farrell |
| 1987 | Intended Models, Circumscription and Commonsense Reasoning. Wlodek Zadrozny |
| 1987 | Interactive Vocabulary Acquisition in XTRA. Cheng-ming Guo |
| 1987 | Intonation and the Intentional Structure of Discourse. Julia Hirschberg, Diane J. Litman, Janet B. Pierrehumbert, G. Ward |
| 1987 | Knowledge Engineering Tools at the Architecture Level. Thomas R. Gruber, Paul R. Cohen |
| 1987 | Knowledge Preconditions for Actions and Plans. Leora Morgenstern |
| 1987 | Knowledge Utilization in Handwritten Zip Code Recognition. Jonathan J. Hull, Sargur N. Srihari |
| 1987 | Knowledge-based Knowledge Elicitation. Joachim Diederich |
| 1987 | Language Acquisition: Learning a Hierarchy of Phrases. Uri Zernik |
| 1987 | Large-Scale Temporal Data Bases for Planning in Complex Domains. Thomas Dean |
| 1987 | Layered Concept-Learning and Dynamically Variable Bias Management. Larry A. Rendell, Raj Sheshu, David K. Tcheng |
| 1987 | Learning General Search Control from Outside Guidance. Andrew R. Golding, Paul S. Rosenbloom, John E. Laird |
| 1987 | Learning Idioms - With and Without Explanation. Uri Zernik |
| 1987 | Learning Phonetic Features Using Connectionist Networks. Raymond L. Watrous, Lokendra Shastri |
| 1987 | Learning Strategies by Reasoning about Rules. D. Paul Benjamin |
| 1987 | Learning in the Limit in a Growing Language. Ranan B. Banerji |
| 1987 | Local Pragmatics. Jerry R. Hobbs, Paul A. Martin |
| 1987 | Locating Polyhedral Objects from Edge Point Data. Gary Silverman, Roger Y. Tsai, Mark Lavin |
| 1987 | Logic Program Derivation for a Class of First Order Logic Relations. George Dayantis |
| 1987 | MUNIN - A Causal Probabilistic Network for Interpretation of Electromyographic Findings. Steen Andreassen, Marianne Woldbye, Björn Falck, Stig K. Andersen |
| 1987 | Machine Learning for Software Reuse. Walter L. Hill |
| 1987 | Marker-Passing and Microfeatures. James A. Hendler |
| 1987 | Matrix Proof Methods for Modal Logics. Lincoln A. Wallen |
| 1987 | Model Invocation for Three Dimensional Scene Understanding. Robert B. Fisher |
| 1987 | Modified Caseframe Parsing for Speech Understanding Systems. Massimo Poesio, Claudio Rullent |
| 1987 | Multiple Agents and the Heuristic Ascription of Belief. Yorick Wilks, Afzal Ballim |
| 1987 | Multiple Convergence: An Approach to Disjunctive Concept Acquisition. K. S. Murray |
| 1987 | Naive Mechanics Comprehension and Invention in EDISON. Michael G. Dyer, Margot Flowers, Jack Hodges |
| 1987 | Network Learning on the Connection Machine. Guy E. Blelloch, Charles R. Rosenberg |
| 1987 | Network Regions: Alternatives to the Winner-Take-All Structure. Hon Wai Chun, Lawrence A. Bookman, Niki Afshartous |
| 1987 | Noise and Knowledge Acquisition. Michel Manago, Yves Kodratoff |
| 1987 | Non-Cumulative Learning in METAXA.3. Werner Emde |
| 1987 | Non-Standard Semantics for the Method of Temporal Arguments. Brian A. Haugh |
| 1987 | Nonmonotonic Logics: Meaning and Utility. Yoav Shoham |
| 1987 | Object Identification from Parallel Light Stripes. Bijan Arbab |
| 1987 | Objective Probabilities. Henry E. Kyburg Jr. |
| 1987 | On Definitional Processes in Knowledge Reconstruction Systems. Peter Schefe |
| 1987 | On Multi-Level Machines for Continuous Speech Recognition. Joseph Di Martino |
| 1987 | On the Discovery of Mathematical Theorems. Susan L. Epstein |
| 1987 | On the Operationality/Generality Trade-off in Explanation-based Learning. Alberto Maria Segre |
| 1987 | On the Relation Between Default Theories and Autoepistemic Logic. Kurt Konolige |
| 1987 | On the Thresholds of Knowledge. Douglas B. Lenat, Edward A. Feigenbaum |
| 1987 | Optimizing Backtrack Search for all Solutions to Conjunctive Problems. K. S. Natarajan |
| 1987 | PLANLOG: A Language Framework for the Integration of Procedural and Logical Programming. Bertram Fronhöfer |
| 1987 | Parallel Inference Machines (Panel). Wolfgang Bibel |
| 1987 | Parallel Parsing for Unification Grammars. Andrew R. Haas |
| 1987 | Parallelism in LISP. Michael van Biema |
| 1987 | Path Planning Through Time and Space in Dynamic Domains. Marc G. Slack, David P. Miller |
| 1987 | Pattern Clustering: An Artificial Intelligence Approach. B. Shekar, M. Narasimha Murty, G. Krishna |
| 1987 | Performance Evaluation of the Inference Structure in Expert System. Tao Yang, Zhijun He, Ruizhao Yu |
| 1987 | Performance in Practical Problem Solving. Leo B. Hartman, Josh D. Tenenberg |
| 1987 | Planning and Executing Office Procedures in Project ASPERA. M. Cristina Bena, Giorgio Montini, Franco Sirovich |
| 1987 | Pointing, Language and the Visual World: Towards Multimodal Input and Output for Natural Language Dialog Systems (Panel). Wolfgang Wahlster |
| 1987 | Preserving Consistency Across Abstraction Mappings. Josh D. Tenenberg |
| 1987 | Probabilistic Information Fusion for Multi-Modal Image Segmentation. Paul B. Chou, Christopher M. Brown |
| 1987 | Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, Italy, August 23-28, 1987 John P. McDermott |
| 1987 | Process Recovery. Michael Leyton |
| 1987 | Program Understanding with the Lambda Calculus. Stanley Letovsky |
| 1987 | Proving Facts about "|". Michael J. Miller, Donald Perlis |
| 1987 | Qualitative Kinematics in Mechanisms. Boi Faltings |
| 1987 | Qualitative Kinematics: A Framework. Kenneth D. Forbus, Paul Nielson, Boi Faltings |
| 1987 | Qualitative Motion Understanding. Wilhelm Burger, Bir Bhanu |
| 1987 | Qualitative Reasoning in Electronic Fault Diagnosis. Padraig Cunningham |
| 1987 | RUM: A Layered Architecture for Reasoning with Uncertainty. Piero P. Bonissone, Steven S. Gans, Keith Decker |
| 1987 | Reasoning with Consistent Probabilities. Dimiter Driankov |
| 1987 | Recognition in 2D Images of 3D Objects from Large Model Bases Using Prediction Hierarchies. J. Brian Burns, Leslie J. Kitchen |
| 1987 | Recovering Surface Shape from Boundary. Gang Xu, Saburo Tsuji |
| 1987 | Recovering Three Dimensional Shape from a Single Image of Curved Objects. Jitendra Malik |
| 1987 | Reflection as a Tool for Integration: An Exercise in Procedural Introspection. Robert Ghislanzoni, Luca Spampinato, Giorgio Tornielli |
| 1987 | Relating Default Logic and Circumscription. David W. Etherington |
| 1987 | Repair Strategies in a Diagnostic Expert System. Jeff Pepper, Gary S. Kahn |
| 1987 | Representation and Interpretation of Determiners in Natural Language. Barbara Di Eugenio, Leonardo Lesmo |
| 1987 | Representing Space for Practical Reasoning. Margaret M. Fleck |
| 1987 | SIS: A Shell for Interview Systems. Atsuo Kawaguchi, Riichiro Mizoguchi, Takahira Yamaguchi, Osamu Kakusho |
| 1987 | Short Time Periods. Patrick J. Hayes, James F. Allen |
| 1987 | Significant Feature Detection and Matching in Image Pairs. Mark H. Singer |
| 1987 | Some Challenges for Intelligent Tutoring Systems. Derek H. Sleeman |
| 1987 | Spontaneous Retrieval in a Conceptual Information System. Lisa F. Rau |
| 1987 | Stereo Matching by Hierarchical, Microcanonical Annealing. Stephen T. Barnard |
| 1987 | Strategies for Learning Search Control Rules: An Explanation-based Approach. Steven Minton, Jaime G. Carbonell |
| 1987 | Subgoal Ordering and Goal Augmentation for Heuristic Problem Solving. Keki B. Irani, Jie Cheng |
| 1987 | Surprisingness and Expectation Failure: What's the Difference? Andrew Ortony, Derek Partridge |
| 1987 | TINA: The Sheffeild AIVRU Vision System. John Porrill, Stephen Pollard, Tony P. Pridmore, Jonathan B. Bowen, John E. W. Mayhew, John P. Frisby |
| 1987 | Taming Intractible Branching in Qualitative Simulation. Benjamin Kuipers, Charles Chiu |
| 1987 | Temporal Event Conceptualization. Krishna Kumar, Amitabha Mukerjee |
| 1987 | The Abstraction/Implementation Model of Problem Reformulation. Michael R. Lowry |
| 1987 | The Classification, Detection and Handling of Imperfect Theory Problems. Shankar A. Rajamoney, Gerald DeJong |
| 1987 | The Commercialization of AI: Part 1. The User Viewpoint (Panel). Bruce B. Johnson |
| 1987 | The Commercialization of AI: Part 2. The Vendor Viewpoint (Panel). Harry C. Reinstein |
| 1987 | The Commercialization of AI: Part 3. The Technology Challenge (Panel). Jan Aikins |
| 1987 | The Completeness of a Natural System for Reasoning with Time Intervals. Peter B. Ladkin |
| 1987 | The Generation of Explanations within Evidential Reasoning Systems. Thomas M. Strat |
| 1987 | The Logic of Inheritance in Frame Systems. Gerhard Brewka |
| 1987 | The Logic of Occurrence. Kenneth D. Forbus |
| 1987 | The Mixed Approach for Motion Planning: Learning Global Strategies from a Local Planner. Bernard Faverjon, Pierre Tournassoud |
| 1987 | The New Grammar Formalisms - A Tutorial Survey (Abstract). Gerald Gazdar |
| 1987 | The Pipelining Transformation on Plans for Manufacturing Cells with Robots. Erik Sandewall |
| 1987 | The Preliminary Results of a Mandarin Dictation Machine Based Upon Chinese Natural Language Analysis. Lin-Shan Lee, Chiu-yu Tseng, Keh-Jiann Chen, James Huang |
| 1987 | The Relevance of Irrelevance. Devika Subramanian, Michael R. Genesereth |
| 1987 | The Universal Parser Architecture for Knowledge-based Machine Translation. Masaru Tomita, Jaime G. Carbonell |
| 1987 | The Use of Color in Highlight Identification. Ron Gershon, Allan D. Jepson, John K. Tsotsos |
| 1987 | The Use of Explanations for Similarity-based Learning. Andrea Pohoreckyj Danyluk |
| 1987 | Theorem Proving Under Uncertainty - A Possibility Theory-based Approach. Didier Dubois, Jérôme Lang, Henri Prade |
| 1987 | Time Structures for AI. Edward P. K. Tsang |
| 1987 | Towards Continuous Process Supervision. Philippe Caloud |
| 1987 | Towards a Functional Architecture for Intelligence Based on Generic Information Processing Tasks. B. Chandrasekaran |
| 1987 | Towards an Integrated Discovery System. Bernd Nordhausen, Pat Langley |
| 1987 | Tractable Meta-Reasoning in Propositional Logics of Belief. Gerhard Lakemeyer |
| 1987 | Transfer Semantics in an Operating System Consultant: The Formalization of Actions Involving Object Transfer. Paul McKevitt, Yorick Wilks |
| 1987 | Trinocular Stereovision: Recent Results. Nicholas Ayache, Francis Lustman |
| 1987 | Uncertainty Reduction Paradigm Using Structural Knowledge in Line-Drawing Understanding. Yasuo Ariki, Masashi Morimoto, Toshiyuki Sakai |
| 1987 | Uncertainty and Probability. Jane Terry Nutter |
| 1987 | Understanding New Metaphors. James H. Martin |
| 1987 | Understanding System Specifications Written in Natural Language. John J. Granacki Jr., Alice C. Parker, Yigal Arens |
| 1987 | Universal Plans for Reactive Robots in Unpredictable Environments. Marcel Schoppers |
| 1987 | Use of Procedural Knowledge for Automatic Speech Recognition. Renato De Mori, Ettore Merlo, Mathew J. Palakal, Jean Rouat |
| 1987 | Using Partial Global Plans to Coordinate Distributed Problem Solvers. Edmund H. Durfee, Victor R. Lesser |
| 1987 | Using Prior Learning to Facilitate the Learning of New Causal Theories. Michael J. Pazzani, Michael G. Dyer, Margot Flowers |
| 1987 | Variables in Hypotheses. David Poole |
| 1987 | Visual Path Planning by a Mobile Robot. Saburo Tsuji, Jiang Yu Zheng |
| 1987 | What is a 'Degenerate' View? John R. Kender, David G. Freudenstein |
| 1987 | What's in a Deep Model? A Characterization of Knowledge Depth in Intelligent Safety Systems. David Klein, Timothy W. Finin |
| 1987 | X-AiD: A Shell for Building Highly Interactive and Adaptive User Interfaces. Hans-Werner Hein, Gert M. Kellerman, Christoph G. Thomas |