Nils J. Nilsson (Ed.):
Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, CA, August 1973.
William Kaufmann 1973
3. IJCAI 1973:
Standford, California, USA
Theory of Heuristic Search
: The Avoidance of (Relative) Catastrophe, Heuristic Competence, Genuine Dynamic Weighting and Computational Issues in Heuristic Problem Solving.
T. B. Boffey
: Some Theoretical Results Concerning Automated Game-Playing.
Theorem Proving and Logic I
: A Semantically Guided Deductive System for Automatic Theorem-Proving.
: Deletion-Directed Search in Resolution-Dased Proof Procedures.
Applications and Implementations of AI
N. S. Sridharan
: Search Strategies for the Task of Organic Chemical Synthesis.
Theorem Proving and Logic II
: Doing Arithmetic with Diagrams.
Ryszard S. Michalski
: Discovering Classification Rules Using variable-Valued Logic System VL_1.
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.
Donald E. Walker
: Speech Understanding Through Syntactic and Semantic Analysis.
Formalisms for AI
: Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs.
Daniel G. Bobrow
: A Model for Control Structures for Artificial Intelligence Programming Languages.
Semantics and Parsing
: Jack and Janet in Search of a Theory of Knowledge.
Robot Problem Solving
: DECIDER-l: A System that Chooses Among Different Types of Acts.
Psychology and AI
: Heuristic Methods for Mechanically Deriving Inductive Assertions.
: Computer Description of Textured Surfaces.
General Problem Solving
Gregory Dean Gibbons
: POPS: An Application of Heuristic Search Methods to the Processing of a Nondeterministic Programming Language.
V. L. Stefanuk
: On a Local Approach to Representation in Problem Solving.
Chitoor V. Srinivasan
: The Architecture of Coherent Information System: A General Problem Solving System.
Perception for Robots
: On Calibrating Computer Controlled Cameras for Perceiving 3-D Scenes.
Hardware and Software for AI