3. IJCAI 1973: Standford, California, USA

Nilsson, N. J.: Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, CA, August 1973. William Kaufmann, 1973

Theory of Heuristic Search

Alberto Martelli, Ugo Montanari: Additive AND/OR Graphs. 1-11 BibTeX
Ira Pohl: The Avoidance of (Relative) Catastrophe, Heuristic Competence, Genuine Dynamic Weighting and Computational Issues in Heuristic Problem Solving. 12-17 BibTeX
T. B. Boffey: Some Theoretical Results Concerning Automated Game-Playing. 18-22 BibTeX
Larry R. Harris: The Bandwidth Heuristic Search. 23-30 BibTeX

Theorem Proving and Logic I

Jack Minker, Daniel H. Fishman, James R. McSkimin: The Q* Algorithm - A Search Strategy for a Deduclive Question-Answering System. 31-40 BibTeX
Raymond Reiter: A Semantically Guided Deductive System for Automatic Theorem-Proving. 41-46 BibTeX
David Gelperin: Deletion-Directed Search in Resolution-Dased Proof Procedures. 47-50 BibTeX
George W. Ernst: A Definition-Driven Theorem Prover. 51-55 BibTeX
W. W. Bledsoe, Peter Bruell: A Man-Machine Theorem-Proving System. 56-66 BibTeX

Applications and Implementations of AI

Bruce G. Buchanan, N. S. Sridharan: Analysis of Behavior of Chemical Molecules: Rule Formation on Non-Homogeneous Classes of Objects. 67-76 BibTeX
Hans J. Berliner: Some Necessary Conditions for a Master Chess Program. 77-85 BibTeX
Elliot B. Koffman, Sumner E. Blount: Artificial Intelligence and Automatic Programming in CAI. 86-94 BibTeX
N. S. Sridharan: Search Strategies for the Task of Organic Chemical Synthesis. 95-104 BibTeX
Oscar Firschein, Martin A. Fischler, L. Stephen Coles, Jay M. Tenenbaum: Forecasting and Assessing the Impact of Artificial Intelligence on Society. 105-120 BibTeX

Theorem Proving and Logic II

John Seely Brown: Steps Toward Automatic Theory Formation. 121-129 BibTeX
Alan Bundy: Doing Arithmetic with Diagrams. 130-138 BibTeX
Gérard P. Huet: A Mechanization of Type Theory. 139-146 BibTeX
Harry E. Pople: On the Mechanization of Abductive Logic. 147-152 BibTeX
Donald W. Loveland, Mark E. Stickel: A Hole in Goal Trees: Some Guidance from Resolution Theory. 153-161 BibTeX
Ryszard S. Michalski: Discovering Classification Rules Using variable-Valued Logic System VL_1. 162-172 BibTeX

Natural Language: Speech

Charles C. Tappert, N. R. Dixon: A Procedure for Adaptive Control of the Interaction Between Acoustic Classification and Linguistic Decoding in Automatic Recognition of Continuous Speech. 173-184 BibTeX
D. R. Reddy, Lee D. Erman, R. D. Fenneli, Richard B. Neely: The Hearsay Speech Understanding System: An Example of the Recognition Process. 185-193 BibTeX
Lee D. Erman, R. D. Fenneli, Victor R. Lesser, D. R. Reddy: System Organizations for Speech Understanding: Implications of Network and Multiprocessor Computer Architecture for AI. 194-199 BibTeX
William A. Woods, John Makhoul: Mechanical Inference Prohlems in Continuous Speech Understanding. 200-207 BibTeX
Donald E. Walker: Speech Understanding Through Syntactic and Semantic Analysis. 208-215 BibTeX
William H. Paxton, Ann E. Robinson: A Parser for a Speech Understanding System. 216-222 BibTeX

Formalisms for AI

Robert C. Moore: D-SCRlPT: A Computational Theory of Descriptions. 223-229 BibTeX
Erik Sandewall: Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs. 230-234 BibTeX
Carl Hewitt, Peter Bishop, Richard Steiger: A Universal Modular ACTOR Formalism for Artificial Intelligence. 235-245 BibTeX
Daniel G. Bobrow: A Model for Control Structures for Artificial Intelligence Programming Languages. 246-254 BibTeX

Natural Language: Systems

Roger C. Schank, Neil M. Goldman, Charles J. Rieger III, Christopher Riesbeck: MARGIE: Memory Analysis Response Generation, and Inference on English. 255-261 BibTeX
Gary G. Hendrix, C. W. Thompson, Jonathan Slocum: Language Processing Via Canonical Verbs and Semantic Models. 262-269 BibTeX
Yorick Wilks: Understanding Without Proofs. 270-277 BibTeX
Horace Enea, Kenneth Mark Colby: Idiolectic Language-Analysis for Understanding Doctor-Patient Dialogues. 278-284 BibTeX
Makoto Nagao, Jun-ichi Tsujii: Mechanism of Deduction in a Question-Answering System with Natural Language Inputd. 285-290 BibTeX

Robot Implementations

Boris M. Dobrotin, Victor Scheinman: Design of a Computer Controlled Manipulator for Robot Research. 291-297 BibTeX
A. P. Ambler, Harry G. Barrow, Christopher M. Brown, Rod M. Burstall, Robin J. Popplestone: A Versatile Computer-Controlled Assembly System. 298-307 BibTeX
Richard A. Lewis, Antal K. Bejczy: Planning Considerations for a Roving Robot with Arm. 308-316 BibTeX
D. E. Okhotsimsky, A. K. Platonov: Control Algorithm of the Walker Climbing Over Obstacles. 317-323 BibTeX
Michael H. Smith, L. Stephen Coles: Design of a Low Cost, General Purpose Robot. 324-336 BibTeX

