BibTeX record conf/aaai/YuISN023

• > Home > conf/aaai/YuISN023

@inproceedings{DBLP:conf/aaai/YuISN023,
  author       = {Jinqiang Yu and
                  Alexey Ignatiev and
                  Peter J. Stuckey and
                  Nina Narodytska and
                  Jo{\~{a}}o Marques{-}Silva},
  editor       = {Brian Williams and
                  Yiling Chen and
                  Jennifer Neville},
  title        = {Eliminating the Impossible, Whatever Remains Must Be True: On Extracting
                  and Applying Background Knowledge in the Context of Formal Explanations},
  booktitle    = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2023, Thirty-Fifth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
                  7-14, 2023},
  pages        = {4123--4131},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/aaai.v37i4.25528},
  doi          = {10.1609/AAAI.V37I4.25528},
  timestamp    = {Mon, 04 Sep 2023 16:50:28 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/YuISN023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}