A first-order coalition logic for BDI-agents

Qingliang Chen, Kaile Su, Abdul Sattar, Xiangyu Luo, Aixiang Chen. A first-order coalition logic for BDI-agents. Frontiers of Computer Science in China, 10(2):233-245, 2016. [doi]

Abstract

Abstract is missing.