DR-NEGOTIATE - a system for automated agent negotiation with defeasible logic-based strategies
Representation results for defeasible logic