Modeling evacuation planning using A-Prolog | IEEE Conference Publication | IEEE Xplore