Abstract

Issues in the description of places are discussed in the context of a
logical geospatial theory. This theory lies at the core of the system
GeoLogica, which deduces answers to geographical questions based on
knowledge provided by multiple agents.

Associated Projects

A framework is being developed for composing answers to queries, using
automated deduction and multi-agent information brokering, based on
multiple information sources. The technology is being applied to
answering geographical queries for ecological modeling, based on NASA
EOSDIS satellite imagery, map data, and gazetteer information.