Applications of non-monotonic reasoning to automotive product configuration using answer set programming

In automotive industry, validation and maintenance of product configuration data is a complex task. Both orders from the customers and new product line designs from the R&D department are subject to a set of configuration rules to be satisfied. In this work, non-monotonic computational logic, an...

Ausführliche Beschreibung