Using interval temporal logic and inference rules for the automatic generation of multimedia presentations | IEEE Conference Publication | IEEE Xplore