Natural Language: Semantics and Parsing

Eugene Charniak: Jack and Janet in Search of a Theory of Knowledge. 337-343 BibTeX
James R. Carbonell, Allan M. Collins: Natural Semantics in Artificial Intelligence. 344-351 BibTeX
Aravind K. Joshi, Ralph M. Weischedel: Some Frills for the Modal Tic-Tac-Toe of Davies and Isard: Semantics of Predicate Complement Constructions. 352-355 BibTeX
Kenneth Biss, Robert T. Chien, Fred Stahl, Steven J. Weissman: Semantic Modeling for Deductive Question-Answering. 356-363 BibTeX
Bertram C. Bruce: Case Structure Systems. 364-371 BibTeX
Vaughan R. Pratt: A Linguistics Oriented Programming Language. 372-382 BibTeX

Robot Problem Solving

Laurent Siklóssy, John W. Roach: Proving the Impossible is Impossible is Possible: Disproofs Based on Hereditary Partitions. 383-387 BibTeX
Tadashi Nagata, Masato Yamazaki, Michiharu Tsukamoto: Robot Planning System Based on Problem Solvers. 388-395 BibTeX
Leonard Uhr: DECIDER-l: A System that Chooses Among Different Types of Acts. 396-401 BibTeX
Walter Jacobs, Maxine Kiefer: Robot Decisions Based on Maximizing Utility. 402-411 BibTeX
Earl D. Sacerdoti: Planning in a Hierarchy of Abstraction Spaces. 412-422 BibTeX
Laurent Siklóssy, J. Dreussi: An Efficient Robot Planner which Generates Its Own Procedures. 423-430 BibTeX

Psychology and AI

Donald A. Waterman, Allen Newell: PAS-II: An Interactive Task-Free Version of an Automatic Protocol Analysis System. 431-445 BibTeX
George R. Kiss: Outlines of a Computer Model of Motivation. 446-449 BibTeX
David E. Rumelhart, Donald A. Norman: Active Semantic Networks as a Model of Human Memory. 450-457 BibTeX
Marc Eisenstadt, Yaakov Kareev: Toward a Model of Human Game Playing. 458-464 BibTeX
Charles F. Schmidt, John D'Addamio: A Model of the Common-Sense Theory of Intention and Personal Causation. 465-471 BibTeX
Thomas P. Moran: The Symbolic Nature of Visual Imagery. 472-478 BibTeX

Automatic Programming

John Darlington, Rod M. Burstall: A System which Automatically Improves Programs. 479-485 BibTeX
Robert S. Boyer, J. Strother Moore: Proving Theorems about LISP Functions. 486-493 BibTeX
Robert Balzer: A Gobal View of Automatic Programming. 494-499 BibTeX
Shmuel Katz, Zohar Manna: A Heuristic Approach to Program Verification. 500-512 BibTeX
Lenhart K. Schubert: Iterated Limiting Recursion and the Program Minimization Problem. 513-523 BibTeX
Ben Wegbreit: Heuristic Methods for Mechanically Deriving Inductive Assertions. 524-536 BibTeX
Jared L. Darlington: Automatic Program Synthesis in Second-Order Logic. 537-542 BibTeX

Computer Vision

Frank O'Gorman, M. B. Clowes: Finding Picture Edges through Collinearity of Feature Points. 543-555 BibTeX
Alan K. Mackworth: Interpreting Pictures of Polyhedral Scenes. 556-563 BibTeX
Fumiaki Tomita, Masahiko Yachida, Saburo Tsuji: Detection of Homogeneous Regions by Structural Analysis. 564-571 BibTeX
Ruzena Bajcsy: Computer Description of Textured Surfaces. 572-579 BibTeX
Yoram Yakimovsky, Jerome A. Feldman: A Semantics-Based Decision Theory Region Analyser. 580-588 BibTeX

General Problem Solving

Gregory Dean Gibbons: POPS: An Application of Heuristic Search Methods to the Processing of a Nondeterministic Programming Language. 589-600 BibTeX
Robert Balzer: CASAP: A Testbed for Program Flexibility. 601-605 BibTeX
Stewart N. T. Shen, Edward R. Jones: A Number Theory Approach to Problem Representation and Solution. 606-611 BibTeX
V. L. Stefanuk: On a Local Approach to Representation in Problem Solving. 612-617 BibTeX
Chitoor V. Srinivasan: The Architecture of Coherent Information System: A General Problem Solving System. 618-628 BibTeX

Perception for Robots

Gerald J. Agin, Thomas O. Binford: Computer Description of Curved Objects. 629-640 BibTeX
Ramakant Nevatia, Thomas O. Binford: Structured Descriptions of Complex Objects. 641-647 BibTeX
Irwin Sobel: On Calibrating Computer Controlled Cameras for Perceiving 3-D Scenes. 648-657 BibTeX
Richard L. Didday: Thoughts About a Visually Guided Grasp Reflex. 658-664 BibTeX
Gen-ichiro Kinoshita, Shuhei Aida, Masahiro Mori: Pattern Classification of the Grasped Object by the Artificial Hand. 665-670 BibTeX

Hardware and Software for AI

Lawrence G. Tesler, Horace Enea, David Canfield Smith: The LISP7O Pattern Matching System. 671-676 BibTeX
David Canfield Smith, Horace Enea: Backtracking in MLISP2: an efficient backtracking method for LISP. 677-685 BibTeX
Warren Teitelman: CLISP - Conversational LISP. 686-690 BibTeX
John Mylopoulos, Norman I. Badler, L. Melli, Nick Roussopoulos: l.Pak: A SNOBOL-Dased Programming Language for Artificial Intelligence Applications. 691-696 BibTeX
L. Peter Deutsch: A LISP Machine with Very Compact Programs. 697 BibTeX