Software
CRISNER
I have developed the only reasoner for reasoning with qualitative preferences expressed in the languages of CP-nets, TCP-nets, CP-theories and CI-nets. It is efficient for practically useful number of preference statements and preference variables. It uses BDDs and the NuSMV model checker to answer preference dominance, preference equivalence, preference subsumption and preference consistency. The latest version is available upon request. For more details about CRISNER, see: