Abduction and Contraction for Semantic-Based Mobile Dating in P2P Environments | IEEE Conference Publication | IEEE Xplore