BibTeX record conf/kr/LeofanteBR23

download as .bib file

@inproceedings{DBLP:conf/kr/LeofanteBR23,
  author       = {Francesco Leofante and
                  Elena Botoeva and
                  Vineet Rajani},
  editor       = {Pierre Marquis and
                  Tran Cao Son and
                  Gabriele Kern{-}Isberner},
  title        = {Counterfactual Explanations and Model Multiplicity: a Relational Verification
                  View},
  booktitle    = {Proceedings of the 20th International Conference on Principles of
                  Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
                  September 2-8, 2023},
  pages        = {763--768},
  year         = {2023},
  url          = {https://doi.org/10.24963/kr.2023/78},
  doi          = {10.24963/KR.2023/78},
  timestamp    = {Tue, 05 Sep 2023 14:50:53 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/LeofanteBR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics