A Symbolic-AI Approach for UAV Exploration Tasks | IEEE Conference Publication | IEEE Xplore