1. Computational Complexity: A Modern Approach;Arora,2009
2. An abstract logical approach to characterizing strong equivalence in logic-based knowledge representation formalisms;Baumann,2016
3. Alert correlation based on a logical handling of administrator preferences and knowledge;Benferhat,2008
4. Two alternatives for handling preferences in qualitative choice logic;Benferhat;Fuzzy Sets Syst.,2008
5. Everything else being equal: a modal logic for ceteris paribus preferences;van Benthem;J. Philos. Log.,2009