Ji Ma Mehmet A. Orgun Abdul Sattar Kamel Adi Temporalised Epistemic Logic for Reasoning about Agent-Based Systems. 474-477 2009 Web Intelligence/IAT Workshops http://dx.doi.org/10.1109/WI-IAT.2009.329 conf/iat/2009w db/conf/iat/iatw2009.html#MaOSA09