In this work, we present LoCo, a fragment of classical first-order logic carefully tailored for expressing technical product 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 is equivalent to the task of model finding. We present the language, related algorithms, and complexity results as well as a prototypical implementation via answer set programming.
%0 Journal Article
%1 Aschinger:2014:LLC:2648783.2629454
%A Aschinger, Markus
%A Drescher, Conrad
%A Gottlob, Georg
%A Vollmer, Heribert
%C New York, NY, USA
%D 2014
%I ACM
%J ACM Trans. Comput. Logic
%K complexity configuration:problems myown
%N 3
%P 20:1--20:25
%R 10.1145/2629454
%T LoCo -- A Logic for Configuration Problems
%U http://doi.acm.org/10.1145/2629454
%V 15
%X In this work, we present LoCo, a fragment of classical first-order logic carefully tailored for expressing technical product 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 is equivalent to the task of model finding. We present the language, related algorithms, and complexity results as well as a prototypical implementation via answer set programming.
@article{Aschinger:2014:LLC:2648783.2629454,
abstract = {In this work, we present LoCo, a fragment of classical first-order logic carefully tailored for expressing technical product 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 is equivalent to the task of model finding. We present the language, related algorithms, and complexity results as well as a prototypical implementation via answer set programming.},
acmid = {2629454},
added-at = {2016-01-16T17:33:31.000+0100},
address = {New York, NY, USA},
articleno = {20},
author = {Aschinger, Markus and Drescher, Conrad and Gottlob, Georg and Vollmer, Heribert},
biburl = {https://www.bibsonomy.org/bibtex/2967b672aee48c7df31ddd10d494d8e2a/hvo},
description = {LoCo—A Logic for Configuration Problems},
doi = {10.1145/2629454},
interhash = {33b747c2ea0b6a67cae3bdb2b7343840},
intrahash = {967b672aee48c7df31ddd10d494d8e2a},
issn = {1529-3785},
issue_date = {July 2014},
journal = {ACM Trans. Comput. Logic},
keywords = {complexity configuration:problems myown},
month = jul,
number = 3,
numpages = {25},
pages = {20:1--20:25},
publisher = {ACM},
timestamp = {2016-01-16T17:34:30.000+0100},
title = {LoCo -- A Logic for Configuration Problems},
url = {http://doi.acm.org/10.1145/2629454},
volume = 15,
year = 2014
}