An extended logic programming based multi-agent system formalization in mobile environmentsJianwen ChenYan Zhang2004CIKM 2004