636 search results - page 38 / 128 » Adapting Logics |
AMAI
2006
Springer
14 years 12 months ago
2006
Springer
In this paper, we propose an adaptive approach to merging possibilistic knowledge bases that deploys multiple operators instead of a single operator in the merging process. The me...
119
click to vote
ENTCS
2007
14 years 11 months ago
2007
We suggest a formal model to represent and solve the multicast routing problem in multicast networks. To attain this, we model the network adapting it to a weighted and-or graph, ...
104
click to vote
AINA
2005
IEEE
15 years 5 months ago
2005
IEEE
The purpose of admission control is to support the Quality of Service (QoS) demands of real time applications via resource reservation. In order to deal with admission control for...
AIPS
1998
15 years 1 months ago
1998
Casting planning problems as propositional satis ability problems has recently been shown to be an effective way of scaling up plan synthesis. Until now, the bene ts of this appro...
195
click to vote
POPL
2005
ACM
16 years 4 days ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...