STRIPS
Finite-state machine
FO
Action description language
GOAL agent programming language
Automated planning and scheduling
Artificial intelligence
Hierarchical task network