A Non-Monotonic Goal Specification Language for Planning with Preferences
A Logic for Default Reasoning