PEL-CNF: Probabilistic event logic conjunctive normal form for video interpretation | IEEE Conference Publication | IEEE Xplore