2007 · 13 citations · 15 references
ComputingComputer ScienceDiagnostic ReasoningKnowledge RepresentationLogicAutomated ReasoningConstraint SatisfactionConstraint SolvingDeductive ReasoningAutomated Reasoning With ConstraintsCase-based Knowledge RepresentationCase-based ReasoningConstraint Satisfaction ModelingReasoning With Constraints
In recent years, there has been a growing focus on research and applications that integrate several reasoning techniques. The general motivation for integrating several reasoning modes is to achieve a synergy which produces results that could not be obtained if each mode were operating individually. One such integration that has begun to see its application in many different problem domains is the integration of Constraint Satisfaction Problems (CSP) with Case-Based Reasoning (CBR). In this paper, we survey the various applications that have combined CSP and CBR. This exploration provides insight into how CSP can be enhanced by combining it with CBR, thereby enabling its usage in an even broader spectrum of applications. 1. INTRODUCTION In recent years, there has been a growing focus on research and applications that integrate several reasoning techniques [29,30]. The general motivation for integrating several reasoning modes is to achieve a synergy which produces results that could n...
15
Partial constraint satisfaction
Eugene C. Freuder, Richard J. Wallace · Artificial Intelligence · 1992 · 614 citations
Configuration as Composite Constraint Satisfaction
D.D. Sabin, Eugene C. Freuder · 1996 · 135 citations