@inproceedings{CIKM-2004-ChenZ,
	author        = "Jianwen Chen and Yan Zhang",
	booktitle     = "{Proceedings of the 13th ACM International Conference on Information and Knowledge Management}",
	doi           = "10.1145/1031171.1031206",
	isbn          = "1-58113-874-1",
	pages         = "166--167",
	publisher     = "{ACM}",
	title         = "{An extended logic programming based multi-agent system formalization in mobile environments}",
	year          = 2004,
}