Using Deduction to Choreograph Multiple Data Sources
暂无分享,去创建一个
[1] Frederico T. Fonseca,et al. Semantic Granularity in Ontology-Driven Geographic Information Systems , 2002, Annals of Mathematics and Artificial Intelligence.
[2] Douglas E. Appelt,et al. GEMINI: A Natural Language System for Spoken-Language Understanding , 1993, ACL.
[3] Craig A. Knoblock,et al. The Ariadne Approach to Web-Based Information Integration , 2001, Int. J. Cooperative Inf. Syst..
[4] James F. Allen,et al. Actions and Events in Interval Temporal Logic , 1994 .
[5] C. Cordell Green,et al. Application of Theorem Proving to Problem Solving , 1969, IJCAI.
[6] Robert G. Raskin,et al. Knowledge representation in the semantic web for Earth and environmental terminology (SWEET) , 2005, Comput. Geosci..
[7] Martin Reddy,et al. TerraVision II: Visualizing Massive Terrain Databases in VRML , 1999, IEEE Computer Graphics and Applications.
[8] Richard Waldinger,et al. A Guide to Snark , 2000 .
[9] Chaitanya K. Baru,et al. Integrating GIS and Imagery Through XML-Based Information Mediation , 1999, Integrated Spatial Databases.
[10] James Frew,et al. Geographic Names: The Implementation of a Gazetteer in a Georeferenced Digital Library , 1999, D Lib Mag..
[11] Michael R. Genesereth,et al. Infomaster: an information integration system , 1997, SIGMOD '97.
[12] Ramanathan V. Guha,et al. Enabling agents to work together , 1994, CACM.
[13] Douglas E. Appelt,et al. NAMED ENTITY EXTRACTION FROM SPEECH: APPROACH AND RESULTS USING THE TEXTPRO SYSTEM , 1999 .
[14] Zohar Manna,et al. A Deductive Approach to Program Synthesis , 1979, TOPL.
[15] Zohar Manna,et al. A Deductive Approach to Program Synthesis , 1979, TOPL.