Testing Product Configuration Knowledge Bases Declaratively.
Konstantin HerudJoachim BaumeisterPublished in: LWDA (2022)
Keyphrases
- product configuration
- knowledge base
- decision support
- knowledge compilation
- constraint satisfaction
- constraint satisfaction problems
- process planning
- mass customization
- expert systems
- knowledge representation
- formal methods
- product information
- knowledge based systems
- image processing
- decision support system
- knowledge acquisition
- industrial applications
- configuration problems
- linear programming
- databases
- mathematical programming
- natural language