There is no particular planner which is implicit in the Theo architecture. The frame-based nature of the planner can facilitate a STRIPS planner just as easily as a less linear planner. In this manner, different planning algorithms can be tested by Theo.
Once a plan is generated, it is cached to increase the efficiency of the agent by eliminating the need to plan in that situation again.
Go to a discussion of this capability for multiple architectures.