ASPIC_PLUS

ASPIC+ (Modgil and Prakken 2013, 2014): strict and defeasible rules, axioms and ordinary premises, contraries, preferences weighed as orderingPrinciple and orderingComparator state, restricted rebut (only on a conclusion of a defeasible rule, rebutRestriction); the strict rules closed under transposition, which the rationality postulates need (Caminada and Amgoud 2007)