3. IJCAI 1973: Standford, California, USA

Nils J. Nilsson (Ed.): 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
Ira Pohl: The Avoidance of (Relative) Catastrophe, Heuristic Competence, Genuine Dynamic Weighting and Computational Issues in Heuristic Problem Solving. 12-17
T. B. Boffey: Some Theoretical Results Concerning Automated Game-Playing. 18-22
Larry R. Harris: The Bandwidth Heuristic Search. 23-30

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
Raymond Reiter: A Semantically Guided Deductive System for Automatic Theorem-Proving. 41-46
David Gelperin: Deletion-Directed Search in Resolution-Dased Proof Procedures. 47-50
George W. Ernst: A Definition-Driven Theorem Prover. 51-55
W. W. Bledsoe, Peter Bruell: A Man-Machine Theorem-Proving System. 56-66

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
Hans J. Berliner: Some Necessary Conditions for a Master Chess Program. 77-85
Elliot B. Koffman, Sumner E. Blount: Artificial Intelligence and Automatic Programming in CAI. 86-94
N. S. Sridharan: Search Strategies for the Task of Organic Chemical Synthesis. 95-104
Oscar Firschein, Martin A. Fischler, L. Stephen Coles, Jay M. Tenenbaum: Forecasting and Assessing the Impact of Artificial Intelligence on Society. 105-120

Theorem Proving and Logic II

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

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
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
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
William A. Woods, John Makhoul: Mechanical Inference Prohlems in Continuous Speech Understanding. 200-207
Donald E. Walker: Speech Understanding Through Syntactic and Semantic Analysis. 208-215
William H. Paxton, Ann E. Robinson: A Parser for a Speech Understanding System. 216-222

Formalisms for AI

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

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
Gary G. Hendrix, C. W. Thompson, Jonathan Slocum: Language Processing Via Canonical Verbs and Semantic Models. 262-269
Yorick Wilks: Understanding Without Proofs. 270-277
Horace Enea, Kenneth Mark Colby: Idiolectic Language-Analysis for Understanding Doctor-Patient Dialogues. 278-284
Makoto Nagao, Jun'ichi Tsujii: Mechanism of Deduction in a Question-Answering System with Natural Language Inputd. 285-290

Robot Implementations

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

Natural Language: Semantics and Parsing

Eugene Charniak: Jack and Janet in Search of a Theory of Knowledge. 337-343
James R. Carbonell, Allan M. Collins: Natural Semantics in Artificial Intelligence. 344-351
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
Kenneth Biss, Robert T. Chien, Fred A. Stahl, Steven J. Weissman: Semantic Modeling for Deductive Question-Answering. 356-363
Bertram C. Bruce: Case Structure Systems. 364-371
Vaughan R. Pratt: A Linguistics Oriented Programming Language. 372-382

Robot Problem Solving

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

Psychology and AI

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

Automatic Programming

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

Computer Vision

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

General Problem Solving

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

Perception for Robots

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

Hardware and Software for AI

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

Last update Sat May 25 18:28:51 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page