Using Abductive Logic Agents for Modeling the Judicial Evaluation of Criminal Evidence