2395 search results - page 62 / 479 » Reasoning in Semantic Wikis |
156
Voted
ELP
1992
15 years 7 months ago
1992
149
click to vote
ESWS
2010
Springer
15 years 8 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...
136
Voted
FLAIRS
2004
15 years 5 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...
127
click to vote
CADE
1998
Springer
15 years 8 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...