8232 search results - page 489 / 1647 » Dynamic Logic Programming |
218
click to vote
PLILP
1997
Springer
15 years 12 months ago
1997
Springer
We introduce a framework for managing as a whole the space of a narrowing computation. The aim of our framework is to find a finite representation of an infinite narrowing space...
232
click to vote
ENTCS
2002
15 years 7 months ago
2002
In this paper, we develop the notion of fuzzy unification and incorporate it into a novel fuzzy argumentation framework for extended logic programming. We make the following contri...
396
click to vote
COSIT
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
208
click to vote
DSD
2002
IEEE
16 years 20 days ago
2002
IEEE
Modern microprocessors schedule instructions dynamically in order to exploit instruction-level parallelism. It is necessary to increase instruction window size for improving instr...
186
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Middleware technologies, often limit the way in which object classes may be used in distributed applications due to the fixed distribution policies imposed by the Middleware system...