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.
- Ira Pohl:
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.
- Larry R. Harris:
The Bandwidth Heuristic Search.
Theorem Proving and Logic I
Applications and Implementations of AI
Theorem Proving and Logic II
Formalisms for AI
- Robert C. Moore:
D-SCRlPT: A Computational Theory of Descriptions.
- Erik Sandewall:
Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs.
- Carl Hewitt, Peter Bishop, Richard Steiger:
A Universal Modular ACTOR Formalism for Artificial Intelligence.
- Daniel G. Bobrow:
A Model for Control Structures for Artificial Intelligence Programming Languages.
Semantics and Parsing
Robot Problem Solving
Psychology and AI
General Problem Solving
- Gregory Dean Gibbons:
POPS: An Application of Heuristic Search Methods to the Processing of a Nondeterministic Programming Language.
- Robert Balzer:
CASAP: A Testbed for Program Flexibility.
- Stewart N. T. Shen, Edward R. Jones:
A Number Theory Approach to Problem Representation and Solution.
- 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
Hardware and Software for AI
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