Applications of non-monotonic reasoning to automotive product configuration using answer set programming.
Eray GençayPeter SchüllerEsra ErdemPublished in: J. Intell. Manuf. (2019)
Keyphrases
- answer set programming
- product configuration
- knowledge compilation
- decision support
- constraint satisfaction
- logic programming
- logic programs
- constraint satisfaction problems
- answer sets
- process planning
- answer set programs
- stable model semantics
- possibilistic logic
- knowledge representation
- mass customization
- product information
- formal methods
- modulo theories
- relational databases
- nonmonotonic reasoning
- industrial applications
- programming language
- data warehouse
- computational complexity
- database systems
- declarative programming
- machine learning