Towards logic programming based coordination in virtual worlds | IEEE Conference Publication | IEEE Xplore