From logical inference to decision trees in medical diagnosis | IEEE Conference Publication | IEEE Xplore