Dynamic Logic learning in cognitive-based situation models | IEEE Conference Publication | IEEE Xplore