Assumption-Based Argumentation with Preferences
... We extend ABA frameworks (L, R, A,¯¯¯) with a preference ordering 6 on the set A of assumptions to obtain ABA+ frameworks (L, R, A,¯¯¯, 6), as follows.
Definition 1. An ABA+ framework is a tuple (L, R, A,¯¯¯, 6), where (L, R, A,¯¯¯) is an ABA
framework and 6 is a transitive binary relation on A.