| 1977 | A 'Recognition Cone' Perceptual System: Brief Test Results. Leonard Uhr, Robert J. Douglass |
| 1977 | A Comparsion of Three Problem-Solving Methods. Ranan B. Banerji, George W. Ernst |
| 1977 | A Comprehension Model for Human Dialogue. William C. Mann, James A. Moore, James A. Levin |
| 1977 | A Computer System for Visual Recognition Using Active Knowledge. Eugene C. Freuder |
| 1977 | A Conceptual Theory of Question Answering. Wendy G. Lehnert |
| 1977 | A Cooperative Algorithm for Determining Surface Orientation from a Single View. Robert J. Woodham |
| 1977 | A Deductive Question Answering System on Relational Data Bases. Koichi Furukawa |
| 1977 | A Digitalis Therapy Advisor with Explanations. William R. Swartout |
| 1977 | A Display Oriented Programmer's Assistant. Warren Teitelman |
| 1977 | A General Backtrack Algorithm That Eliminates Most Redundant Tests. John Gaschnig |
| 1977 | A Hierarchical Approach to Theorem-Proving. Malcolm C. Harrison |
| 1977 | A Knowledge-Based System for Automatic Program Construction. David R. Barstow |
| 1977 | A Lemma Driven Automatic Theorem Prover for Recursive Function Theory. Robert S. Boyer, J Strother Moore |
| 1977 | A Mechanized Proof Procedure for Free Intensional Logics. Raymond D. Gumb |
| 1977 | A Methodology for Real Time Scene Analysis. David C. Hogg |
| 1977 | A Model for Learning Systems. Reid G. Smith, Tom M. Mitchell, R. A. Chestek, Bruce G. Buchanan |
| 1977 | A Model for Motor Control and Learning. Marc H. Raibert |
| 1977 | A Model-Based Consultation System for the Long-Term Management of Glaucoma. Sholom M. Weiss, Casimir A. Kulikowski, Aran Safir |
| 1977 | A Network-Based Knowledge Representation and Its Natural Deduction System. Richard Fikes, Gary G. Hendrix |
| 1977 | A Note on Representing Adjectives and Adverbs. Nick Cercone |
| 1977 | A Practical Manipulator System. B. Dobrotin, R. A. Lewis |
| 1977 | A Procedural Model of Recognition. William S. Havens |
| 1977 | A Proof-Checker for Dynamic Logic. Steven D. Litvintchouk, Vaughan R. Pratt |
| 1977 | A Random Access Picture Digitizer, Display, and Memory System. R. Eskenazi, R. Cunningham |
| 1977 | A Retrospective View of the Hearsay-II Architecture. Victor R. Lesser, Lee D. Erman |
| 1977 | A Scanning Laser Rangefinder for a Robotic Vechicle. R. A. Lewis, A. R. Johnston |
| 1977 | A Simple Model for Handwriting. John M. Hollerbach |
| 1977 | A Simplified Heuristic Version of Raviv's Algorithm for Using Context in Text Recognition. R. Schinghal, D. Rosenberg, Godfried T. Toussaint |
| 1977 | A State Logic for the Representation of Natural Language Based Intelligent Systems. Camilla Schwind |
| 1977 | A Stereo Vision System for an Autonomous Vehicle. Donald B. Gennery |
| 1977 | A Structure for the Representation of Knowledge: A Proposal for a Micro-Actor. Hitoshi Ogawa, Kokichi Tanaka |
| 1977 | A Summary of the PSI Program Synthesis System. C. Green |
| 1977 | A System Which Allows Students to Explore Algorithms. Derek H. Sleeman |
| 1977 | A System for Stereo Computer Vision with Geometric Models. D. J. Burr, Robert T. Chien |
| 1977 | A System of Programs for Computer-Aided Induction: A Summary. Ryszard S. Michalski |
| 1977 | A Theorem Prover for Elementary Set Theory. Frank M. Brown |
| 1977 | A Theory for the Complete Mechanization of a GPS-Type Problem Solver. Ranan B. Banerji, George W. Ernst |
| 1977 | A Two-dimensional Trim-Loss Problem with Sequencing Constraints. Anthony I. Hinxman |
| 1977 | A Variable Capacitance Touch Sensor. C. C. Geschke |
| 1977 | AI and Pattern Recognition. Azriel Rosenfeld, Jerome A. Feldman, Laveen N. Kanal, Patrick H. Winston |
| 1977 | Advantages of a Transformational Grammar for Question Answering. Fred Damerau |
| 1977 | An Algorithm for Reasoning About Equality. Robert E. Shostak |
| 1977 | An Antibiotic Therapy Selector which Provides for Explanations. William J. Clancey |
| 1977 | An Approach to Knowledge-Directed Image Analysis. Dana H. Ballard, Christopher M. Brown, Jay M. Feldman |
| 1977 | An Automated Consultant for MACSYMA. Michael R. Genesereth |
| 1977 | An Automatic Position Recognition Technique for LSI Assembly. Michihiro Mese, Takafumi Miyatake, Seiji Kashioka, Masakazu Ejiri, Isamu Yamazaki, Toshimitsu Hamada |
| 1977 | An Intelligent Information System for Criminal Case Management in the Federal Courts. Jack R. Buchanan, Richard D. Fennell |
| 1977 | An Interactive Program for Conversational Elecitation of Decision Structures. Antonio Leal, Judea Pearl |
| 1977 | An Overview of a Procedural Approach to Semantic Networks. Hector J. Levesque, John Mylopoulos |
| 1977 | Analogical Reasoning in Problem Solving. D. T. Chen, N. Finder |
| 1977 | Analysing Sequences of TV-Frames. Hans-Hellmut Nagel |
| 1977 | Analysis of an Extended Concept-Learning Task. Richard M. Young, Gordon D. Plotkin, R. F. Linz |
| 1977 | Anaphora and Logical Form: On Formal Meaning Representations for Natural Language. Bonnie Nash-Webber, Raymond Reiter |
| 1977 | Annotated Production Systems: A Model for Skill Acquisition. Ira P. Goldstein, Eric Grimson |
| 1977 | Application of Fuzzy Heuristic Techniques to Computer Network Design. S. I. Samolylenko |
| 1977 | Applications of Artificial Intelligence. Saul Amarel, John Seely Brown, Bruce G. Buchanan, Peter E. Hart, Casimir A. Kulikowski, William A. Martin, Harry E. Pople |
| 1977 | Approximate Responses from a Data Base Query System: An Application of Inferencing in Natural Language. Aravind K. Joshi, S. Jerrold Kaplan, R. M. Lee |
| 1977 | Artificial Intelligence Systems That Understand. Herbert A. Simon |
| 1977 | Artificial Intelligence in Western Europe. Jacques Pitrat, Erik Sandewall, Wolfgang Bibel, Gérard P. Huet, Hans-Hellmut Nagel, M. Somalivco |
| 1977 | Augmenting ATNS. Timothy W. Finin, George D. Hadden |
| 1977 | Automated Theory Formation in Mathematics. Douglas B. Lenat |
| 1977 | Automatic Abstracting of Textual Material. Stephen L. Taylor, Gilbert K. Krulee, Lawrence J. Henschen |
| 1977 | Automatic Program Annotation. Nachum Dershowitz |
| 1977 | Automatic Rib Detection in Chest Radiographs. C. M. Brace, J. H. Kulick, T. W. Challis |
| 1977 | Autonomous Guidance and Control of a Roving Robot. J. A. Miller |
| 1977 | BACON: A Production System That Discovers Empirical Laws. Pat Langley |
| 1977 | Between Regions and Objects - Surfaces and Volumes. Kurt Konolige, Bryant W. York, Allen R. Hanson, Edward M. Riseman |
| 1977 | COMEX: A Commodities Support System. J. Stansfield |
| 1977 | Can Domain Specific Knowledge Be Generalized? Alan Bundy |
| 1977 | Change Detection and Analysis in Multispectral Images. Keith Price, Raj Reddy |
| 1977 | Coherence and Interpretation in English Texts. Jerry R. Hobbs |
| 1977 | Collision Detection and Avoidance in Computer Controlled Manipulators. S. M. Udupa |
| 1977 | Computation of Immediate Texture Discrimination. Bruce R. Schatz |
| 1977 | Computer Game Playing. Hans J. Berliner, Richard Greenblatt, Jacques Pitrat, Arthur Samuel, David J. Slate |
| 1977 | Computer Interpretation of PEANUTS Cartoons. M. R. Adler |
| 1977 | Computer Understanding of Mathematical Proofs. Vesko Marinov |
| 1977 | Computers and Thought Lecture: The Ubiquity of Discovery. Douglas B. Lenat |
| 1977 | Concept Decomposition as a Method of Concept Formation. Edwin Towster |
| 1977 | Conceptual Analysis of Noun Groups in English. Anatole Gershman |
| 1977 | Controlling Inference in Story Understanding. Richard E. Cullingford |
| 1977 | Deductive Methods for Large Data Bases. Charles Kellogg, Philip Klahr, Larry Travis |
| 1977 | Delayed Interpretation Using Processing Notes. Christopher Riesbeck |
| 1977 | Detection of Elliptic and Linear Edges by Searching Two Parameter Spaces. Saburo Tsuji, Fumio Matsumoto |
| 1977 | EG - A Case Study in Problem Solving with King and Pawn Endings. C. Perdue, Hans J. Berliner |
| 1977 | EXAMINER: A System Using Contextual Knowledge for Analysis of Diagnostic Behavior. C. E. Oleson |
| 1977 | Electrical Design: A Problem for Artificial Intelligence Research. Gerald J. Sussman |
| 1977 | Epistemological Problems of Artificial Intelligence. John McCarthy |
| 1977 | Exactly How Good Are Heuristics?: Toward a Realistic Predictive Theory of Best-First Search. John Gaschnig |
| 1977 | Experience with KRL-0: One Cycle of a Knowledge Representation Language. Daniel G. Bobrow, Terry Winograd |
| 1977 | Experiences in Evaluation with BKG - A Program that Plays Backgammon. Hans J. Berliner |
| 1977 | Experiments in Map-Guided Photo Interpretation. Harry G. Barrow, Robert C. Bolles, Thomas D. Garvey, J. H. Kremers, Jay M. Tenenbaum, Helen C. Wolf |
| 1977 | FOUL-UP: A Program that Figures Out Meanings of Words from Context. Richard H. Granger |
| 1977 | Failure Handling in a Dialogue System. Gretchen P. Brown |
| 1977 | Federal Programs in Artificial Intelligence. William B. Gevarter, James S. Albus, N. Caplan, B. Chern, Kent K. Curtis, Marvin Denicoff, James R. Slagle |
| 1977 | Focus of Attention in the Hearsay-II Speech Understanding System. Frederick Hayes-Roth, Victor R. Lesser |
| 1977 | Force Control in Coordination of Two Arms. Tatsuzo Ishida |
| 1977 | Formal Grammars as Models of Logic Derivations. Sharon Sickel |
| 1977 | Frames-based Text Processing. Steven Rosenberg |
| 1977 | From Conversations to Stories: An Analysis of Differences Between Oral and Written Language Comprehension. Aviel D. Rubin, Bertram C. Bruce |
| 1977 | GOALEM from Prague. Bohuslav Kirchmann, Pavel Kopecky, Zdenek Zdráhal |
| 1977 | Generality and Computational Cost. Azriel Rosenfeld |
| 1977 | Generating Noun Phrases to Identify Nodes in a Semantic Network. George E. Heidorn |
| 1977 | Generating Project Networks. Austin Tate |
| 1977 | Generation of Descriptions for Line Drawings. A. H. Dixon |
| 1977 | Ghosts in the Machine: An AI Treatment of Medieval History. Margaret King, Monique Ornato, Gian Piero Zarri, Lucia Zarri-Baldi, A. Zwiebel |
| 1977 | Heuristico-Conceptual Programming. Vladimir V. Chavchanidze |
| 1977 | History of Artificial Intelligence. Pamela McCorduck, Marvin Minsky, Oliver G. Selfridge, Herbert A. Simon |
| 1977 | How to Learn/What to Learn. Roger C. Schank, Mallory Selfridge |
| 1977 | Human Engineering for Applied Natural Language Processing. Gary G. Hendrix |
| 1977 | Human Vision Paradox Implicates Relaxation Model. Fanya S. Montalvo |
| 1977 | IRIS: A System for the Propogation of Inferences in a Semantic Net. M. Trigoboff, Casimir A. Kulikowski |
| 1977 | Image Compression and Reconstruction Using Feature Extraction. Robert T. Chien, L. J. Peterson |
| 1977 | Image Segmentation Technique for Locating Automotive Parts on Belt Conveyors. Michael L. Baird |
| 1977 | Improving the Efficiency of Higher Order Unification. Jared L. Darlington |
| 1977 | In Defense of Logic. Patrick J. Hayes |
| 1977 | Induction of Relational Productions in the Presence of Background Information. Steven A. Vere |
| 1977 | Inductive Reasoning in Mathematics. Frank M. Brown, Sten-Åke Tärnlund |
| 1977 | Inferences in Quantified Semantic Networks. Robert F. Simmons, Daniel L. Chester |
| 1977 | Informality in Program Specifications. Robert Balzer, Neil M. Goldman, David S. Wile |
| 1977 | Interactive Transfer of Expertise: Acquisition of New Inference Rules. Randall Davis |
| 1977 | Knowledge Acquisition from Structural Descriptions. Frederick Hayes-Roth, John P. McDermott |
| 1977 | Knowledge Base Management for Experiment Planning in Molecular Genetics. Nancy Martin, Peter Friedland, Jonathan King, Mark Stefik |
| 1977 | Knowledge Guided Learning of Structural Descriptions. Mark S. Fox, Raj Reddy |
| 1977 | Knowledge Representation. Daniel G. Bobrow, Gary G. Hendrix, William A. Martin, John McCarthy, Allen Newell, Roger C. Schank, Brian Cantwell Smith, N. S. Sridharan |
| 1977 | Knowledge Structures and Language Boundaries. Yorick Wilks |
| 1977 | Knowledge-Base Driven Analysis of Cinecardioangiograms. John K. Tsotsos |
| 1977 | LAMA: A Language for Automatic Mechanical Assembly. Tomás Lozano-Pérez, Patrick H. Winston |
| 1977 | Language Access to Distributed Data with Error Recovery. Earl D. Sacerdoti |
| 1977 | Language Generation: The Linguistics Component. David D. McDonald |
| 1977 | Learning Simple Arithmetic. Pavel Brazdil |
| 1977 | Less Than General Production System Architectures. Douglas B. Lenat, John P. McDermott |
| 1977 | Levels of Complexity in Discourse for Anaphora Disambiguation and Speech Act Interpretation. C. Bullwinkle |
| 1977 | Levels of Pattern Description in Learning. Elliot Soloway, Edward M. Riseman |
| 1977 | Making Inferences in Natural Language Dialogs. Charles L. Hedrick |
| 1977 | Maximal Consistent Interpretations of Errorful Data in Hierarchically Modeled Domains. Mark S. Fox, Jack Mostow |
| 1977 | Meta-Evaluation as a Tool for Program Understanding. Robert Balzer, Neil M. Goldman, David S. Wile |
| 1977 | Meta-Level Knowledge: Overview and Applications. Randall Davis, Bruce G. Buchanan |
| 1977 | Model Representations and Control Structures in Image Understanding. Takeo Kanade |
| 1977 | Model-Based Vision System for Scenes Containing Multiple Parts. W. A. Perkins |
| 1977 | Model-Building in the Visions System. Thomas Williams, John D. Lowrance, Allen R. Hanson, Edward M. Riseman |
| 1977 | Modeling Spatial Knowledge. Benjamin Kuipers |
| 1977 | Modelling Distributed Systems. Akinori Yonezawa, Carl Hewitt |
| 1977 | Modelling Simple Dialogs. M. K. Horrigan |
| 1977 | Ms. Maloprop, A Language Comprehension Program. Eugene Charniak |
| 1977 | Multiple Representations of Knowledge in a Mechanics Problem-Solver. Johan de Kleer |
| 1977 | NLG - Natural Language Graphics. David C. Brown, Stanley C. Kwasny, H. William Buttelmann, B. Chandrasekaran, Norman K. Sondheimer |
| 1977 | NUDGE, A Knowledge-Based Scheduling Program. Ira P. Goldstein, R. B. Roberts |
| 1977 | Natural Language Processing. Roger C. Schank, Eugene Charniak, Yorick Wilks, Terry Winograd, William A. Woods |
| 1977 | OPS, A Domain-Independent Production System Language. Charles Forgy, John P. McDermott |
| 1977 | On Reading Sketch Maps. Alan K. Mackworth |
| 1977 | On Semantic Nets, Frames and Associations. Philip J. Hayes |
| 1977 | Overview of 'Planning Speech Acts' C. Raymond Perrault, P. R. Kohen |
| 1977 | PAM - A Program That Infers Intentions. Robert Wilensky |
| 1977 | PRUF - A Language for the Representation of Meaning in Natural Languages. Lotfi A. Zadeh |
| 1977 | Parametric Correspondence and Chamfer Matching: Two New Techniques for Image Matching. Harry G. Barrow, Jay M. Tenenbaum, Robert C. Bolles, Helen C. Wolf |
| 1977 | Plain Talk about Neurodevelopmental Epistemology. Marvin Minsky |
| 1977 | Plan Recognition Using A Hypothesize and Revise Paradigm. Charles F. Schmidt, N. S. Sridharan |
| 1977 | Planning in the World of the Air Traffic Controller. Robert B. Wesson |
| 1977 | Predicate Logic: A Calculus for the Formal Derivation of Programs. Keith L. Clark, Sharon Sickel |
| 1977 | Presupposition-Based AI Natural Language System. Victor Raskin |
| 1977 | Problems in Building an Instructable Production System. Michael D. Rychener, Charles Forgy, Pat Langley, John P. McDermott, Allen Newell, K. Ramakrishna |
| 1977 | Procedures for Integrating Knowledge in a Speech Understanding System. Donald E. Walker, William H. Paxton, Barbara J. Grosz, Gary G. Hendrix, Ann E. Robinson, Jane J. Robinson, Jonathan Slocum |
| 1977 | Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, MA, USA, August 22-25, 1977 Raj Reddy |
| 1977 | Program Inference from Traces using Multiple Knowledge Sources. J. V. Phillips |
| 1977 | Putting Theories Together to Make Specifications. Rod M. Burstall, Joseph A. Goguen |
| 1977 | ROBOT: A High Performance Natural Language Data Base Query System. Larry R. Harris |
| 1977 | Range Data Understanding Guided by a Junction Dictionary. Kokichi Sugihara, Yoshiaki Shirai |
| 1977 | Rapid Computation of Fourier Texture Descriptors. Steven L. Tanimoto |
| 1977 | Reasoning About Knowledge and Action. Robert C. Moore |
| 1977 | Recent Work with the AL System. R. Goldman |
| 1977 | Recognition Using Semantic Constraints. Michael O. Shneier |
| 1977 | Recognition and Depth Perception of Objects in Real World Scenes. Robert J. Douglass |
| 1977 | Reconstruction of Curved-Surface Bodies from a Set of Imperfect Projections. Ruth Shapira, Herbert Freeman |
| 1977 | Representation of Actions That Have Side-Effects. N. S. Sridharan, Frank M. Hawrusik |
| 1977 | Representations of Knowledge in a Program for Solving Physics Problems. Gordon S. Novak |
| 1977 | Representing Numbers in Semantic Networks: Prolegomena. Stuart C. Shapiro |
| 1977 | Representing Semantic Information In Pulley Problems. George F. Luger, Alan Bundy |
| 1977 | Robot Learning and Error Correction. Leonard Friedman |
| 1977 | SISP/1: An Interactive System Able to Synthesize Functions from Examples. Jean-Pierre Jouannaud, Gérard D. Guiho, Jean-Pierre Treuil |
| 1977 | SPARK: A System for Parallel Representation of Knowledge. Gerald A. Wilson |
| 1977 | Segmentation Processes in the VISIONS System. J. Prager, Paul A. Nagin, Ralf R. Kohler, Allen R. Hanson, Edward M. Riseman |
| 1977 | Separating Non-Stationary from Stationary Scene Components in a Sequence of Real World TV Images. Ramesh C. Jain, D. Militzer, Hans-Hellmut Nagel |
| 1977 | Set Variables. W. W. Bledsoe |
| 1977 | Shortfall and Density Scoring Strategies for Speech Understanding Control. William A. Woods |
| 1977 | Skimming Newspaper Stories by Computer. Gerald DeJong |
| 1977 | Some Notes on Motion Understanding. John K. Tsotsos |
| 1977 | Specification Overlays: An Application of Partitioned Semantic Networks. R. L. Young |
| 1977 | Speech Understanding and AI/AI and Speech Understanding. Donald E. Walker, Lee D. Erman, Allen Newell, Nils J. Nilsson, William H. Paxton, Terry Winograd, William A. Woods |
| 1977 | Steps Towards the Representation of Complex Three-Dimensional Objects. Ruzena Bajcsy, Barry I. Soroka |
| 1977 | Strategies for Mechanizing Structural Induction. Raymond Aubin |
| 1977 | Structured Planning and Debugging. Mark L. Miller, Ira P. Goldstein |
| 1977 | Structuring Mathematical Knowledge. Edwina Rissland Michener |
| 1977 | Subgoal Protection and Unraveling During Plan Synthesis. Chuck Rieger, Philip London |
| 1977 | TALE-SPIN, An Interactive Program that Writes Stories. James R. Meehan |
| 1977 | TELOS, A Language for Building Well-Structured AI Models. Larry Travis, Masahiro Honda, Richard LeBlanc, Stephen F. Zeigler |
| 1977 | The Analysis and Synthesis of Jazz by Computer. John Wade Ulrich |
| 1977 | The Art of Artificial Intelligence: Themes and Case Studies of Knowledge Engineering. Edward A. Feigenbaum |
| 1977 | The Automatic Synthesis of Systems of Recursive Programs. Zohar Manna, Richard J. Waldinger |
| 1977 | The Contract Net: A Formalism for the Control of Distributed Problem Solving. Reid G. Smith |
| 1977 | The Coordination of Multiple Goal Satisfaction. Arthur M. Farley |
| 1977 | The Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms. Chuck Rieger, Maurice Grinberg |
| 1977 | The FLOW Tutor: A Schema-Based Tutorial System. Donald R. Gentner |
| 1977 | The Formation of Composite Hypotheses in Diagnostic Problem Solving: An Exercise in Synthetic Reasoning. Harry E. Pople |
| 1977 | The Generation of Continuous Semantic Constraints from Semantic Propositions. Gregg C. Oden |
| 1977 | The LOCUS Model of Search and its Use in Image Interpretation. Steven M. Rubin, Raj Reddy |
| 1977 | The Navigation System of the JPL Robot. Alan M. Thompson |
| 1977 | The Reformulation Approach to Building Expert Systems. William S. Mark |
| 1977 | The Representation and Use of Focus in a System for Understanding Dialogs. Barbara J. Grosz |
| 1977 | The Role of Preprocessing in Problem Solving Systems. Clive Dawson, Laurent Siklóssy |
| 1977 | The Use of Dynamically Extracted Context for Anaphoric Reference Resolution. David Klappholz, Abe Lockman |
| 1977 | The Use of Models in a Rule-Based Consultation System. Jan Aikins |
| 1977 | The Use of a Domain Model in Understanding Informal Process Descriptions. Neil M. Goldman, Robert Balzer, David S. Wile |
| 1977 | The Use of a Semantic Network in a Deductive Question-Answering System. James R. McSkimin, Jack Minker |
| 1977 | Theorem Proving by Covering Expressions. Lawrence J. Henschen, W. M. Evangelist |
| 1977 | Theorem Proving in Type Theory. Peter B. Andrews, Eve Longini Cohen |
| 1977 | Theorem Proving with Structure Sharing and Efficient Unification. Alberto Martelli, Ugo Montanari |
| 1977 | ThingLab - An Object-Oriented System for Building Simulations Using Constraints. Alan Borning |
| 1977 | Three-Dimensional Modeling. H. Baker |
| 1977 | Toward Automatic Debugging of Compilers. Hanan Samet |
| 1977 | Toward Consistent Descriptions in Vision Systems. Steven W. Zucker |
| 1977 | Towards Automatic Visual Obstacle Avoidance. Hans P. Moravec |
| 1977 | Towards a Combined Representation for Spacial and Temporal Reference. Norman K. Sondheimer |
| 1977 | Towards a Science of Image Understanding. Berthold K. P. Horn |
| 1977 | Truth Maintenance Systems for Problem Solving. Jon Doyle |
| 1977 | Two Semantic Worlds: A Data Base System with Provision for Natural Language Input. Piero Dell'Orco, Margaret King, V. N. Spadavecchia |
| 1977 | Understanding a Simple Cartoon Film by a Computer Vision System. Saburo Tsuji, Akira Morizono, Shinichi Kuroda |
| 1977 | Understanding and Improving LISP Programs. Harald Wertz |
| 1977 | Unification of Idempotent Functions. Stefan Kühner, Chris Mathis, Peter Raulefs, Jörg H. Siekmann |
| 1977 | Using Process Knowledge in Understanding Task-Oriented Dialogs. Barbara J. Grosz, Gary G. Hendrix, Ann E. Robinson |
| 1977 | Using and Re-Using Partial Plans. P. R. Davis, Robert T. Chien |
| 1977 | Verification Vision for Programmable Assembly. Robert C. Bolles |
| 1977 | Version Spaces: A Candidate Elimination Approach to Rule Learning. Tom M. Mitchell |
| 1977 | Vocabularies for Problem Solver State Descriptions. Drew V. McDermott |
| 1977 | WHISPER: A Problem-Solving System Utilizing Diagrams and a Parallel Processing Retina. Brian V. Funt |
| 1977 | Workpiece Orientation Correction with a Robot Arm Using Visual Information. John R. Birk, Robert B. Kelley, Vivek V. Badami |
| 1977 | Writing a Natural Language Data Base System. David L. Waltz, Bradley A. Goodman |