Login / Signup
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
Published in:
AAAI (2018)
Keyphrases
</>
propositional logic
propositional formulas
belief revision
belief change
belief update
artificial intelligence
knowledge base
orders of magnitude
heuristic search