4555 search results - page 44 / 911 » Deductive Algorithmic Knowledge |
SEMWEB
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...
CORR
2011
Springer
13 years 5 months ago
2011
Springer
Contemporary use of the term ’intension’ derives from the traditional logical doctrine that an idea has both an extension and an intension. In this paper we introduce an intens...
WABI
2005
Springer
14 years 3 months ago
2005
Springer
FUN
2007
Springer
14 years 4 months ago
2007
Springer
LPAR
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Matching is a basic operation extensively used in computation. Second-order matching, in particular, provides an adequate environment for expressing program transformatio...