Reasoning about the garden of forking paths.

Yao Li Li-yao Xia Stephanie Weirich

Published in: CoRR (2021)

Keyphrases

qualitative reasoning
formal theory
shortest path
database
databases
multimedia
website
computational complexity
digital libraries
spatial reasoning