论文信息 - Pointing to places in a deductive geospatial theory - 字舞流文

Pointing to places in a deductive geospatial theory

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.

Richard Waldinger | Peter Jarvis | Jennifer Dungan | R. Waldinger | J. Dungan | P. Jarvis

[1] Zohar Manna,et al. A Deductive Approach to Program Synthesis , 1979, TOPL.

[2] Frederico T. Fonseca,et al. Semantic Granularity in Ontology-Driven Geographic Information Systems , 2002, Annals of Mathematics and Artificial Intelligence.

[3] Martin Reddy,et al. TerraVision II: Visualizing Massive Terrain Databases in VRML , 1999, IEEE Computer Graphics and Applications.

[4] Michael R. Genesereth,et al. Infomaster: an information integration system , 1997, SIGMOD '97.

[5] Douglas E. Appelt,et al. GEMINI: A Natural Language System for Spoken-Language Understanding , 1993, ACL.

[6] Craig A. Knoblock,et al. The Ariadne Approach to Web-Based Information Integration , 2001, Int. J. Cooperative Inf. Syst..

[7] James Frew,et al. Geographic Names: The Implementation of a Gazetteer in a Georeferenced Digital Library , 1999, D Lib Mag..

[8] Zohar Manna,et al. A Deductive Approach to Program Synthesis , 1979, TOPL.

[9] Ramanathan V. Guha,et al. Enabling agents to work together , 1994, CACM.

[10] Richard Waldinger,et al. A Guide to Snark , 2000 .