Reasoning about Knowledge by Variable Forgetting.

Kaile Su, Guanfeng Lv, Yan Zhang

Browse the full KR paper archive.