A formal theory for reasoning about parthood, connection, and location.

Maureen Donnelly

Published in: Artif. Intell. (2004)

Keyphrases

formal theory
belief update
spatial reasoning
commonsense reasoning
information retrieval
information systems
spatial relations
genetic algorithm
website
complex systems
location information