Reasoning about belief, goal and exceptions in multi-agent cooperation logics.

Xianwei Lai, Shanli Hu, Zhengyuan Ning, Xiuli Wang

Browse the full ISKE paper archive.