Applying Incremental Answer Set Solving to Product Configuration.
Richard Comploi-TaupeGiulia FrancescuttoGottfried SchennerPublished in: CoRR (2022)
Keyphrases
- answer sets
- product configuration
- decision support
- answer set programming
- logic programs
- knowledge compilation
- configuration problems
- logic programming
- constraint satisfaction problems
- constraint satisfaction
- decision support system
- process planning
- special case
- industrial applications
- product information
- general purpose
- software engineering
- information retrieval
- combinatorial optimization
- case based reasoning
- formal methods
- search space
- knowledge base
- artificial intelligence