Sciweavers

1791 search results - page 309 / 359
» Semantics and Complexity of SPARQL
Sort
View
LOGCOM
2007
59views more  LOGCOM 2007»
15 years 3 months ago
Forgetting Literals with Varying Propositional Symbols
Recently, the old logical notion of forgetting propositional symbols (or reducing the logical vocabulary) has been generalized to a new notion: forgetting literals. The aim was to...
Yves Moinard
AI
2000
Springer
15 years 3 months ago
Using temporal logics to express search control knowledge for planning
Over the years increasingly sophisticated planning algorithms have been developed. These have made for more efficient planners, but unfortunately these planners still suffer from ...
Fahiem Bacchus, Froduald Kabanza
FUIN
2000
71views more  FUIN 2000»
15 years 3 months ago
The Nondeterministic Information Logic NIL is PSPACE-complete
The nondeterministic information logic NIL has been introduced by Orlowska and Pawlak in 1984 as a logic for reasoning about total information systems with the similarity, the forw...
Stéphane Demri
JODL
2000
175views more  JODL 2000»
15 years 3 months ago
SPIRE: a digital library for scientific information
In this paper we describe the architecture and implementation of a digital library framework for scientific data, particularly imagery, with a focus on support for content-based se...
Lawrence D. Bergman, Vittorio Castelli, Chung-Shen...
CN
1999
158views more  CN 1999»
15 years 3 months ago
A Comparison of Schemas for Video Metadata Representation
To enable the resource discovery of audiovisual documents over the World Wide Web, it will be necessary to define content description standards or metadata standards for complex, ...
Jane Hunter, Liz Armstrong