Modeling and verifying context-aware non-monotonic reasoning agents | IEEE Conference Publication | IEEE Xplore