A Non-Monotonic Goal Specification Language for Planning with Preferences
Temporal and Modal Logic