Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension.

Liangda Fang, Hai Wan, Xianqiao Liu, Biqing Fang, Zhao-Rong Lai

Browse the full AAAI paper archive.