A new knowledge representation method for Battle Management Language | IEEE Conference Publication | IEEE Xplore