doi dblp An extended logic programming based multi-agent system formalization in mobile environments Jianwen Chen | Yan Zhang Proceedings of the 2004 ACM CIKM International Conference on Information and Knowledge Management, Washington, DC, USA, November 8-13, 2004