Conflict Handling in Product Configuration using Answer Set Programming.
Konstantin HerudJoachim BaumeisterOrkunt SabuncuTorsten SchaubPublished in: ICLP Workshops (2022)
Keyphrases
- answer set programming
- product configuration
- decision support
- knowledge compilation
- constraint satisfaction
- logic programming
- constraint satisfaction problems
- logic programs
- answer sets
- process planning
- stable model semantics
- answer set programs
- causal theories
- decision support system
- knowledge representation
- formal methods
- stable models
- product information
- industrial applications
- decision making
- databases
- data warehouse
- data sources
- lower bound
- artificial intelligence