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
export record as
dblp key:
export record as
dblp key:
Ira Pohl :
The Avoidance of (Relative) Catastrophe, Heuristic Competence, Genuine Dynamic Weighting and Computational Issues in Heuristic Problem Solving.
12-17
export record as
dblp key:
T. B. Boffey :
Some Theoretical Results Concerning Automated Game-Playing.
18-22
export record as
dblp key:
Theorem Proving and Logic I
export record as
dblp key:
export record as
dblp key:
Raymond Reiter :
A Semantically Guided Deductive System for Automatic Theorem-Proving.
41-46
export record as
dblp key:
David Gelperin :
Deletion-Directed Search in Resolution-Dased Proof Procedures.
47-50
export record as
dblp key:
export record as
dblp key:
Applications and Implementations of AI
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
N. S. Sridharan :
Search Strategies for the Task of Organic Chemical Synthesis.
95-104
export record as
dblp key:
conf/ijcai/FirscheinFCT73
Theorem Proving and Logic II
export record as
dblp key:
export record as
dblp key:
Alan Bundy :
Doing Arithmetic with Diagrams.
130-138
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Ryszard S. Michalski :
Discovering Classification Rules Using variable-Valued Logic System VL_1.
162-172
Natural Language:
Speech
export record as
dblp key:
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
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Donald E. Walker :
Speech Understanding Through Syntactic and Semantic Analysis.
208-215
export record as
dblp key:
Formalisms for AI
export record as
dblp key:
export record as
dblp key:
Erik Sandewall :
Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs.
230-234
export record as
dblp key:
export record as
dblp key:
Daniel G. Bobrow :
A Model for Control Structures for Artificial Intelligence Programming Languages.
246-254
Natural Language:
Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Robot Implementations
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ijcai/OkhotsimskiP73 export record as
dblp key:
Natural Language:
Semantics and Parsing
export record as
dblp key:
Eugene Charniak :
Jack and Janet in Search of a Theory of Knowledge.
337-343
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Robot Problem Solving
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Leonard Uhr :
DECIDER-l: A System that Chooses Among Different Types of Acts.
396-401
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Psychology and AI
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Automatic Programming
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Ben Wegbreit :
Heuristic Methods for Mechanically Deriving Inductive Assertions.
524-536
export record as
dblp key:
Computer Vision
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Ruzena Bajcsy :
Computer Description of Textured Surfaces.
572-579
export record as
dblp key:
General Problem Solving
export record as
dblp key:
Gregory Dean Gibbons :
POPS: An Application of Heuristic Search Methods to the Processing of a Nondeterministic Programming Language.
589-600
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
V. L. Stefanuk :
On a Local Approach to Representation in Problem Solving.
612-617
export record as
dblp key:
Chitoor V. Srinivasan :
The Architecture of Coherent Information System: A General Problem Solving System.
618-628
Perception for Robots
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Irwin Sobel :
On Calibrating Computer Controlled Cameras for Perceiving 3-D Scenes.
648-657
export record as
dblp key:
export record as
dblp key:
Hardware and Software for AI
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ijcai/MylopoulosBMR73 export record as
dblp key:
data released under the ODC-BY 1.0 license
