Prädikatenlogik und symbolische Planung

First-order logic 
Planungsproblem 
Planen 
Plan 
STRIPS-Sprache 
Partieller Plan 
Operationen mit partiellen Plänen 
Zustandsraum vs. Planungsraum 
Plan - Complete 
Plan - Consitency 
Vorbedingung 
POP-Algorithmus 
Threat 
Eigenschaften von POP