%0 Conference Paper %1 conf/aaai/SidorovCWD24 %A Sidorov, Konstantin %A Correia, Gonçalo Homem De Almeida %A de Weerdt, Mathijs %A Demirovic, Emir %B AAAI %D 2024 %E Wooldridge, Michael J. %E Dy, Jennifer G. %E Natarajan, Sriraam %I AAAI Press %K dblp %P 20794-20802 %T Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2024.html#SidorovCWD24

@inproceedings{conf/aaai/SidorovCWD24, added-at = {2024-04-02T00:00:00.000+0200}, author = {Sidorov, Konstantin and Correia, Gonçalo Homem De Almeida and de Weerdt, Mathijs and Demirovic, Emir}, biburl = {https://www.bibsonomy.org/bibtex/2d5dd3910889c0e60d90b07bd8b4e9c62/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2024}, editor = {Wooldridge, Michael J. and Dy, Jennifer G. and Natarajan, Sriraam}, ee = {https://doi.org/10.1609/aaai.v38i18.30068}, interhash = {71389d141f6f397e1ea6a615dc55c881}, intrahash = {d5dd3910889c0e60d90b07bd8b4e9c62}, keywords = {dblp}, pages = {20794-20802}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:10:47.000+0200}, title = {Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2024.html#SidorovCWD24}, year = 2024 }