Andrew Courter Texas Tech University CS5331. PKS Why PKS? STRIPS The Databases Inference Algorithm Extended Features PKS Examples Conclusion and.