Modeling and Reasoning with ProbLog: An Application in Recognizing Complex Activities | IEEE Conference Publication | IEEE Xplore