4573 search results - page 698 / 915 » Automated Reasoning |
154
click to vote
ICCBR
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present a form of case-based reuse conducive to the cooperation of multiple CBR agents in problem solving. First, we present a form of constructive adaptation for con...
180
click to vote
ICCBR
2005
Springer
16 years 2 days ago
2005
Springer
Knowledge workers are often embedded in an organizational setting, where execution of processes allows for appropriate, context-sensitive support. When a knowledge worker starts a ...
190
click to vote
ICCBR
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Although similarity measures play a crucial role in CBR applications, clear methodologies for defining them have not been developed yet. One approach to simplify the de...
157
click to vote
ICLP
2005
Springer
16 years 2 days ago
2005
Springer
We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and indep...
173
click to vote
ICLP
2005
Springer
16 years 2 days ago
2005
Springer
This paper presents experimental comparisons between declarative encodings of various computationally hard problems in both Answer Set Programming (ASP) and Constraint Logic Progra...