Semi-Supervised Abductive Learning and Its Application to Theft Judicial Sentencing | IEEE Conference Publication | IEEE Xplore