| 1985 | 3-D Shape Representation by Contours. Isaac Weiss |
| 1985 | A Case Study in Structured Knowledge Acquisition. Paul de Greef, Joost Breuker |
| 1985 | A Common-Sense Theory of Time. James F. Allen, Patrick J. Hayes |
| 1985 | A Comparison of Analytic and Experimental Goal Regression for Machine Learning. Bruce W. Porter, Dennis F. Kibler |
| 1985 | A Computational Theory of Belief Introspection. Kurt Konolige |
| 1985 | A Decidable First-Order Logic for Knowledge Representation. Peter F. Patel-Schneider |
| 1985 | A Fast Method for Extraction of 3-D Information Using Multiple Stripes and Two Cameras. Tomio Echigo, Masahiko Yachida |
| 1985 | A Fault Detection and Isolation Method Applied to Liquid Oxygen Loading for the Space Shuttle. Ethan A. Scarl, John R. Jamieson, Carl I. Delaune |
| 1985 | A Framework for Distributed Sensing and Control. Tom Henderson, Chuck Hansen, Bir Bhanu |
| 1985 | A Functional Approach to Non-Monotonic Logic. Erik Sandewall |
| 1985 | A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft. Joseph Y. Halpern, Yoram Moses |
| 1985 | A Heuristic Approach to Program Inversion. David Eppstein |
| 1985 | A Hybrid SSS*/Alpha-Beta Algorithm for Parallel Search of Game Trees. Daniel B. Leifker, Laveen N. Kanal |
| 1985 | A Logic Program Schema and Its Applications. Takashi Yokomori |
| 1985 | A Logic Programming and Verification System for Recursive Quantificational Logic. Frank M. Brown, Peiya Liu |
| 1985 | A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation. Manfred Schmidt-Schauß |
| 1985 | A Many-Sorted Resolution Based on an Extension of a First-Order Language. Keki B. Irani, D. G. Shin |
| 1985 | A Model-Theoretic Analysis of Monotonic Knowledge. Moshe Y. Vardi |
| 1985 | A Modular Tool Kit for Knowledge Management. Gilles M. E. Lafue, Reid G. Smith |
| 1985 | A New Hyperparamodulation Strategy for the Equality Relation. Younghwan Lim, Lawrence J. Henschen |
| 1985 | A New Kind of Finite-State Automaton: Register Vector Grammar. Glenn D. Blank |
| 1985 | A New Method of 3-D Motion Analysis Using a Concept of Projective Geometry. Tadahiro Kitahashi, Hiroyuki Endo |
| 1985 | A New Sense for Depth of Field. Alex Pentland |
| 1985 | A Parallel Matching Algorithm for Stereo Vision. Yoshiro Nishimoto, Yoshiaki Shirai |
| 1985 | A Parallel-Process Model of On-Line Inference Processing. Kurt P. Eiselt |
| 1985 | A Predicate Connection Graph Based Logic with Flexible Control. Richard Whitney, Darrel J. Van Buer, Donald P. McKay, Dan Kogan, Lynette Hirschman, Rebecca Davis |
| 1985 | A Procedural Logic. Michael P. Georgeff, Amy L. Lansky, Pierre Bessière |
| 1985 | A Process Model of Cased-Based Reasoning in Problem Solving. Janet L. Kolodner, Robert L. Simpson Jr., Katia Sycara-Cyranski |
| 1985 | A Process Theory of Non-monotonic Inference. James W. Goodwin |
| 1985 | A Prototypical Approach to Machine Learning. R. I. Phelps, Peter B. Musgrove |
| 1985 | A Proximity Metric for Continuum Path Planning. Charles E. Buckley, Larry J. Leifer |
| 1985 | A Representation for Complex Physical Domains. Sanjaya Addanki, Ernest Davis |
| 1985 | A Robot Planning Structure Using Production Rules. Ralph P. Sobek |
| 1985 | A Short Note on Opportunistic Planning and Memory in Arguments. Lawrence Birnbaum |
| 1985 | A Study of Search Methods: The Effect of Constraint Satisfaction and Adventurousness. Hans J. Berliner, Gordon Goetsch |
| 1985 | A Variable Supply Model for Distributing Deductions. Vineet Singh, Michael R. Genesereth |
| 1985 | A Weighted Technique in Heuristic Search. Bo Zhang, Ling Zhang |
| 1985 | AI and Legal Reasoning. Edwina L. Rissland |
| 1985 | ASSIP-T: A Theorem-Proving Machine. Werner Dilger, Hans-Albert Schneider |
| 1985 | An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction. Mark E. Stickel, Mabry Tyson |
| 1985 | An Approach to Dependency Directed Backtracking Using Domain Specific Knowledge. Vasant Dhar |
| 1985 | An Architecture for Knowledge Based Deduction. Arthur J. Nevins |
| 1985 | An Efficient Context-Free Parsing Algorithm for Natural Languages. Masaru Tomita |
| 1985 | An Endorsement-based Plan Recognition Program. Michael Sullivan, Paul R. Cohen |
| 1985 | An Equational Approach to Theorem Proving in First-Order Predicate Calculus. Deepak Kapur, Paliath Narendran |
| 1985 | An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON. Ronald J. Brachman, Victoria P. Gilbert, Hector J. Levesque |
| 1985 | An Expert Advisor for Photolithography. Terry Cline, Wendy Fong, Steven Rosenberg |
| 1985 | An Expert System for Understanding Expressions from Electric Circuit Analysis. Rostam Joobbani, Sarosh Talukdar |
| 1985 | An Implementation of a Multi-Agent Plan Synchronizer. Christopher Stuart |
| 1985 | Analysis of Uncertainties in a Structure of Parts. Alan Fleming |
| 1985 | Analyzing Oriented Patterns. Michael Kass, Andrew P. Witkin |
| 1985 | Applying Adaptive Algorithms to Epistatic Domains. Lawrence Davis |
| 1985 | Approaches to Conceptual Clustering. Douglas H. Fisher, Pat Langley |
| 1985 | Arguments of Persuasion in Labour Mediation. Katia Sycara-Cyranski |
| 1985 | Artificial Intelligence and Legal Responsibility. Margaret A. Boden |
| 1985 | Artificial Intelligence in the Personal Computer Environment, Today and Tomorrow. Tom J. Schwartz |
| 1985 | Automated Deduction by Theory Resolution. Mark E. Stickel |
| 1985 | Automated Enhancement of Knowledge Representations. Robert Balzer |
| 1985 | Automatic Programming for Streams. David R. Barstow |
| 1985 | Automatically Inferring Database Schemas. Sitaram Lanka |
| 1985 | Automating Program Speedup by Deciding What to Cache. Jack Mostow, Donald Cohen |
| 1985 | Be Brief, Be to the Point, ... Be Seated or Relevant Responses in Man/Machine Conversation. Anne Vilnat, Gérard Sabah |
| 1985 | Belief, Awareness, and Limited Reasoning: Preliminary Report. Ronald Fagin, Joseph Y. Halpern |
| 1985 | Building a Bridge Between AI and Robotics. Hirochika Inoue |
| 1985 | CM-Strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs. Marta Franová |
| 1985 | COMODEL: A Language for the Representation of Technical Knowledge. Werner Dilger, Jörg Kippe |
| 1985 | Checking an Expert Systems Knowledge Base for Consistency and Completeness. Tin A. Nguyen, Walton A. Perkins, Thomas J. Laffey, Deanne Pecora |
| 1985 | Coarse-to-Fine Control Strategy for Matching Motion Stereo Pairs. Gang Xu, Saburo Tsuji, Minoru Asada |
| 1985 | Combination and Propagation of Uncertainty with Belief Functions - A Reexamination. Didier Dubois, Henri Prade |
| 1985 | Combining Discrete and Continuous Process Models. Daniel S. Weld |
| 1985 | Computational Neurolinguistics - What Is It All About? Helen M. Gigley |
| 1985 | Computer Assisted Reasoning with MIZAR. Andrzej Trybulec, Howard A. Blair |
| 1985 | Computer Representation of the Law. Robert A. Kowalski, Marek J. Sergot |
| 1985 | Computing Circumscription. Vladimir Lifschitz |
| 1985 | Concurrency in Proof Normalization and Logic Programming. Shigeki Goto |
| 1985 | Constitutional Law and Artificial Intelligence: The Potential Legal Recognition of Computers as "Persons". Marshal S. Willick |
| 1985 | Control Issues in Classificatory Diagnosis. Jon Sticklen, B. Chandrasekaran, John R. Josephson |
| 1985 | Control and Integration of Diverse Knowledge in a Diagnostic Expert System. Pamela K. Fink |
| 1985 | Controlling Production Firing: The FCL Language. Leonard Friedman |
| 1985 | Controlling Search in Flexible Parsing. Steven Minton, Philip J. Hayes, Jill Fain |
| 1985 | Counterfactuals. Matthew L. Ginsberg |
| 1985 | DP-matching: With or Without Phonemes? Shigeyoshi Kitazawa, Masa-aki Ishikawa, Shuji Doshita |
| 1985 | Daydreaming in Humans and Computers. Erik T. Mueller, Michael G. Dyer |
| 1985 | Deadlines, Travel Time, and Robot Problem Solving. David P. Miller, R. James Firby, Thomas Dean |
| 1985 | Deals Among Rational Agents. Jeffrey S. Rosenschein, Michael R. Genesereth |
| 1985 | Description-directed Natural Language Generation. David D. McDonald, James Pustejovsky |
| 1985 | Designing Examples for Semantically Guided Hierarchical Deduction. Tie-Cheng Wang |
| 1985 | Determining 3-D Motion of Planar Objects from Image Brightness Patterns. Shahriar Negahdaripour, Berthold K. P. Horn |
| 1985 | Determining Object Attitude from Extended Gaussian Images. James J. Little |
| 1985 | Discourse Structure and the Proper Treatment of Interruptions. Barbara J. Grosz, Candace L. Sidner |
| 1985 | Discovering the Wave Theory of Sound: Inductive Inference in the Context of Problem Solving. Paul Thagard, Keith J. Holyoak |
| 1985 | Discovery and Reasoning in Mathematics. Alan Bundy |
| 1985 | Does Probability Have a Place in Non-monotonic Reasoning? Matthew L. Ginsberg |
| 1985 | Dynamic Student Modelling in an Intelligent Tutor for LISP Programming. Brian J. Reiser, John R. Anderson, Robert G. Farrell |
| 1985 | Dynamic System Control Using Rule Learning and Genetic Algorithms. David E. Goldberg |
| 1985 | EGS: A Transformational Approach to Automatic Example Generation. Myung W. Kim |
| 1985 | Empirical and Model-based Reasoning in Expert Systems. Phyllis Koton |
| 1985 | Empowering Automatic Decision-Making Systems: General Intelligence, Responsibility, and Moral Sensibility. Henry S. Thompson |
| 1985 | Evaluating Importance: A Step Towards Text Summarization. Danilo Fum, Giovanni Guida, Carlo Tasso |
| 1985 | Evaluating Queries in Deductive Databases by Generating. Eliezer L. Lozinskii |
| 1985 | Event Calculus. Gary C. Borchardt |
| 1985 | Evidential Reasoning in Semantic Networks: A Formal Theory. Lokendra Shastri, Jerome A. Feldman |
| 1985 | Expert Systems: How Far Can They Go? Terry Winograd, Randall Davis, Stuart Dreyfus, Brian Cantwell Smith |
| 1985 | Explainable (and Maintainable) Expert Systems. Robert Neches, William R. Swartout, Johanna D. Moore |
| 1985 | Fault Diagnosis Through Responsibility. Robert Milne |
| 1985 | Fifth Generation Computer Crime Law. Jay Bloom Becker |
| 1985 | First Results in Robot Road-Following. Richard S. Wallace, Anthony Stentz, Charles E. Thorpe, Hans P. Moravec, William Whittaker, Takeo Kanade |
| 1985 | Flexible Data Fusion (and Fission). Alexander S. Yeh |
| 1985 | Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness. Thomas Ellman |
| 1985 | Generating Rules from Examples. Bijan Arbab, Donald Michie |
| 1985 | Grammars as User Models. Ethel Schuster |
| 1985 | Grammatical Functions, Discourse, Referents, and Quantification. Uwe Reyle |
| 1985 | Grammatical Relations as the Basis for Natural Language Parsing and Text Understanding. Samuel Bayer, Leonard Joseph, Candace E. Kalish |
| 1985 | Granularity. Jerry R. Hobbs |
| 1985 | Heuristic and Formal Methods in Automatic Program Debugging. William R. Murray |
| 1985 | Heuristics for Inductive Learning. Steven Salzberg |
| 1985 | How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization. Jacqueline Castaing |
| 1985 | In Defense of Probability. Peter C. Cheeseman |
| 1985 | Incorporating Generalization Heuristics into Verification of Prolog Programs. Hirohisa Seki |
| 1985 | Increasing Coherence in a Distributed Problem-Solving Network. Edmund H. Durfee, Victor R. Lesser, Daniel D. Corkill |
| 1985 | Information Acquisition in Minimal Window Search. Alexander Reinefeld, Jonathan Schaeffer, T. Anthony Marsland |
| 1985 | Input-Expectation Discrepancy Reduction: A Ubiquitous Mechanism. Derek Partridge |
| 1985 | Integrating Text Planning and Production in Generation. Eduard H. Hovy |
| 1985 | Interpreting Descriptions in a Prolog-based Knowledge Representation System. Randy Goebel |
| 1985 | Iterative-Deepening-A*: An Optimal Admissible Tree Search. Richard E. Korf |
| 1985 | Judgement, Policy, and the Harmony Machine. John Fox |
| 1985 | Judgmental Reasoning for Expert Systems. Tim Niblett |
| 1985 | Knowledge Acquisition for Constructive Systems. Sandra Marcus, John P. McDermott, Tianran Wang |
| 1985 | Knowledge Representation in an Expert Storm Forecasting System. Renee Elio, Johannes de Haan |
| 1985 | LEAP: A Learning Apprentice for VLSI Design. Tom M. Mitchell, Sridhar Mahadevan, Louis I. Steinberg |
| 1985 | LandScan: A Natural Language and Computer Vision System for Analyzing Aerial Images. Ruzena Bajcsy, Aravind K. Joshi, Eric Krotkov, Amy E. Zwarico |
| 1985 | Learning Concept Descriptions from Examples with Errors. Jakub Segen |
| 1985 | Learning Disjunction of Conjunctions. Leslie G. Valiant |
| 1985 | Learning Hidden Causes from Empirical Data. Judea Pearl |
| 1985 | Learning Intermediate Concepts in Constructing a Hierarchical Knowledge Base. LiMin Fu, Bruce G. Buchanan |
| 1985 | Learning Planning Heuristics through Observation. Charles P. Dolan, Michael G. Dyer |
| 1985 | Learning Procedures from Examples and by Doing. David M. Neves |
| 1985 | Learning Schemata for Natural Language Processing. Raymond J. Mooney, Gerald DeJong |
| 1985 | Learning Shape Descriptions. Jonathan Connell, Michael Brady |
| 1985 | Learning about Momentum Conservation. Jude W. Shavlik |
| 1985 | Learning by Discovering Macros in Puzzle Solving. Glenn A. Iba |
| 1985 | Learning to Understand Contractual Situations. Seth R. Goldman, Michael G. Dyer, Margot Flowers |
| 1985 | Lexical Ambiguity as a Touchstone for Theories of Language Analysis. Lawrence Birnbaum |
| 1985 | MORE: An Intelligent Knowledge Acquisition Tool. Gary S. Kahn, Steven J. Nowlan, John P. McDermott |
| 1985 | Modal Propositional Semantics for Reason Maintenance Systems. Allen L. Brown Jr. |
| 1985 | Model Expert System MES. Jiwen Guan, Xu Ying, Chang Minche, Zhao Jizhi |
| 1985 | Motor Knowledge Representation. Giuseppe Marino, Pietro Morasso, Renato Zaccaria |
| 1985 | Multi-Objective Learning via Genetic Algorithms. J. David Schaffer, John J. Grefenstette |
| 1985 | NON-VONs Applicability to Three AI Task Areas. David Elliot Shaw |
| 1985 | Naive Kinematics: One Aspect of Shape. Yoav Shoham |
| 1985 | Neat Explanation of Proof Trees. Agneta Eriksson, Anna-Lena Johansson |
| 1985 | New Approaches to Parsing Conjunctions Using Prolog. Sandiway Fong, Robert C. Berwick |
| 1985 | Nonlinear Planning: A Rigorous Reconstruction. David Chapman |
| 1985 | ONYX: An Architecture for Planning in Uncertain Environments. Curtis P. Langlotz, Lawrence M. Fagan, Samson W. Tu, John Williams, Branimir Sikic |
| 1985 | Object Recognition Using Vision and Touch. Peter K. Allen, Ruzena Bajcsy |
| 1985 | On Using Causal Knowledge to Recognize Vital Signals: Knowledge-based Interpretation of Arrhythmias. Tetsutaro Shibahara |
| 1985 | On the Comparison of Theories: Preferring the Most Specific Explanation. David Poole |
| 1985 | On the Descriptional Complexity of Production Systems. Peter Trum |
| 1985 | On the Solution of Schubert's Steamroller in Many-Sorted Logic. Anthony G. Cohn |
| 1985 | On the Use of a Taxonomy of Time-Frequency Morphologies for Automatic Speech Recognition. Renato De Mori, Mathew J. Palakal |
| 1985 | One-Eyed Stereo: A General Approach to Modeling 3-D Scene Geometry. Thomas M. Strat, Martin A. Fischler |
| 1985 | Optical Navigation by the Method of Differences. Bruce D. Lucas, Takeo Kanade |
| 1985 | Parallel Formulation of Evidential-Reasoning Theories. Terence R. Thompson |
| 1985 | Parallel Processing of Resolution. Takahira Yamaguchi, Yoshikazu Tezuka, Osamu Kakusho |
| 1985 | Parallelism in AI Programs. Dennis F. Kibler, John S. Conery |
| 1985 | Parallelism in Inheritance Hierarchies with Exceptions. Garrison W. Cottrell |
| 1985 | Parsing Circuit Topology in a Deductive System. Takushi Tanaka |
| 1985 | Parsing with Assertion Sets and Information Monotonicity. G. Edward Barton Jr., Robert C. Berwick |
| 1985 | Partial Constraints in Chinese Analysis. Yiming Yang, Shuji Doshita, Toyoaki Nishida |
| 1985 | Path Resolution with Link Deletion. Neil V. Murray, Erik Rosenthal |
| 1985 | Predictor: An Alternative Approach to Uncertain Inference in Expert Systems. Allan P. White |
| 1985 | Problem-solving Strategies in a Music Transcription System. Bernard Mont-Reynaud |
| 1985 | Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, CA, USA, August 1985 Aravind K. Joshi |
| 1985 | Prolog Control Rules. Lee Naish |
| 1985 | Prolog Extensions Based on Tableau Calculus. Wolfgang Schönfeld |
| 1985 | Prolog-ELF Incorporating Fuzzy Logic. Mitsuru Ishizuka, Naoki Kanai |
| 1985 | Proportionality Graphs, Units Analysis, and Domain Constraints: Improving the Power and Efficiency of the Scientific Discovery Process. Brian Falkenhainer |
| 1985 | Qualitative Mathematical Reasoning. Elisha Sacks |
| 1985 | RHINOS: A Consultation System for Diagnoses of Headache and Facial Pain. Michio Kimura, Yasushi Matsumura, Takashi Matsunaga, Ryuji Hata, Hiroshi Matsumura |
| 1985 | Raising the Standards of AI Products. Alan Bundy, Richard Clutterbuck |
| 1985 | Reasoned Assumptions and Pareto Optimality. Jon Doyle |
| 1985 | Reasoning by Cases and the Formation of Conditional Programs. Douglas R. Smith |
| 1985 | Reasoning with Uncertainty for Expert Systems. Ronald R. Yager |
| 1985 | Recognition Algorithms for the Connection Machine. Anita M. Flynn, John G. Harris |
| 1985 | Refining and Extending the Procedural Net. Mark Drummond |
| 1985 | Representation and Use of Explicit Justifications for Knowledge Base Refinements. Reid G. Smith, Howard A. Winston, Tom M. Mitchell, Bruce G. Buchanan |
| 1985 | Representing Procedural Knowledge in Expert Systems: An Application to Process Control. Massimo Gallanti, Giovanni Guida, Luca Spampinato, Alberto Stefanini |
| 1985 | Researcher: An Experimental Intelligent Information System. Michael Lebowitz |
| 1985 | Responsible Computers? Yorick Wilks |
| 1985 | Results on Translating Defaults to Circumscription. Tomasz Imielinski |
| 1985 | Retrospective Zooming: A Knowledge Based Tracking and Debugging Methodology for Logic Programming. Marc Eisenstadt |
| 1985 | Reversible Automata and Induction of the English Auxiliary System. Robert C. Berwick, Samuel F. Pilato |
| 1985 | SAPHIR + RESEDA: A New Approach to Intelligent Data Base Access. Bernard Euzenat, Bernard Normier, Antoine Ogonowski, Gian Piero Zarri |
| 1985 | SEEK2: A Generalized Approach to Automatic Knowledge Base Refinement. Allen Ginsberg, Sholom M. Weiss, Peter Politakis |
| 1985 | SIGMA: A Framework for Image Understanding - Integration of Bottom-Up and Top-Down Analysis. Takashi Matsuyama, Vincent Shang-Shouq Hwang |
| 1985 | SPAN: Integrating Problem-Solving Tactics. Daniel L. S. Berlin |
| 1985 | Selectively Generalizing Plans for Problem-Solving. Steven Minton |
| 1985 | Self-Knowledge and Self-Representation. John Perry |
| 1985 | Shallow Planning and Recovery Planning Based on the Vertical Decomposition of the Flight Domain. David C. Chen |
| 1985 | Shape Recognition and Illusory Conjunctions. Geoffrey E. Hinton, Kevin J. Lang |
| 1985 | Shape and Source from Shading. Michael J. Brooks, Berthold K. P. Horn |
| 1985 | Shape from Texture. John Aliomonos, Michael J. Swain |
| 1985 | Spatial Object Perception from an Image. Radu Horaud |
| 1985 | Spectral Continuity and Eye Vergence Movement. Lance R. Williams |
| 1985 | Specular Stereo. Andrew Blake |
| 1985 | Splicing Plans to Achieve Misordered Goals. Stephen A. Vere |
| 1985 | Stereo by Two-Level Dynamic Programming. Yuichi Ohta, Takeo Kanade |
| 1985 | Structure from Motion Without Correspondence: General Principle. Ken-ichi Kanatani |
| 1985 | Substantial Constructive Induction Using Layered Information Compression: Tractable Feature Formation in Search. Larry A. Rendell |
| 1985 | Syllogistic Reasoning as a Basis for Combination of Evidence in Expert Systems. Lotfi A. Zadeh |
| 1985 | Symbolic Execution in Algorithm Design. David M. Steier, Elaine Kant |
| 1985 | Symbols Among the Neurons: Details of a Connectionist Inference Architecture. David S. Touretzky, Geoffrey E. Hinton |
| 1985 | Syntax, Preference, and Right Attachment. Yorick Wilks, Xiuming Huang, Dan Fass |
| 1985 | Synthesis by Completion. Nachum Dershowitz |
| 1985 | Tailoring Explanations for the User. Kathleen R. McKeown, Myron Wish, Kevin Matthews |
| 1985 | Taking Advantage of Stable Sets of Variables in Constraint Satisfaction Problems. Eugene C. Freuder, Michael J. Quinn |
| 1985 | Taxonomic Reasoning. Josh D. Tenenberg |
| 1985 | Temporal Reasoning Involving Counterfactuals and Disjunctions. Thomas Dean |
| 1985 | Temporal Scope of Assertions and Window Cutoff. Steven Vere |
| 1985 | Tense, Aspect, and Cognitive Representation of Time. Kenneth Man-kam Yip |
| 1985 | Term Description: A Simple Powerful Extension to Prolog Data Structures. Hideyuki Nakashima |
| 1985 | Terrain Navigation Through Knowledge-based Route Planning. John F. Gilmore, Antonio C. Semeco |
| 1985 | The Anatomy of Easy Problems: A Constraint-Satisfaction Formulation. Rina Dechter, Judea Pearl |
| 1985 | The Architecture of the FAIM-1 Symbolic Multiprocessing System. Alan L. Davis, Shane V. Robison |
| 1985 | The Characteristic Error Approach to Conflict Resolution. Richard D. Ferrante |
| 1985 | The Complexity of Searching Several Classes of AND/OR Graphs. Howard E. Motteler, Laveen N. Kanal |
| 1985 | The Geometry Tutor. John R. Anderson, C. Franklin Boyle, Gregg Yost |
| 1985 | The Intelligent Channel: A Scheme for Result Sharing in Logic Programs. Simon Kasif, Jack Minker |
| 1985 | The Layered Architecture of a System for Reasoning about Programs. Charles Rich |
| 1985 | The Limits of Qualitative Simulation. Benjamin Kuipers |
| 1985 | The Management of Heuristic Search in Boolean Experiments with Rue Resolution. Vincent J. Digricoli |
| 1985 | The Origin of the Binary-Search Paradigm. Zohar Manna, Richard J. Waldinger |
| 1985 | The Restricted Language Architecture of a Hybrid Representation System. Marc B. Vilain |
| 1985 | The Role of Perspective in Responding to Property Misconceptions. Kathleen F. McCoy |
| 1985 | The Teachable Letter Recognizer. James Geller |
| 1985 | The US and Japan Cooperative AI Research and Development. Howard E. Jacobson |
| 1985 | The Use of Multiple Problem Decompositions in Time Constrained Planning Tasks. Stephen F. Smith, Peng Si Ow |
| 1985 | The Utility of Expert Knowledge. Jonathan Schaeffer, T. Anthony Marsland |
| 1985 | Towards a Model of Conceptual Knowledge Acquisition Through Directed Experimentation. Shankar A. Rajamoney, Gerald DeJong, Boi Faltings |
| 1985 | Training and Tracking in Robotics. Oliver G. Selfridge, Richard S. Sutton, Andrew G. Barto |
| 1985 | Transactional Blackboards. J. Robert Ensor, John D. Gabbe |
| 1985 | Transformational Form Perception in 3D: Constraints, Algorithms, Implementation. Dana H. Ballard, Hiromi Tanaka |
| 1985 | Two Results on Default Logic. Witold Lukaszewicz |
| 1985 | Type Inference in Prolog and Its Application. Tadashi Kanamori, Kenji Horiuchi |
| 1985 | Uncertainty Management in a Distributed Knowledge Based System. Naseem A. Khan, Ramesh C. Jain |
| 1985 | Understanding Analogies in Editorials. Stephanie E. August, Michael G. Dyer |
| 1985 | Understanding Behavior Using Consolidation. Tom Bylander, B. Chandrasekaran |
| 1985 | Understanding and Automating Algorithm Design. Elaine Kant |
| 1985 | Unique Recovery of Motion and Optic Flow via Lie Algebras. A. Peter Blicher, Stephen M. Omohundro |
| 1985 | Unrestricted Gapping Grammars. Fred Popowich |
| 1985 | User Modelling. Derek H. Sleeman, Douglas E. Appelt, Kurt Konolige, Elaine Rich, N. S. Sridharan, William R. Swartout |
| 1985 | Using Discrimination Graphs to Represent Visual Interpretations that are Hypothetical and Ambiguous. Jan A. Mulder |
| 1985 | Using Model Theory to Specify AI Programs. Alan M. Frisch |
| 1985 | Using Situation Descriptions and Russellian Attitudes for Representing Beliefs and Wants. Alfred Kobsa |
| 1985 | Utilization of a Stripe Pattern for Dynamic Scene Analysis. Minoru Asada, Saburo Tsuji |
| 1985 | VOX - An Extensible Natural Language Processor. Amnon Meyers |
| 1985 | Validating Concepts from Automated Acquisition Systems. Albrecht Heeffer |
| 1985 | Verification-based Learning: A Generalized Strategy for Inferring Problem-Reduction Methods. Sridhar Mahadevan |
| 1985 | Virtual Lateral Inhibition in Parallel Activation Models of Associative Memory. James A. Reggia |
| 1985 | Visual Recognition from Spatial Correspondence and Perceptual Organization. David G. Lowe |
| 1985 | Weighted Interaction of Syntax and Semantics in Natural Language Analysis. Leonardo Lesmo, Pietro Torasso |
| 1985 | What Enables a Machine to Understand? Aaron Sloman |
| 1985 | What's in a Mental Model? On Conceptual Models in Reasoning with Spatial Descriptions. Göran Hagert |
| 1985 | Yes, An SIMD Machine Can Be Used for AI. Ruven E. Brooks, Rosalyn Lum |