579 search results - page 4 / 116 » Combined reasoning by automated cooperation |
SEFM
2009
IEEE
14 years 3 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
CADE
2003
Springer
14 years 9 months ago
2003
Springer
This paper presents on-going researches on theoretical and practical issues of combining rewriting based automated theorem proving and user-guided proof development, with the stron...
CL
2000
Springer
14 years 28 days ago
2000
Springer
We introduce an algorithm for cooperative planning in multi-agent systems. The algorithm enables the agents to combine (fuse) their plans in order to increase their joint profits...
EWCBR
2006
Springer
14 years 7 days ago
2006
Springer
Abstract. In both research fields, Case-Based Reasoning and Reinforcement Learning, the system under consideration gains its expertise from experience. Utilizing this fundamental c...
CADE
2002
Springer
14 years 9 months ago
2002
Springer