Reasoning about belief, goal and exceptions in multi-agent cooperation logics | IEEE Conference Publication | IEEE Xplore