Prioritized Sequent-Based Argumentation

In this paper we integrate priorities in sequent-based argumentation. The former is a useful and extensively investigated tool in the context of non-monotonic reasoning, and the latter is a modular and general way of handling logical argumentation. Their combination offers a platform for representing and reasoning with maximally consistent subsets of prioritized knowledge bases. Moreover, many frameworks of the resulting formalisms satisfy common rationality postulates and other desirable properties, like conflict preservation.