509 search results - page 24 / 102 » On the completeness of compositional reasoning methods |
ADBIS
2006
Springer
14 years 16 days ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
CADE
2010
Springer
13 years 10 months ago
2010
Springer
iProver-Eq is an implementation of an instantiation-based calculus Inst-Gen-Eq which is complete for first-order logic with equality. iProver-Eq extends the iProver system with sup...
AAAI
1998
13 years 10 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...
GECCO
2009
Springer
14 years 3 months ago
2009
Springer
Evolution of multi-agent teams has been shown to be an effective method of solving complex problems involving the exploration of an unknown problem space. These autonomous and het...
AAAI
2006
13 years 10 months ago
2006
The use of embedded technology has become widespread. Many complex engineered systems comprise embedded features to perform self-diagnosis or self-reconfiguration. These features ...