Sciweavers

31 search results - page 7 / 7
» Organizing the Aggregate: Languages for Spatial Computing
Sort
View
ECOI
2007
101views more  ECOI 2007»
13 years 4 months ago
Reasoning about taxonomies in first-order logic
Experts often disagree about the organization of biological taxa. The shifting definitions of taxonomic names complicate otherwise simple queries concerning these taxa. For examp...
David Thau, Bertram Ludäscher