<--Previous  Up  Next-->



Planning

The propplan representation of a STRIPS action uses propositional quantification.