Reasoning about knowledge to understand distributed AI systems | IEEE Journals & Magazine | IEEE Xplore