STRIPS
Sign in to saveAlso known as Stanford Research Institute Problem Solver
artificial intelligence system for automated planning
Connections
International Standard Book Number
Entity
digital object identifier
Entity
propositional calculus
Entity
formal language
Entity
reinforcement learning
Entity
Q22908627
Entity
NP-complete
Entity
P
Entity
predicate
Entity
SRI International
Entity
Stuart J. Russell
Entity
CiteSeerX
Entity
Peter Norvig
Entity
computational complexity
Entity
PSPACE
Entity
genetic programming
Entity
automated planning and scheduling
Entity
propositional variable
Entity
free and bound variables
Entity
Nils John Nilsson
Entity