| 1980 | A Basis for a Theory of Program Synthesis. P. A. Subrahmanyam |
| 1980 | A Computer Model of Child Language Learning. Mallory Selfridge |
| 1980 | A Frame-Based Production System Architecture. David E. Smith, Jan E. Clayton |
| 1980 | A Knowledge Based Design System for Digital Electronics. Milton R. Grinberg |
| 1980 | A Planner for Reasoning about Knowledge and Action. Douglas E. Appelt |
| 1980 | A Process for Evaluating Tree-Consistency. John L. Goodson |
| 1980 | A Program Model and Knowledge Base for Computer Aided Program Synthesis. Richard J. Wood |
| 1980 | A Representation Language Language. Russell Greiner, Douglas B. Lenat |
| 1980 | A Statistical Technique for Recovering Surface Orientation from Texture in Natural Imagery. Andrew P. Witkin |
| 1980 | A Technique for Establishing Completeness Results in Theorem Proving with Equality. Gerald E. Peterson |
| 1980 | A Theory of Metric Spatial Inference. Drew V. McDermott |
| 1980 | A Word-Finding Algorithm with a Dynamic Lexical-Semantic Memory for Patients with Anomia Using a Speech Prosthesis. Kenneth Mark Colby, Daniel Christinaz, Santiago Graham, Roger C. Parkison |
| 1980 | An Application of the Prospector System to DOE's National Uranium Resource Evaluation. John Gaschnig |
| 1980 | An Approach to Acquiring and Applying Knowledge. Norman Haas, Gary G. Hendrix |
| 1980 | An Efficient Relevance Criterion for Mechanical Theorem Proving. David A. Plaisted |
| 1980 | An Optimisation Approach for Using Contextual Information in Conputer Vision. Olivier D. Faugeras |
| 1980 | Applying General Induction Methods to the Card Game Eleusis. Thomas G. Dietterich |
| 1980 | Approaches to Knowledge Acquisition: The Instructable Production System Project. Michael D. Rychener |
| 1980 | Automated Inspection Using Gray-Scale Statistics. Stephen T. Barnard |
| 1980 | Automatic Generation of Semantic Attachments in FOL. Luigia Carlucci Aiello |
| 1980 | Automatic Goal-Directed Program Transformation. Stephen Fickas |
| 1980 | Bootstrap Stereo. Marsha Jo Hannah |
| 1980 | Computer Interpretation of Human Stick Figures. Martin Herman |
| 1980 | Constraint-Based Inference from Image Motion. Daryl T. Lawton |
| 1980 | DELTA-MIN: A Search-Control Method for Information-Gathering Problems. Jaime G. Carbonell |
| 1980 | Descriptions for a Programming Environment. Ira P. Goldstein, Daniel G. Bobrow |
| 1980 | Design Sketch for a Million-Element NETL Machine. Scott E. Fahlman |
| 1980 | Everything You Always Wanted to Know About Authority Structures But Were Unable to Represent. James R. Meehan |
| 1980 | Exploiting a Domain Model in an Expert Spectral Analysis Program. David R. Barstow |
| 1980 | Failures in Natural Language Systems: Applications to Data Base Query Systems. Eric Mays |
| 1980 | First Experiments with Rue Automated Deduction. Vincent J. Digricoli |
| 1980 | Generating Relevant Explanations: Natural Language Responses to Questions about Database Structure. Kathleen R. McKeown |
| 1980 | HCPRVR: An Interpreter for Logic Programs. Daniel L. Chester |
| 1980 | HEARSAY-II: A Domain-Independent Framework for Expert Systems. Robert Balzer, Lee D. Erman, Philip London, Chuck Williams |
| 1980 | Human Movement Understanding: A Variety of Perspectives. Norman I. Badler, Joseph O'Rourke, Stephen Platt, Mary A. Morris |
| 1980 | Incremental, Informal Program Acquisition. Brian P. McCune |
| 1980 | Inference with Recursive Rules. Stuart C. Shapiro, Donald P. McKay |
| 1980 | Information Needed to Label a Scene. Eugene C. Freuder |
| 1980 | Intelligent Retrieval Planning. Jonathan J. King |
| 1980 | Interactive Frame Instantiation. Carl Engelman, Ethan A. Scarl, Charles H. Berg |
| 1980 | Interference Detection and Collision Avoidance Among Three Dimensional Objects. Narendra Ahuja, Robert T. Chien, R. Yen, N. Bridwell |
| 1980 | Interpreting Line Drawings as Three-Dimensional Surfaces. Harry G. Barrow, Jay M. Tenenbaum |
| 1980 | Interpretive Vision and Restriction Graphs. Rodney A. Brooks, Thomas O. Binford |
| 1980 | Knowledge Embedding in the Description System Omega. Carl Hewitt, Giuseppe Attardi, Maria Simi |
| 1980 | Knowledge Representation for Syntactic/Semantic Processing. Robert J. Bobrow, Bonnie L. Webber |
| 1980 | Knowledge-Based Simulation. Philip Klahr, William S. Faught |
| 1980 | Language and Memory: Generalization as a Part of Understanding. Michael Lebowitz |
| 1980 | Locating Partially Visible Objects: The Local Feature Focus Method. Robert C. Bolles |
| 1980 | Making Judgments. Hans J. Berliner |
| 1980 | Mapping Image Properties into Shape Constraints: Skewed Symmetry and Affine-Tramsfornable Patterns, and the Shape-from-Texture Paradigm. John R. Kender, Takeo Kanade |
| 1980 | Max-Mim Chaining of Weighted Causal Assertions is Loop Free. S. W. Ng, Adrian Walker |
| 1980 | Meta-Planning. Robert Wilensky |
| 1980 | Metaphors and Models. Michael R. Genesereth |
| 1980 | Modelling Student Acquisition of Problem-Solving Skills. Robert Smith |
| 1980 | Multiple-Agent Planning Systems. Kurt Konolige, Nils J. Nilsson |
| 1980 | Narrative Text Summarization. Wendy G. Lehnert |
| 1980 | On Proving Laws of the Algebra of FP-Systems in Edinburgh LCF. Jacek Leszczylowski |
| 1980 | On Supporting the Use of Procedures in Office Work. Richard Fikes, D. Austin Henderson Jr. |
| 1980 | On Waiting. Arthur M. Farley |
| 1980 | Organizing Memory and Keeping it Organized. Janet L. Kolodner |
| 1980 | Overview of an Example Generation System. Edwina L. Rissland, Elliot Soloway |
| 1980 | Pathology on Game Trees: A Summary of Results. Dana S. Nau |
| 1980 | Perceptual Reasoning in a Hostile Environment. Thomas D. Garvey, Martin A. Fischler |
| 1980 | Performing Inferences over Recursive Data Bases. Shamim A. Naqvi, Lawrence J. Henschen |
| 1980 | Piaget and Artificial Intelligence. Jarrett Rosenberg |
| 1980 | Problem Solving in Frame-Structured Systems Using Interactive Dialog. Harry C. Reinstein |
| 1980 | Proceedings of the 1st Annual National Conference on Artificial Intelligence, Stanford University, CA, USA, August 18-21, 1980. Robert Balzer |
| 1980 | Project EPISTLE: A System for the Automatic Analysis of Business Correspondence. Lance A. Miller |
| 1980 | Quantifyimg and Simulating the Behavior of Knowledge-Based Interpretation Systems. Victor R. Lesser, S. Reed, Jasmina Pavlin |
| 1980 | Question Ordering in a Mixed Intiative Program Specification Dialogue. Louis I. Steinberg |
| 1980 | RI: an Expert in the Computer Systems Domain. John P. McDermott |
| 1980 | Real Time Causal Monitors for Complex Physical Sites. Chuck Rieger, Craig Stanfill |
| 1980 | Reasoning about Change in Knowledgeable Office Systems. Gerald R. Barber |
| 1980 | Representation of Control Knowledge in Expert Systems. Janice S. Aikins |
| 1980 | Representation of Task-Specific Knowledge in a Gracefully Interacting User Interface. Eugene Ball, Philip J. Hayes |
| 1980 | Representing Knowledge in an Interactive Planner. Ann E. Robinson, David E. Wilkins |
| 1980 | Research on Expert Problem Solving in Physics. Gordon S. Novak, Agustin A. Araya |
| 1980 | Rule-Based Inference in Large Knowledge Bases. William Mark |
| 1980 | Rule-Based Models of Legal Expertise. Donald A. Waterman, Mark Peterson |
| 1980 | SCOUT: A Simple Game-Searching Algorithm with Proven Optimal Properties. Judea Pearl |
| 1980 | Self-Correcting Generalization. Stephen B. Whitehill |
| 1980 | Shape Encoding and Subjective Contours. Mike Brady, W. Eric L. Grimson, D. J. Langridge |
| 1980 | Some Algorithm Design Methods. Steve Tappel |
| 1980 | Some Requirements for a Computer-Based Legal Consultant. L. Thorne McCarty |
| 1980 | Spatial and Qualitative Aspects of Reasoning about Motion. Kenneth D. Forbus |
| 1980 | Static Analysis of Moving Jointed Objects. Jon A. Webb |
| 1980 | Sticks, Plates, and Blobs: A Three-Dimensional Object Representation for Scene Analysis. Linda G. Shapiro, John D. Moriarty, Prasanna G. Mulgaonkar, Robert M. Haralick |
| 1980 | Structure Comparison and Semantic Interpretation of Differences. Wellington Yu Chiu |
| 1980 | The Semantic Interpretation of Nominal Compounds. Timothy W. Finin |
| 1980 | Theory Directed Reading Diagnosis Research Using Computer Simulation. Christian C. Wagner, John F. Vinsonhaler |
| 1980 | Towards an AI Model of Argumentation. Lawrence Birnbaum, Margot Flowers, Rod McGuire |
| 1980 | Trouble-Shooting by Plausible Inference. Leonard Friedman |
| 1980 | Using a Matcher to Make an Expert Consultation System Behave Intelligently. René Reboh |
| 1980 | What Should be Computed in Low Level Vision Systems. William B. Thompson, Albert Yonas |
| 1980 | What's Wrong with Non-Monotonic Logic? David J. Israel |
| 1980 | When Expectation Fails: Towards a Self-Correcting Inference System. Richard H. Granger |