Argumentation Methods for Artificial Intelligence in Law