Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 1-5 of 11
Page 526
... Univ . , Stanford , CA , July 1972. Available as Stanford Artificial Intelligence Laboratory Memo AIM - 173 , Oct. 1972 . ( VIS ) Agin , Gerald J. and Binford , Thomas O. ( 1973 ) , " Computer Description of Curved Objects , " Adv ...
... Univ . , Stanford , CA , July 1972. Available as Stanford Artificial Intelligence Laboratory Memo AIM - 173 , Oct. 1972 . ( VIS ) Agin , Gerald J. and Binford , Thomas O. ( 1973 ) , " Computer Description of Curved Objects , " Adv ...
Page 527
... Univ . , Stanford , CA , Aug. 1973. ( GAME ) Bernstein , A. et al . ( 1959 ) , " A Chess Playing Program for the IBM 704 , " Proc . Western Joint Comp . Conf . AIEE , 157-159 , Mar. 1959. ( GAME ) Blair , F. W. , Griesmer , J. H. , and ...
... Univ . , Stanford , CA , Aug. 1973. ( GAME ) Bernstein , A. et al . ( 1959 ) , " A Chess Playing Program for the IBM 704 , " Proc . Western Joint Comp . Conf . AIEE , 157-159 , Mar. 1959. ( GAME ) Blair , F. W. , Griesmer , J. H. , and ...
Page 528
... Univ . Press , Edinburgh . ( TP ) Davies , D. J. N. ( 1971 ) , " POPLER : A POP - 2 Planner , " Memo MIP - R - 89 , School of Artificial Intelligence , Univ . of Edinburgh . ( SYS ) Davis , M. and Putnam , H. ( 1960 ) , " A Computing ...
... Univ . Press , Edinburgh . ( TP ) Davies , D. J. N. ( 1971 ) , " POPLER : A POP - 2 Planner , " Memo MIP - R - 89 , School of Artificial Intelligence , Univ . of Edinburgh . ( SYS ) Davis , M. and Putnam , H. ( 1960 ) , " A Computing ...
Page 529
... Univ . Press , Edinburgh , 1972. ( ROB - G ) Firschein , Oscar et al . ( 1973 ) , " Forecasting and Assessing the Impact of Artificial Intelligence on Society , " Adv . Papers 3d Intl . Conf . on Artificial Intelligence , Stanford Univ ...
... Univ . Press , Edinburgh , 1972. ( ROB - G ) Firschein , Oscar et al . ( 1973 ) , " Forecasting and Assessing the Impact of Artificial Intelligence on Society , " Adv . Papers 3d Intl . Conf . on Artificial Intelligence , Stanford Univ ...
Page 530
... Univ . , Stanford , CA , Aug. 1973. ( LANG ) Hewitt , C. ( 1969 ) , " PLANNER : A Language for Proving Theorems in Robots , " 1st Intl . Joint Conf . on Artificial Intelligence , Washington , D.C. , 1969 . ( REP , SYS , DED ) Hewitt , C ...
... Univ . , Stanford , CA , Aug. 1973. ( LANG ) Hewitt , C. ( 1969 ) , " PLANNER : A Language for Proving Theorems in Robots , " 1st Intl . Joint Conf . on Artificial Intelligence , Washington , D.C. , 1969 . ( REP , SYS , DED ) Hewitt , C ...
Other editions - View all
Common terms and phrases
algorithms Allen Newell analysis applications areas Artificial Intelligence automated base basic behavior Chart chess complex computer science concepts Conf construction DENDRAL domain element engineering example experience Feigenbaum Feldman Figure function GAME generate-and-test goal H. A. Simon heuristic programming heuristic search human hypotheses ill-structured problems inference Information Processing input intelligence and robotics INTERLISP knowledge logic Logic Theorist machine intelligence manipulators mathematical mechanisms Memo memory methods Michie Minsky mission operations MYCIN NASA NASA's Natural Language Newell ORGANISM-1 Papers 3d Intl pattern recognition performance problem solving problem space problem statement Proc procedure Project Project MAC PSYC psychology representation rover rules Semantic sensors sequence Simon simplex method Slagle solution solver spacecraft Stanford Research Institute Stanford Univ structure Study Group symbolic task Tech techniques TEIRESIAS teleoperator theorem proving theory tion variables York