Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths.

Konstantin Sidorov, Gonalo Homem de Almeida Correia, Mathijs de Weerdt, Emir Demirovic

Browse the full AAAI paper archive.