Rakib, Abdur, Haque, Hafiz Mahfooz Ul, "A logic for context-aware non-monotonic reasoning agents", , 2014