Art
J-GLOBAL ID：201602007478522861   Reference number：72A0261830

STRIPS: A new approach to the application of theorem proving to problem solving

STRIPS 問題解決への定理証明の応用に対する新しい接近
  • Publisher site Copy service
  • Access JDreamⅢ for advanced search and analysis.
Author (2)：
FIKES R E

About FIKES R E

, 
NILSSON N J

About NILSSON N J


Material：
Artif Intell  (Artificial Intelligence)

About Artif Intell


Volume： 2  Issue： 3/4  Page： 189-208  Publication year： 1971 
JST Material Number： E0180C  ISSN： 0004-3702  Document type： Article
Article type： 原著論文  Country of issue： Netherlands (NLD)  Language： ENGLISH (EN)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
プログラミングシステム

About プログラミングシステム

, 
計算機プログラム

About 計算機プログラム

, 
述語論理

About 述語論理

, 
問題解決

About 問題解決


Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
ロブット

About ロブット

, 
人工頭脳

About 人工頭脳

, 
定理証明

About 定理証明


Terms in the title (4)：
Terms in the title
Keywords automatically extracted from the title.
問題解決

About 問題解決

, 
定理証明

About 定理証明

, 
応用

About 応用

, 
接近

About 接近


Return to Previous Page

TOP

BOTTOM