Reasoning about the garden of forking paths.

Yao Li Li-yao Xia Stephanie Weirich

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

shortest path
qualitative reasoning
spatial reasoning
neural network
information retrieval
objective function
optimal path
machine learning
genetic algorithm
search engine
expert systems
mobile robot
medical images
path finding
formal theory
complete axiomatization