Rakib, Abdur, Haque, Hafiz Mahfooz Ul, "Modeling and verifying context-aware non-monotonic reasoning agents", , 2015