What are some key limitations of STRIPS?
States are represented simply as a conjuction of positive literals, e.g. "poor ^ unknown", goals are conjunctions (no disjunction allowed), no support for equality.
Consistency for CSP
SLS for CSP
Belief and Decision Networks
STRIPS to CSP