Deductive Approach to Processing High-Level Video Activity Queries in UAV Networks | IEEE Conference Publication | IEEE Xplore