M.M.: Derivation of ontological relations using formal methods in a situation awareness scenario (2003)

by C J Matheus, K P Baclawski, Kokar
Venue:In: Proceedings of SPIE