%0 Conference Paper %1 conf/ijcai/KimMSAS19 %A Kim, Joseph %A Muise, Christian %A Shah, Ankit %A Agarwal, Shubham %A Shah, Julie %B IJCAI %D 2019 %E Kraus, Sarit %I ijcai.org %K dblp %P 5591-5598 %T Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2019.html#KimMSAS19

@inproceedings{conf/ijcai/KimMSAS19, added-at = {2022-01-03T00:00:00.000+0100}, author = {Kim, Joseph and Muise, Christian and Shah, Ankit and Agarwal, Shubham and Shah, Julie}, biburl = {https://www.bibsonomy.org/bibtex/265a186ec212dcfde069e1f251345e68c/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2019}, editor = {Kraus, Sarit}, ee = {https://doi.org/10.24963/ijcai.2019/776}, interhash = {a8a6f830cb2f13251f48925588311e5a}, intrahash = {65a186ec212dcfde069e1f251345e68c}, keywords = {dblp}, pages = {5591-5598}, publisher = {ijcai.org}, timestamp = {2024-04-10T11:29:22.000+0200}, title = {Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2019.html#KimMSAS19}, year = 2019 }