An Approach to Knowledge-Based Verification of Actions in Planning of Cognitive Agents' Behavior | IEEE Conference Publication | IEEE Xplore