  Defeasible logics provide several linguistic features to support the
expression of defeasible knowledge. There is also a wide variety of such
logics, expressing different intuitions about defeasible reasoning. However,
the logics can only combine in trivial ways. This limits their usefulness in
contexts where different intuitions are at play in different aspects of a
problem. In particular, in some legal settings, different actors have different
burdens of proof, which might be expressed as reasoning in different defeasible
logics.
  In this paper, we introduce annotated defeasible logic as a flexible
formalism permitting multiple forms of defeasibility, and establish some
properties of the formalism.
  This paper is under consideration for acceptance in Theory and Practice of
Logic Programming.
