Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations

Yu et al. "Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations." AAAI Conference on Artificial Intelligence, 2023. doi:10.1609/AAAI.V37I4.25528

[Yu et al. "Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations." AAAI Conference on Artificial Intelligence, 2023.](https://mlanthology.org/aaai/2023/yu2023aaai-eliminating/) doi:10.1609/AAAI.V37I4.25528

@inproceedings{yu2023aaai-eliminating,
  title     = {{Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations}},
  author    = {Yu, Jinqiang and Ignatiev, Alexey and Stuckey, Peter J. and Narodytska, Nina and Marques-Silva, João},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2023},
  pages     = {4123-4131},
  doi       = {10.1609/AAAI.V37I4.25528},
  url       = {https://mlanthology.org/aaai/2023/yu2023aaai-eliminating/}
}