114 search results - page 1 / 23 » Maintaining Consistency in Hierarchical Reasoning |
AAAI
1998
13 years 6 months ago
1998
We explore techniques for maintaining consistency in reasoning when employing dynamic hierarchical task decompositions. In particular, we consider the difficulty of maintaining co...
ICCBR
2003
Springer
13 years 10 months ago
2003
Springer
VMCAI
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...
P2P
2008
IEEE
13 years 11 months ago
2008
IEEE
Redundancy is the basic technique to provide reliability in storage systems consisting of multiple components. A redundancy scheme defines how the redundant data are produced and...
FSKD
2011
Springer
12 years 4 months ago
2011
Springer
—This paper describes a model of a hierarchical, heterogeneous knowledge-base. The proposed model consists of an associative level that is implemented by a Kanerva-like sparse di...