LoCo - A Logic for Configuration Problems.

Markus Aschinger Conrad Drescher Heribert Vollmer

Published in: ECAI (2012)

Keyphrases

configuration problems
constraint satisfaction
difficult problems
constraint satisfaction problems
industrial applications
modal logic
product configuration
database
artificial intelligence
knowledge management
linear programming
decision support