%0 Conference Paper %1 conf/aaai/FangWLFL18 %A Fang, Liangda %A Wan, Hai %A Liu, Xianqiao %A Fang, Biqing %A Lai, Zhao-Rong %B AAAI %D 2018 %E McIlraith, Sheila A. %E Weinberger, Kilian Q. %I AAAI Press %K dblp %P 1835-1844 %T Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2018.html#FangWLFL18

@inproceedings{conf/aaai/FangWLFL18, added-at = {2023-09-04T00:00:00.000+0200}, author = {Fang, Liangda and Wan, Hai and Liu, Xianqiao and Fang, Biqing and Lai, Zhao-Rong}, biburl = {https://www.bibsonomy.org/bibtex/2b9d3259d887d5ca7f96efdde70f8191e/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2018}, editor = {McIlraith, Sheila A. and Weinberger, Kilian Q.}, ee = {https://doi.org/10.1609/aaai.v32i1.11542}, interhash = {1ad611324b8537a97771713daa17a7da}, intrahash = {b9d3259d887d5ca7f96efdde70f8191e}, keywords = {dblp}, pages = {1835-1844}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:09:31.000+0200}, title = {Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2018.html#FangWLFL18}, year = 2018 }