Sciweavers

5818 search results - page 187 / 1164
» A reasonable Semantic Web
Sort
View
KR
2004
Springer
16 years 13 days ago
Meaning and Links: A Semantic Odyssey
William A. Woods
FLAIRS
2004
15 years 8 months ago
Knowledge-Based Constraint Satisfaction for Spatial Reasoning
This linguistically motivated work addresses issues in reasoning intelligently over spatial descriptions of simple, static scenes to produce plausible graphical interpretations. I...
Dan Tappan
SEMWEB
2010
Springer
15 years 1 months ago
Accessing the Web of Data through embodied virtual characters
The amount of data published on the Semantic Web has witnessed a tremendous growth in the last years to which the Linked Open Data (LOD) project has contributed significantly. Whil...
Philipp Cimiano, Stefan Kopp
184
Voted
CADE
1998
Springer
15 years 11 months ago
Extensional Higher-Order Resolution
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...
Christoph Benzmüller, Michael Kohlhase