Probabilistic logic for multi-robot event recognition | IEEE Conference Publication | IEEE Xplore