%0 Conference Paper %1 conf/aaai/YuISN023 %A Yu, Jinqiang %A Ignatiev, Alexey %A Stuckey, Peter J. %A Narodytska, Nina %A Marques-Silva, João %B AAAI %D 2023 %E Williams, Brian %E Chen, Yiling %E Neville, Jennifer %I AAAI Press %K dblp %P 4123-4131 %T Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2023.html#YuISN023 %@ 978-1-57735-880-0

@inproceedings{conf/aaai/YuISN023, added-at = {2023-09-04T00:00:00.000+0200}, author = {Yu, Jinqiang and Ignatiev, Alexey and Stuckey, Peter J. and Narodytska, Nina and Marques-Silva, João}, biburl = {https://www.bibsonomy.org/bibtex/260f65b9e3f7773ffacb0319da699826d/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2023}, editor = {Williams, Brian and Chen, Yiling and Neville, Jennifer}, ee = {https://doi.org/10.1609/aaai.v37i4.25528}, interhash = {0b18b8f20c4c6988110f58031cf64f30}, intrahash = {60f65b9e3f7773ffacb0319da699826d}, isbn = {978-1-57735-880-0}, keywords = {dblp}, pages = {4123-4131}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:07:47.000+0200}, title = {Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2023.html#YuISN023}, year = 2023 }