Knowledge Structuring and Constraint Satisfaction: The Mapsee Approach.
Jan A. MulderAlan K. MackworthWilliam S. HavensPublished in: IEEE Trans. Pattern Anal. Mach. Intell. (1988)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- relaxation labeling
- constraint propagation
- heuristic search
- knowledge base
- constraint relaxation
- constraint optimization
- constraint programming
- robust fault detection
- combinatorial problems
- constraint networks
- phase transition
- sat solvers
- soft constraints
- knowledge management
- expert systems
- bayesian networks
- neural network
- arc consistency
- first order logic
- linear programming
- constraint problems