Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 1-5 of 9
Page 526
... Papers 3d Intl . Conf . on Artificial Intelligence , Stanford Univ . , Stanford , CA , Aug. 1973. ( VIS ) Allen , John and Luckham , David ( 1970 ) , " An Inter- active Theorem - Proving Program , " Machine Intelli- gence , Vol . 5 ...
... Papers 3d Intl . Conf . on Artificial Intelligence , Stanford Univ . , Stanford , CA , Aug. 1973. ( VIS ) Allen , John and Luckham , David ( 1970 ) , " An Inter- active Theorem - Proving Program , " Machine Intelli- gence , Vol . 5 ...
Page 527
... Papers 3d Intl . Conf . on Artificial Intelligence , Stanford Univ . , Stanford , CA , Aug. 1973. ( GAME ) Bernstein , A. et al . ( 1959 ) , " A Chess Playing Program for the IBN 704 , " Proc . Western Joint Comp . Conf . AIEE , 157-159 ...
... Papers 3d Intl . Conf . on Artificial Intelligence , Stanford Univ . , Stanford , CA , Aug. 1973. ( GAME ) Bernstein , A. et al . ( 1959 ) , " A Chess Playing Program for the IBN 704 , " Proc . Western Joint Comp . Conf . AIEE , 157-159 ...
Page 528
... Intl . Joint Conf . on Artificial Intelligence , Imperial College , London , 1971. ( AIDS ) Edmundson , H. P. , ed ... Papers 3d Intl . Conf . on Artificial Intelligence , 278-284 , Stanford Univ . , Stanford , CA , 1973. ( LANG ) ...
... Intl . Joint Conf . on Artificial Intelligence , Imperial College , London , 1971. ( AIDS ) Edmundson , H. P. , ed ... Papers 3d Intl . Conf . on Artificial Intelligence , 278-284 , Stanford Univ . , Stanford , CA , 1973. ( LANG ) ...
Page 529
... Papers 3d Intl . Conf . on Artificial Intelligence , Stanford Univ . , Stanford , CA , Aug. 1973. ( GEN ) Fischler , Martin A. and Elschlager , Robert A. ( 1973 ) , " The Representation and Matching of Pictorial Structures , " IEEE ...
... Papers 3d Intl . Conf . on Artificial Intelligence , Stanford Univ . , Stanford , CA , Aug. 1973. ( GEN ) Fischler , Martin A. and Elschlager , Robert A. ( 1973 ) , " The Representation and Matching of Pictorial Structures , " IEEE ...
Page 530
... Papers 3d Intl . Conf . on Artificial Intelligence , Stanford Univ . , Stanford , CA , Aug. 1973. ( LANG ) Hewitt , C. ( 1969 ) , " PLANNER : A Language for Proving Theorems in Robots , " 1st Intl . Joint Conf . on Artificial ...
... Papers 3d Intl . Conf . on Artificial Intelligence , Stanford Univ . , Stanford , CA , Aug. 1973. ( LANG ) Hewitt , C. ( 1969 ) , " PLANNER : A Language for Proving Theorems in Robots , " 1st Intl . Joint Conf . on Artificial ...
Other editions - View all
Common terms and phrases
algorithms Allen Newell analysis applications areas Artificial Intelligence automated base basic behavior capabilities centers complex computer programs computer science computer systems concepts Conf construction cost DENDRAL devices discussion domain elements engineering environment example existing experience exploration Feigenbaum Figure functions GAME goal hardware heuristic programming heuristic search human hypotheses ill-structured problems inference information processing input intelligence and robotics interaction knowledge learning logic machine intelligence man-machine systems manipulators Marvin Minsky mathematical mechanisms memory ment methods Minsky mission operations MYCIN NASA NASA's Natural Language Newell Papers 3d Intl pattern recognition performance planetary planning problem solving problem space problem statement Proc procedure processor Project Project MAC PSYC psychology representation rover rules sensors sequence Simon simplex method solution solver spacecraft Stanford Research Institute Stanford Univ structure Study Group subproblems symbolic task Tech techniques TEIRESIAS teleoperator theory tion