4266 search results - page 25 / 854 » Search for More Declarativity |
EPIA
2005
Springer
14 years 2 months ago
2005
Springer
This paper investigates the notion of subgoals as used in plans in cognitive agent programming languages. These subgoals form act representation of more concrete courses of action ...
FLOPS
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
ICDT
1997
ACM
14 years 1 months ago
1997
ACM
The paper introduces a model of the Web as an in nite, semistructured set of objects. We reconsider the classical notions of genericity and computability of queries in this new con...
IJCAI
2003
13 years 10 months ago
2003
A promising technique used in some planning systems to improve their performance is the use of domain dependent search control knowledge. We present a procedure for compiling sear...
SIGMOD
2001
ACM
14 years 9 months ago
2001
ACM
We address the problem of efficiently constructing materialized XML views of relational databases. In our setting, the XML view is specified by a query in the declarative query la...