A Knowledge Representation for Constraint Satisfaction Problems.
Albert CrokerVasant DharPublished in: IEEE Trans. Knowl. Data Eng. (1993)
Keyphrases
- constraint satisfaction problems
- knowledge representation
- constraint satisfaction
- constraint programming
- search space
- constraint propagation
- knowledge base
- combinatorial problems
- semantic web
- automated reasoning
- np complete
- computational problems
- arc consistency
- natural language
- constraint solving
- probabilistic reasoning
- non binary
- soft constraints
- temporal constraints
- logic programming
- description logics
- np hard
- sat problem
- expert systems
- decomposition methods
- partial constraint satisfaction
- backtracking search
- first order logic
- finite domain
- product configuration
- global constraints
- computational complexity
- special case
- forward checking
- graph based representations
- heuristic search
- pseudo boolean optimization