A complete first-order temporal BDI logic for forest multi-agent systems

Lijun Wu, Kaile Su, Abdul Sattar, Qingliang Chen, Jinshu Su, Wei Wu. A complete first-order temporal BDI logic for forest multi-agent systems. Knowl.-Based Syst., 27:343-351, 2012. [doi]

Abstract

Abstract is missing.