Mathematical logic models for decision support systems in the case of incomplete information | IEEE Conference Publication | IEEE Xplore