A formal model for user preference | IEEE Conference Publication | IEEE Xplore