2395 search results - page 62 / 479 » Reasoning in Semantic Wikis |
PPSWR
2004
Springer
15 years 3 months ago
2004
Springer
ESWS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In previous work we have shown that the MapReduce framework for distributed computation can be deployed for highly scalable inference over RDF graphs under the RDF Schema...
FLAIRS
2004
14 years 11 months ago
2004
This linguistically motivated work addresses issues in reasoning intelligently over spatial descriptions of simple, static scenes to produce plausible graphical interpretations. I...
CADE
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...