Modeling and verifying context-aware non-monotonic reasoning agents.

Abdur Rakib, Hafiz Mahfooz Ul Haque

Browse the full MEMOCODE paper archive.