Stanford Research Institute Problem Solver
GPTKB entity
Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
|
| gptkbp:abbreviation |
gptkb:STRIPS
|
| gptkbp:countryOfOrigin |
gptkb:Menlo_Park,_California
|
| gptkbp:developedBy |
gptkb:Stanford_Research_Institute
1971 |
| gptkbp:developer |
gptkb:Bertram_Raphael
gptkb:Nils_Nilsson gptkb:Richard_Fikes |
| gptkbp:field |
gptkb:artificial_intelligence
automated planning |
| gptkbp:influenced |
AI planning systems
|
| gptkbp:language |
gptkb:Lisp
|
| gptkbp:notableFor |
introduction of STRIPS formalism
|
| gptkbp:publishedIn |
gptkb:STRIPS:_A_New_Approach_to_the_Application_of_Theorem_Proving_to_Problem_Solving
|
| gptkbp:usedIn |
gptkb:Shakey_the_robot
|
| gptkbp:bfsParent |
gptkb:STRIPS
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Stanford Research Institute Problem Solver
|