%0 Conference Paper %1 conf/kr/LeofanteBR23 %A Leofante, Francesco %A Botoeva, Elena %A Rajani, Vineet %B KR %D 2023 %E Marquis, Pierre %E Son, Tran Cao %E Kern-Isberner, Gabriele %K dblp %P 763-768 %T Counterfactual Explanations and Model Multiplicity: a Relational Verification View. %U http://dblp.uni-trier.de/db/conf/kr/kr2023.html#LeofanteBR23 %@ 978-1-956792-02-7

@inproceedings{conf/kr/LeofanteBR23, added-at = {2023-09-05T00:00:00.000+0200}, author = {Leofante, Francesco and Botoeva, Elena and Rajani, Vineet}, biburl = {https://www.bibsonomy.org/bibtex/2eb4746b0bf754a466679d9e5d1de9a34/dblp}, booktitle = {KR}, crossref = {conf/kr/2023}, editor = {Marquis, Pierre and Son, Tran Cao and Kern-Isberner, Gabriele}, ee = {https://doi.org/10.24963/kr.2023/78}, interhash = {ebe28f26ea8bab683768d6d6f6f1d163}, intrahash = {eb4746b0bf754a466679d9e5d1de9a34}, isbn = {978-1-956792-02-7}, keywords = {dblp}, pages = {763-768}, timestamp = {2024-04-09T23:53:57.000+0200}, title = {Counterfactual Explanations and Model Multiplicity: a Relational Verification View.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2023.html#LeofanteBR23}, year = 2023 }