BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems.

Roberto Montagna, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi

Browse the full EUMAS paper archive.