Chuchang Liu Maris A. Ozols Mehmet A. Orgun A Fibred Belief Logic for Multi-agent Systems. 29-38 2005 conf/ausai/2005 Australian Conference on Artificial Intelligence http://dx.doi.org/10.1007/11589990_6 db/conf/ausai/ausai2005.html#LiuOO05