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

Artificial Intelligence

Volumn 2, Issue 3-4, 1971, Pages 189-208

  Fikes, Richard E ^a   Nilsson, Nils J ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

heuristic search; Problem solving; robot planning; theorem proving

Indexed keywords

EID: 2842560201     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(71)90010-5     Document Type: Article

References (11)

1. Robot planning, execution, and monitoring in an uncertain environment
2. Monitored execution of robot plans produced by STRIPS
3. Application of theorem proving to problem solving
4. The frame problem in problem-solving systems
5. GPS: A Case Study in Generality and Problem Solving
6. User's guide to QA3.5 Question-Answering System
7. PROW: A step toward automatic program writing
8. Towards automatic program synthesis
9. The constitution of generalized plans as an approach toward learning
10. PLANNER: A language for Manipulating models and proving theorems in a robot