Dynamic reasoning in an intelligent user interface by an index-maximizing LP model | IEEE Conference Publication | IEEE Xplore