k-Nearest Neighbor Classification on First-Order Logic Descriptions | IEEE Conference Publication | IEEE Xplore