Defeasible Logic Programming: An Argumentative Approach
Logical models of argument