Incremental Reasoning on Strongly Distributed Multi-agent Systems | IEEE Conference Publication | IEEE Xplore