61 search results - page 11 / 13 » A Tableau-Based System for Spatial Reasoning about Direction... |
TPLP
2002
13 years 8 months ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
PSSS
2003
13 years 10 months ago
2003
: RDF-based tools promise to provide a base for reasoning about metadata and about situated data—data describing entities situated in time and space—that is superior to alterna...
AAAI
2011
12 years 8 months ago
2011
Information about the spread of crop disease is vital in developing countries, and as a result the governments of such countries devote scarce resources to gathering such data. Un...
ICHIM
2001
13 years 10 months ago
2001
At excavations a large number of sherds of archaeological pottery is found. Since the documentation and administration of these fragments represent a temporal and personnel effort...
USENIX
2007
13 years 11 months ago
2007
Current disk prefetch policies in major operating systems track access patterns at the level of the file abstraction. While this is useful for exploiting application-level access...