Aschinger, M.; Drescher, C. & Vollmer, H.: LoCo - A Logic for Configuration Problems. Proceedings of the 20th European Conference on Artificial Intelligence, ECAI 2012. 2012
[Volltext]
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,
author = {Aschinger, Markus and Drescher, Conrad and Vollmer, Heribert},
title = {LoCo -- A Logic for Configuration Problems},
booktitle = {Proceedings of the 20th European Conference on Artificial Intelligence, ECAI 2012},
year = {2012},
url = {http://www.cs.ox.ac.uk/files/4821/locoecai2012.pdf},
keywords = {configuration, logic, problem},
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. }
}