Philosophy
American philosophers
Automated planning and scheduling
Hierarchical task network
Partial-order planning
Kurt Gdel
Logic programming
Godel