Variable forgetting in reasoning about knowledge

Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang

    Research output: Contribution to journalArticle

    Fingerprint

    Dive into the research topics of 'Variable forgetting in reasoning about knowledge'. Together they form a unique fingerprint.

    Computer Science