Roberto Montagna Giorgio Delzanno Maurizio Martelli Viviana Mascardi BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems. 214-223 2005 conf/eumas/2005 EUMAS db/conf/eumas/eumas2005.html#MontagnaDMM05