On the logics of image interpretation: model-construction in a formal knowledge-representation framework | IEEE Conference Publication | IEEE Xplore