1. Alchourron C, Gärdenfors P, Makinson D (1985) On the logic of theory change: partial meet functions for contraction and revision. J Symb Log 50(2):510–530
2. Lecture notes in artificial intelligence. Logics for AI;J Ben-Naim,2004
3. Benferhat S, Cayrol C, Dubois D, Lang J, Prade H (1993) Inconsistency management and prioritized syntax-based entailment. In: Proceedings of IJCAI93, pp 640–645
4. Brewka G, Niemelä I, Truszczynski M (2003) Answer set optimization. In: Proceedings of eighteenth international joint conference on artificial intelligence (IJCAI’03), pp 867–872
5. Buccafurri F, Faber W, Leone N (1999) Disjunctive logic programs with inheritance. In: Proceedings of the 1997 international conference on logic programming. MIT Press, Cambridge, pp 79–93