Cognitive dependency logic.

Chang Su, Changle Zhou, Yijiang Chen

Browse the full ISKE paper archive.