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]

Authors

Qingliang Chen

This author has not been identified. Look up 'Qingliang Chen' in Google

Kaile Su

This author has not been identified. Look up 'Kaile Su' in Google

Abdul Sattar

This author has not been identified. Look up 'Abdul Sattar' in Google

Xiangyu Luo

This author has not been identified. Look up 'Xiangyu Luo' in Google

Aixiang Chen

This author has not been identified. Look up 'Aixiang Chen' in Google