Reasoning about connectivity without paths.

Alberto Casagrande Eugenio G. Omodeo

Published in: ICTCS (2014)

Keyphrases

formal theory
connected components
artificial intelligence
shortest path
qualitative reasoning
topological properties
databases
neural network
search engine
knowledge base
optimal solution
causal reasoning