A Non-monotonic Goal Specification Language for Planning with Preferences.

Published in: Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)