Marina De Vos Tom Crick Julian A. Padget Martin Brain Owen Cliffe Jonathan Needham LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming. 72-88 2005 conf/dalt/2005 DALT http://dx.doi.org/10.1007/11691792_5 db/conf/dalt/dalt2005.html#VosCPBCN05