Object-oriented logic programming of 3D intelligent video surveillance: The problem statement | IEEE Conference Publication | IEEE Xplore