A Non-monotonic Logic for Specifying and Querying Preferences