459 search results - page 71 / 92 » Automated Learning of Rules Using Genetic Operators |
HIS
2003
13 years 9 months ago
2003
Multiple Classification Ripple Down Rules (MCRDR) is a simple and effective knowledge acquisition technique that produces representations, or knowledge maps, of a human expert’s ...
TPHOL
1994
IEEE
13 years 11 months ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
CL
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
ICCBR
2009
Springer
14 years 2 months ago
2009
Springer
Case-based planning (CBP) systems are based on the idea of reusing past successful plans for solving new problems. Previous research has shown the ability of meta-reasoning approac...
AUSAI
2011
Springer
12 years 7 months ago
2011
Springer
The amount of user generated content on the Web is growing and identifying high quality content in a timely manner has become a problem. Many forums rely on its users to manually r...