| 1973 | A Definition-Driven Theorem Prover. George W. Ernst |
| 1973 | A Gobal View of Automatic Programming. Robert Balzer |
| 1973 | A Heuristic Approach to Program Verification. Shmuel Katz, Zohar Manna |
| 1973 | A Hole in Goal Trees: Some Guidance from Resolution Theory. Donald W. Loveland, Mark E. Stickel |
| 1973 | A LISP Machine with Very Compact Programs. L. Peter Deutsch |
| 1973 | A Linguistics Oriented Programming Language. Vaughan R. Pratt |
| 1973 | A Man-Machine Theorem-Proving System. W. W. Bledsoe, Peter Bruell |
| 1973 | A Mechanization of Type Theory. Gérard P. Huet |
| 1973 | A Model for Control Structures for Artificial Intelligence Programming Languages. Daniel G. Bobrow |
| 1973 | A Model of the Common-Sense Theory of Intention and Personal Causation. Charles F. Schmidt, John D'Addamio |
| 1973 | A Number Theory Approach to Problem Representation and Solution. Stewart N. T. Shen, Edward R. Jones |
| 1973 | A Parser for a Speech Understanding System. William H. Paxton, Ann E. Robinson |
| 1973 | A Procedure for Adaptive Control of the Interaction Between Acoustic Classification and Linguistic Decoding in Automatic Recognition of Continuous Speech. Charles C. Tappert, N. R. Dixon |
| 1973 | A Semantically Guided Deductive System for Automatic Theorem-Proving. Raymond Reiter |
| 1973 | A Semantics-Based Decision Theory Region Analyser. Yoram Yakimovsky, Jerome A. Feldman |
| 1973 | A System which Automatically Improves Programs. John Darlington, Rod M. Burstall |
| 1973 | A Universal Modular ACTOR Formalism for Artificial Intelligence. Carl Hewitt, Peter Boehler Bishop, Richard Steiger |
| 1973 | A Versatile Computer-Controlled Assembly System. A. Patricia Ambler, Harry G. Barrow, Christopher M. Brown, Rod M. Burstall, Robin J. Popplestone |
| 1973 | Active Semantic Networks as a Model of Human Memory. David E. Rumelhart, Donald A. Norman |
| 1973 | Additive AND/OR Graphs. Alberto Martelli, Ugo Montanari |
| 1973 | An Efficient Robot Planner which Generates Its Own Procedures. Laurent Siklóssy, J. Dreussi |
| 1973 | Analysis of Behavior of Chemical Molecules: Rule Formation on Non-Homogeneous Classes of Objects. Bruce G. Buchanan, N. S. Sridharan |
| 1973 | Artificial Intelligence and Automatic Programming in CAI. Elliot B. Koffman, Sumner E. Blount |
| 1973 | Automatic Program Synthesis in Second-Order Logic. Jared L. Darlington |
| 1973 | Backtracking in MLISP2: an efficient backtracking method for LISP. David Canfield Smith, Horace J. Enea |
| 1973 | CASAP: A Testbed for Program Flexibility. Robert Balzer |
| 1973 | CLISP - Conversational LISP. Warren Teitelman |
| 1973 | Case Structure Systems. Bertram C. Bruce |
| 1973 | Computer Description of Curved Objects. Gerald J. Agin, Thomas O. Binford |
| 1973 | Computer Description of Textured Surfaces. Ruzena Bajcsy |
| 1973 | Control Algorithm of the Walker Climbing Over Obstacles. D. E. Okhotsimsky, Alexander K. Platonov |
| 1973 | Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs. Erik Sandewall |
| 1973 | D-SCRlPT: A Computational Theory of Descriptions. Robert C. Moore |
| 1973 | DECIDER-l: A System that Chooses Among Different Types of Acts. Leonard Uhr |
| 1973 | Deletion-Directed Search in Resolution-Based Proof Procedures. David Gelperin |
| 1973 | Design of a Computer Controlled Manipulator for Robot Research. Boris M. Dobrotin, Victor Scheinman |
| 1973 | Design of a Low Cost, General Purpose Robot. Michael H. Smith, L. Stephen Coles |
| 1973 | Detection of Homogeneous Regions by Structural Analysis. Fumiaki Tomita, Masahiko Yachida, Saburo Tsuji |
| 1973 | Discovering Classification Rules Using variable-Valued Logic System VL Ryszard S. Michalski |
| 1973 | Doing Arithmetic with Diagrams. Alan Bundy |
| 1973 | Finding Picture Edges through Collinearity of Feature Points. Frank O'Gorman, M. B. Clowes |
| 1973 | Forecasting and Assessing the Impact of Artificial Intelligence on Society. Oscar Firschein, Martin A. Fischler, L. Stephen Coles, Jay M. Tenenbaum |
| 1973 | Heuristic Methods for Mechanically Deriving Inductive Assertions. Ben Wegbreit |
| 1973 | Idiolectic Language-Analysis for Understanding Doctor-Patient Dialogues. Horace J. Enea, Kenneth Mark Colby |
| 1973 | Interpreting Pictures of Polyhedral Scenes. Alan K. Mackworth |
| 1973 | Iterated Limiting Recursion and the Program Minimization Problem. Lenhart K. Schubert |
| 1973 | Jack and Janet in Search of a Theory of Knowledge. Eugene Charniak |
| 1973 | Language Processing Via Canonical Verbs and Semantic Models. Gary G. Hendrix, Craig W. Thompson, Jonathan Slocum |
| 1973 | MARGIE: Memory Analysis Response Generation, and Inference on English. Roger C. Schank, Neil M. Goldman, Charles J. Rieger III, Christopher Riesbeck |
| 1973 | Mechanical Inference Problems in Continuous Speech Understanding. William A. Woods, John Makhoul |
| 1973 | Mechanism of Deduction in a Question-Answering System with Natural Language Input. Makoto Nagao, Jun'ichi Tsujii |
| 1973 | Natural Semantics in Artificial Intelligence. James R. Carbonell, Allan M. Collins |
| 1973 | On Calibrating Computer Controlled Cameras for Perceiving 3-D Scenes. Irwin Sobel |
| 1973 | On a Local Approach to Representation in Problem Solving. Vadim L. Stefanuk |
| 1973 | On the Mechanization of Abductive Logic. Harry E. Pople |
| 1973 | Outlines of a Computer Model of Motivation. George R. Kiss |
| 1973 | PAS-II: An Interactive Task-Free Version of an Automatic Protocol Analysis System. Donald A. Waterman, Allen Newell |
| 1973 | POPS: An Application of Heuristic Search Methods to the Processing of a Nondeterministic Programming Language. Gregory Dean Gibbons |
| 1973 | Pattern Classification of the Grasped Object by the Artificial Hand. Gen-ichiro Kinoshita, Shuhei Aida, Masahiro Mori |
| 1973 | Planning Considerations for a Roving Robot with Arm. Richard A. Lewis, Antal K. Bejczy |
| 1973 | Planning in a Hierarchy of Abstraction Spaces. Earl D. Sacerdoti |
| 1973 | Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, CA, USA, August 20-23, 1973 Nils J. Nilsson |
| 1973 | Proving Theorems about LISP Functions. Robert S. Boyer, J Strother Moore |
| 1973 | Proving the Impossible is Impossible is Possible: Disproofs Based on Hereditary Partitions. Laurent Siklóssy, John W. Roach |
| 1973 | Robot Decisions Based on Maximizing Utility. Walter Jacobs, Maxine Kiefer |
| 1973 | Robot Planning System Based on Problem Solvers. Tadashi Nagata, Masato Yamazaki, Michiharu Tsukamoto |
| 1973 | Search Strategies for the Task of Organic Chemical Synthesis. N. S. Sridharan |
| 1973 | Semantic Modeling for Deductive Question-Answering. Kenneth Biss, Robert T. Chien, Fred A. Stahl, Steven J. Weissman |
| 1973 | Some Frills for the Modal Tic-Tac-Toe of Davies and Isard: Semantics of Predicate Complement Constructions. Aravind K. Joshi, Ralph M. Weischedel |
| 1973 | Some Necessary Conditions for a Master Chess Program. Hans J. Berliner |
| 1973 | Some Theoretical Results Concerning Automated Game-Playing. T. Brian Boffey |
| 1973 | Speech Understanding Through Syntactic and Semantic Analysis. Donald E. Walker |
| 1973 | Steps Toward Automatic Theory Formation. John Seely Brown |
| 1973 | Structured Descriptions of Complex Objects. Ramakant Nevatia, Thomas O. Binford |
| 1973 | System Organizations for Speech Understanding: Implications of Network and Multiprocessor Computer Architecture for AI. Lee D. Erman, R. D. Fenneli, Victor R. Lesser, Dabbala Rajagopal Reddy |
| 1973 | The Architecture of Coherent Information System: A General Problem Solving System. Chitoor V. Srinivasan |
| 1973 | The Avoidance of (Relative) Catastrophe, Heuristic Competence, Genuine Dynamic Weighting and Computational Issues in Heuristic Problem Solving. Ira Pohl |
| 1973 | The Bandwidth Heuristic Search. Larry R. Harris |
| 1973 | The Hearsay Speech Understanding System: An Example of the Recognition Process. Dabbala Rajagopal Reddy, Lee D. Erman, R. D. Fenneli, Richard B. Neely |
| 1973 | The LISP7O Pattern Matching System. Lawrence G. Tesler, Horace J. Enea, David Canfield Smith |
| 1973 | The Q* Algorithm - A Search Strategy for a Deductive Question-Answering System. Jack Minker, Daniel H. Fishman, James R. McSkimin |
| 1973 | The Symbolic Nature of Visual Imagery. Thomas P. Moran |
| 1973 | Thoughts About a Visually Guided Grasp Reflex. Richard L. Didday |
| 1973 | Toward a Model of Human Game Playing. Marc Eisenstadt, Yaakov Kareev |
| 1973 | Understanding Without Proofs. Yorick Wilks |
| 1973 | l.Pak: A SNOBOL-Based Programming Language for Artificial Intelligence Applications. John Mylopoulos, Norman I. Badler, L. Melli, Nick Roussopoulos |