LoCo — A Logic for Configuration Problems

Conference item

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.

Authors: Aschinger, M; Drescher, C; Vollmer, H

• Host title: Proceedings of the 20th European Conference on Artificial Intelligence‚ ECAI 2012
• Publication date: 2012-01-01