%0 Conference Paper %1 aschinger2012logic %A Aschinger, Markus %A Drescher, Conrad %A Vollmer, Heribert %B Proceedings of the 20th European Conference on Artificial Intelligence, ECAI 2012 %D 2012 %K configuration logic problem %T LoCo -- A Logic for Configuration Problems %U http://www.cs.ox.ac.uk/files/4821/locoecai2012.pdf %X LoCo is a fragment of classical first order logic tailored for expressing configuration problems. The core feature of LoCo is that the number of components used in configurations does not have to be finitely bounded explicitly, but instead is bounded implicitly through the axioms. Computing configurations reduces to model-finding. We present the language, related algorithms and complexity results as well as a prototypical implementation via answer set programming.

@inproceedings{aschinger2012logic, abstract = {LoCo is a fragment of classical first order logic tailored for expressing configuration problems. The core feature of LoCo is that the number of components used in configurations does not have to be finitely bounded explicitly, but instead is bounded implicitly through the axioms. Computing configurations reduces to model-finding. We present the language, related algorithms and complexity results as well as a prototypical implementation via answer set programming. }, added-at = {2012-09-06T15:25:14.000+0200}, author = {Aschinger, Markus and Drescher, Conrad and Vollmer, Heribert}, biburl = {https://www.bibsonomy.org/bibtex/2f48bfab53a7dc5e18bdbd8d4a75e909b/jaeschke}, booktitle = {Proceedings of the 20th European Conference on Artificial Intelligence, ECAI 2012}, interhash = {b3befa04f5532a890a885683917b52c3}, intrahash = {f48bfab53a7dc5e18bdbd8d4a75e909b}, keywords = {configuration logic problem}, location = {Montpellier, France}, timestamp = {2014-07-28T15:57:31.000+0200}, title = {LoCo -- A Logic for Configuration Problems}, url = {http://www.cs.ox.ac.uk/files/4821/locoecai2012.pdf}, year = 2012 }