{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:03Z","timestamp":1750306683538,"version":"3.41.0"},"reference-count":45,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2014,7,8]],"date-time":"2014-07-08T00:00:00Z","timestamp":1404777600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/G055114\/1"],"award-info":[{"award-number":["EP\/G055114\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2014,7,8]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1145\/2629454","type":"journal-article","created":{"date-parts":[[2014,7,24]],"date-time":"2014-07-24T15:46:18Z","timestamp":1406216778000},"page":"1-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["LoCo\u2014A Logic for Configuration Problems"],"prefix":"10.1145","volume":"15","author":[{"given":"Markus","family":"Aschinger","sequence":"first","affiliation":[{"name":"University of Oxford"}]},{"given":"Conrad","family":"Drescher","sequence":"additional","affiliation":[{"name":"University of Oxford"}]},{"given":"Georg","family":"Gottlob","sequence":"additional","affiliation":[{"name":"University of Oxford"}]},{"given":"Heribert","family":"Vollmer","sequence":"additional","affiliation":[{"name":"Leibniz University Hannover"}]}],"member":"320","published-online":{"date-parts":[[2014,7,25]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00162-X"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1861751.1861755"},{"volume-title":"Proceedings of the 2nd Workshop on Logics for Component Configuration (LoCoCo'11)","author":"Aschinger M.","key":"e_1_2_1_3_1","unstructured":"M. Aschinger , C. Drescher , and G. Gottlob . 2011. Introducing LoCo, a logic for configuration problems . In Proceedings of the 2nd Workshop on Logics for Component Configuration (LoCoCo'11) . EPTCS, 36--45. M. Aschinger, C. Drescher, and G. Gottlob. 2011. Introducing LoCo, a logic for configuration problems. In Proceedings of the 2nd Workshop on Logics for Component Configuration (LoCoCo'11). EPTCS, 36--45."},{"key":"e_1_2_1_4_1","doi-asserted-by":"crossref","unstructured":"M. Aschinger C. Drescher G. Gottlob G. Friedrich P. Jeavons A. Ryabokon and E. Thorstensen. 2011. Optimization methods for the partner units problem. In Proceedings of the 8th International Conference on the Integration of Artificial Intelligence and Operations Research Techniques into Constraint Programming for Combinatorial Optimization Problems (CPAIOR). Springer Berlin 4--19.   M. Aschinger C. Drescher G. Gottlob G. Friedrich P. Jeavons A. Ryabokon and E. Thorstensen. 2011. Optimization methods for the partner units problem. In Proceedings of the 8th International Conference on the Integration of Artificial Intelligence and Operations Research Techniques into Constraint Programming for Combinatorial Optimization Problems (CPAIOR). Springer Berlin 4--19.","DOI":"10.1007\/978-3-642-21311-3_4"},{"volume-title":"Proceedings of the 20th European Conference on Artificial Intelligence (ECAI'12)","author":"Aschinger M.","key":"e_1_2_1_5_1","unstructured":"M. Aschinger , C. Drescher , and H. Vollmer . 2012. LoCo\u2014A logic for configuration problems . In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI'12) . IOS Press, 73--78. M. Aschinger, C. Drescher, and H. Vollmer. 2012. LoCo\u2014A logic for configuration problems. In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI'12). IOS Press, 73--78."},{"key":"e_1_2_1_6_1","unstructured":"ASP Competition. 2011. Third International Answer Set Programming Competition. Available at https:\/\/www.mat.unical.it\/aspcomp2011\/.  ASP Competition. 2011. Third International Answer Set Programming Competition. Available at https:\/\/www.mat.unical.it\/aspcomp2011\/."},{"volume-title":"Proceedings of the Configuration Workshop at the 21st International Conference on Artificial Intelligence (IJCAI). AAAI Press, 53--60","author":"Bettex M.","key":"e_1_2_1_7_1","unstructured":"M. Bettex , A. Falkner , W. Mayer , and M. Stumptner . 2009. On solving complex rack configuration problems using CSP methods . In Proceedings of the Configuration Workshop at the 21st International Conference on Artificial Intelligence (IJCAI). AAAI Press, 53--60 . M. Bettex, A. Falkner, W. Mayer, and M. Stumptner. 2009. On solving complex rack configuration problems using CSP methods. In Proceedings of the Configuration Workshop at the 21st International Conference on Artificial Intelligence (IJCAI). AAAI Press, 53--60."},{"key":"e_1_2_1_8_1","volume-title":"Technical Report TM-95-01. DFKI. 34 pages.","author":"Buchheit M.","year":"1995","unstructured":"M. Buchheit , R. Klein , and W. Nutt . 1995 . Constructive Problem Solving: A Model Construction Approach Towards Configuration . Technical Report TM-95-01. DFKI. 34 pages. M. Buchheit, R. Klein, and W. Nutt. 1995. Constructive Problem Solving: A Model Construction Approach Towards Configuration. Technical Report TM-95-01. DFKI. 34 pages."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/322234.322243"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/502807.502810"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(84)90014-1"},{"volume-title":"A Mathematical introduction to logic","author":"Enderton H. B.","key":"e_1_2_1_12_1","unstructured":"H. B. Enderton . 1972. A Mathematical introduction to logic . Academic Press , New York . H. B. Enderton. 1972. A Mathematical introduction to logic. Academic Press, New York."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJMASSC.2010.037650"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060410000570"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060412000376"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/5254.708434"},{"volume-title":"Proceedings of the Second Workshop on Logics for Component Configuration, (LoCoCo)","author":"Friedrich G.","key":"e_1_2_1_17_1","unstructured":"G. Friedrich , A. Ryabokon , A. Falkner , A. Haselb\u00f6ck , G. Schenner , and H. Schreiner . 2011. (Re)configuration based on model generation . In Proceedings of the Second Workshop on Logics for Component Configuration, (LoCoCo) , Perugia, Italy. EPTCS, 26--35. G. Friedrich, A. Ryabokon, A. Falkner, A. Haselb\u00f6ck, G. Schenner, and H. Schreiner. 2011. (Re)configuration based on model generation. In Proceedings of the Second Workshop on Logics for Component Configuration, (LoCoCo), Perugia, Italy. EPTCS, 26--35."},{"volume-title":"Configuration Workshop at the 16th National Conference on Artificial Intelligence (AAAI). AAAI Press, 35--40","author":"Friedrich G.","key":"e_1_2_1_18_1","unstructured":"G. Friedrich and M. Stumptner . 1999. Consistency-based configuration . In Configuration Workshop at the 16th National Conference on Artificial Intelligence (AAAI). AAAI Press, 35--40 . G. Friedrich and M. Stumptner. 1999. Consistency-based configuration. In Configuration Workshop at the 16th National Conference on Artificial Intelligence (AAAI). AAAI Press, 35--40."},{"key":"e_1_2_1_19_1","unstructured":"M. R. Garey and D. S. Johnson. 1979. Computers and Intractability. W.H. Freeman and Co. New York.   M. R. Garey and D. S. Johnson. 1979. Computers and Intractability. W.H. Freeman and Co. New York."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1971622.1971623"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89982-2_23"},{"volume-title":"Handbook of Knowledge Representation","author":"Gelfond M.","key":"e_1_2_1_22_1","unstructured":"M. Gelfond . 2008. Answer sets . In Handbook of Knowledge Representation , F. van Harmelen, V. Lifschitz, and B. Porter (Eds.). Elsevier , 285--316. M. Gelfond. 2008. Answer sets. In Handbook of Knowledge Representation, F. van Harmelen, V. Lifschitz, and B. Porter (Eds.). Elsevier, 285--316."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"volume-title":"Proceedings of the 20th International Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, 88--93","author":"Gottlob G.","key":"e_1_2_1_24_1","unstructured":"G. Gottlob , G. Greco , and T. Mancini . 2007. Conditional constraint satisfaction: Logical foundations and complexity . In Proceedings of the 20th International Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, 88--93 . G. Gottlob, G. Greco, and T. Mancini. 2007. Conditional constraint satisfaction: Logical foundations and complexity. In Proceedings of the 20th International Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, 88--93."},{"volume-title":"The OPL Optimization Programming Language","author":"Van Hentenryck P.","key":"e_1_2_1_25_1","unstructured":"P. Van Hentenryck . 1999. The OPL Optimization Programming Language . MIT Press, Cambridge , MA. P. Van Hentenryck. 1999. The OPL Optimization Programming Language. MIT Press, Cambridge, MA."},{"volume-title":"Proceedings of the 6th International Conference on Formal Concept Analysis ICFCA'08","author":"Hermann M.","key":"e_1_2_1_26_1","unstructured":"M. Hermann and B. Sertkaya . 2008. On the complexity of computing generators of closed sets . In Proceedings of the 6th International Conference on Formal Concept Analysis ICFCA'08 . Springer, Montreal, Canada, 158--168. M. Hermann and B. Sertkaya. 2008. On the complexity of computing generators of closed sets. In Proceedings of the 6th International Conference on Formal Concept Analysis ICFCA'08. Springer, Montreal, Canada, 158--168."},{"volume-title":"Proceedings of the ECAI 2012 Workshop on Configuration. CEUR-WS, 31--35","author":"Hubaux A.","key":"e_1_2_1_27_1","unstructured":"A. Hubaux , D. Jannach , C. Drescher , L. Murta , T. Mannisto , K. Czarnecki , P. Heymans , T. Nguyen , and M. Zanker . 2012. Unifying software and product configuration: A researchl roadmap . In Proceedings of the ECAI 2012 Workshop on Configuration. CEUR-WS, 31--35 . A. Hubaux, D. Jannach, C. Drescher, L. Murta, T. Mannisto, K. Czarnecki, P. Heymans, T. Nguyen, and M. Zanker. 2012. Unifying software and product configuration: A researchl roadmap. In Proceedings of the ECAI 2012 Workshop on Configuration. CEUR-WS, 31--35."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(88)90065-8"},{"key":"e_1_2_1_29_1","volume-title":"Proceedings of the 19th National Conference on Artificial Intelligence (AAAI'04)","author":"Junker U.","year":"2004","unstructured":"U. Junker . 2004 . QUICKXPLAIN: Preferred explanations and relaxations for over-constrained problems . In Proceedings of the 19th National Conference on Artificial Intelligence (AAAI'04) . AAAI Press\/MIT Press, 167--172. U. Junker. 2004. QUICKXPLAIN: Preferred explanations and relaxations for over-constrained problems. In Proceedings of the 19th National Conference on Artificial Intelligence (AAAI'04). AAAI Press\/MIT Press, 167--172."},{"volume-title":"Handbook of constraint programming","author":"Junker U.","key":"e_1_2_1_30_1","unstructured":"U. Junker . 2006. Configuration . In Handbook of constraint programming , F. Rossi, P. van Beek, and T. Walsh (Eds.). Elsevier , 837--874. U. Junker. 2006. Configuration. In Handbook of constraint programming, F. Rossi, P. van Beek, and T. Walsh (Eds.). Elsevier, 837--874."},{"volume-title":"Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming (CP'10)","author":"Karatas A. S.","key":"e_1_2_1_31_1","unstructured":"A. S. Karatas , H. Oguzt\u00fcz\u00fcn , and A. H. Dogru . 2010. Global constraints on feature models . In Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming (CP'10) . Springer, 537--551. A. S. Karatas, H. Oguzt\u00fcz\u00fcn, and A. H. Dogru. 2010. Global constraints on feature models. In Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming (CP'10). Springer, 537--551."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0306-4379(90)90048-T"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90009-0"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060498124101"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(82)90021-2"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1017\/S089006049812406X"},{"volume-title":"Proceedings of the 8th National Conference on Artificial Intelligence (AAAI). AAAI Press\/MIT Press","author":"Mittal S.","key":"e_1_2_1_37_1","unstructured":"S. Mittal and B. Falkenhainer . 1990. Dynamic constraint satisfaction problems . In Proceedings of the 8th National Conference on Artificial Intelligence (AAAI). AAAI Press\/MIT Press , Boston, MA, 25--32. S. Mittal and B. Falkenhainer. 1990. Dynamic constraint satisfaction problems. In Proceedings of the 8th National Conference on Artificial Intelligence (AAAI). AAAI Press\/MIT Press, Boston, MA, 25--32."},{"volume-title":"Proceedings of the 11th International Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, 1395--1401","author":"Mittal S.","key":"e_1_2_1_38_1","unstructured":"S. Mittal and F. Frayman . 1989. Towards a generic model of configuration tasks . In Proceedings of the 11th International Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, 1395--1401 . S. Mittal and F. Frayman. 1989. Towards a generic model of configuration tasks. In Proceedings of the 11th International Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, 1395--1401."},{"volume-title":"Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP'07)","author":"Nethercote N.","key":"e_1_2_1_39_1","unstructured":"N. Nethercote , P. J. Stuckey , R. Becket , S. Brand , G. J. Duck , and G. Tack . 2007. MiniZinc: Towards a standard CP modelling language . In Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP'07) . Springer, 529--543. N. Nethercote, P. J. Stuckey, R. Becket, S. Brand, G. J. Duck, and G. Tack. 2007. MiniZinc: Towards a standard CP modelling language. In Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP'07). Springer, 529--543."},{"volume-title":"Proceedings of the Artificial Intelligence and Manufacturing Research Planning Workshop (AIMRP). AAAI Press, 153--161","author":"Sabin D.","key":"e_1_2_1_40_1","unstructured":"D. Sabin and E. C. Freuder . 1996. Configuration as composite constraint satisfaction . In Proceedings of the Artificial Intelligence and Manufacturing Research Planning Workshop (AIMRP). AAAI Press, 153--161 . D. Sabin and E. C. Freuder. 1996. Configuration as composite constraint satisfaction. In Proceedings of the Artificial Intelligence and Manufacturing Research Planning Workshop (AIMRP). AAAI Press, 153--161."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/5254.708432"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00187-X"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060403171065"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060498124046"},{"volume-title":"Doctoral Program at the 16th International Conference on Principles and Practice of Constraint Programming (CP)","author":"Thorstensen E.","key":"e_1_2_1_45_1","unstructured":"E. Thorstensen . 2010. Capturing configuration . In Doctoral Program at the 16th International Conference on Principles and Practice of Constraint Programming (CP) . Springer , 115--120. E. Thorstensen. 2010. Capturing configuration. In Doctoral Program at the 16th International Conference on Principles and Practice of Constraint Programming (CP). Springer, 115--120."}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2629454","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2629454","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:01:17Z","timestamp":1750230077000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2629454"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,8]]},"references-count":45,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,7,8]]}},"alternative-id":["10.1145\/2629454"],"URL":"https:\/\/doi.org\/10.1145\/2629454","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"type":"print","value":"1529-3785"},{"type":"electronic","value":"1557-945X"}],"subject":[],"published":{"date-parts":[[2014,7,8]]},"assertion":[{"value":"2013-05-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-02-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-07-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}