Nonmonotonic reasoning for Web-based intelligent payment services | IEEE Conference Publication | IEEE Xplore