{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,21]],"date-time":"2026-03-21T04:05:42Z","timestamp":1774065942328,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,9,7]],"date-time":"2009-09-07T00:00:00Z","timestamp":1252281600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,9,7]]},"DOI":"10.1145\/1599410.1599428","type":"proceedings-article","created":{"date-parts":[[2009,9,8]],"date-time":"2009-09-08T12:53:09Z","timestamp":1252414389000},"page":"141-148","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["A logical framework for configuration software"],"prefix":"10.1145","author":[{"given":"Hanne","family":"Vlaeminck","sequence":"first","affiliation":[{"name":"Katholieke Universiteit Leuven, Heverlee, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost","family":"Vennekens","sequence":"additional","affiliation":[{"name":"Katholieke Universiteit Leuven, Heverlee, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Denecker","sequence":"additional","affiliation":[{"name":"Katholieke Universiteit Leuven, Heverlee, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,9,7]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"19","article-title":"A tool for developing interactive configuration applications","author":"Axling Tomas","year":"1994","unstructured":"Tomas Axling and Seif Haridi . A tool for developing interactive configuration applications . Journal of Logic Programming , 19 , 1994 . Tomas Axling and Seif Haridi. A tool for developing interactive configuration applications. Journal of Logic Programming, 19, 1994.","journal-title":"Journal of Logic Programming"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-006-9026-1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge representation, reasoning and declarative problem solving","author":"Baral C.","year":"2003","unstructured":"C. Baral . Knowledge representation, reasoning and declarative problem solving . Cambridge university press , 2003 . C. Baral. Knowledge representation, reasoning and declarative problem solving. Cambridge university press, 2003."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/275487.275491"},{"key":"e_1_3_2_1_5_1","volume-title":"NMR","author":"Denecker Marc","year":"2000","unstructured":"Marc Denecker . Extending classical logic with inductive definitions . In NMR , 2000 . Marc Denecker. Extending classical logic with inductive definitions. In NMR, 2000."},{"key":"e_1_3_2_1_6_1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/978-3-540-72200-7_9","volume-title":"Ninth International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR","author":"Denecker Marc","year":"2007","unstructured":"Marc Denecker and Joost Vennekens . Well-founded semantics and the algebraic theory of non-monotone inductive definitions . In C. Baral, G. Brewka, and J. Schlipf, editors, Ninth International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR , volume LNAI 4483 of Lecture Notes in Artificial Intelligence , pages 84 -- 96 . Springer , 2007 . Marc Denecker and Joost Vennekens. Well-founded semantics and the algebraic theory of non-monotone inductive definitions. In C. Baral, G. Brewka, and J. Schlipf, editors, Ninth International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR, volume LNAI 4483 of Lecture Notes in Artificial Intelligence, pages 84--96. Springer, 2007."},{"key":"e_1_3_2_1_7_1","volume-title":"Classical negation in logic programs and disjunctive databases. New generation computing, 9:365--385","author":"Gelfond M.","year":"1991","unstructured":"M. Gelfond and V. Lifschitz . Classical negation in logic programs and disjunctive databases. New generation computing, 9:365--385 , 1991 . M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New generation computing, 9:365--385, 1991."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/647778.734907"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1149114.1149117"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07003-1","volume-title":"Elements of finite model theory","author":"Libkin L.","year":"2004","unstructured":"L. Libkin . Elements of finite model theory . 2004 . L. Libkin. Elements of finite model theory. 2004."},{"key":"e_1_3_2_1_11_1","volume-title":"LASH","author":"Mari\u00ebn M.","year":"2006","unstructured":"M. Mari\u00ebn , J. Wittocx , and M. Denecker . The IDP framework for declarative problem solving . In LASH , 2006 . M. Mari\u00ebn, J. Wittocx, and M. Denecker. The IDP framework for declarative problem solving. In LASH, 2006."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","DOI":"10.1201\/9780429246586","volume-title":"Expert Systems: Introduction to First and Second Generation and Hybrid Knowledge Based Systems","author":"Nikolopoulus C.","year":"1997","unstructured":"C. Nikolopoulus . Expert Systems: Introduction to First and Second Generation and Hybrid Knowledge Based Systems . 1997 . C. Nikolopoulus. Expert Systems: Introduction to First and Second Generation and Hybrid Knowledge Based Systems. 1997."},{"key":"e_1_3_2_1_13_1","volume-title":"PADL","author":"Soininen Timo","year":"1999","unstructured":"Timo Soininen and Ilkka Niemel\u00e4 . Developing a declarative rule language for applications in product configuration . In PADL , 1999 . Timo Soininen and Ilkka Niemel\u00e4. Developing a declarative rule language for applications in product configuration. In PADL, 1999."},{"key":"e_1_3_2_1_14_1","volume-title":"Proc. of Workshop on CSP Techniques with Immediate Application, CP04","author":"Subbarayan S.","year":"2004","unstructured":"S. Subbarayan , R.M. Jensen , T. Hadzic , H.R. Andersen , H. Hulgaard , and J. M\u00f8ller . Comparing two implementations of a complete and backtrackfree interactive configurator . In Proc. of Workshop on CSP Techniques with Immediate Application, CP04 , 2004 . S. Subbarayan, R.M. Jensen, T. Hadzic, H.R. Andersen, H. Hulgaard, and J. M\u00f8ller. Comparing two implementations of a complete and backtrackfree interactive configurator. In Proc. of Workshop on CSP Techniques with Immediate Application, CP04, 2004."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2004.02.002"},{"key":"e_1_3_2_1_16_1","volume-title":"SWESE","author":"Bossche M. Vanden","year":"2007","unstructured":"M. Vanden Bossche , P. Ross , I. MacLarty , B. Van Nuffelen , and N. Pelov . Ontology driven software engineering for real life applications . In SWESE , 2007 . M. Vanden Bossche, P. Ross, I. MacLarty, B. Van Nuffelen, and N. Pelov. Ontology driven software engineering for real life applications. In SWESE, 2007."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02846-5_26"},{"key":"e_1_3_2_1_18_1","first-page":"103","volume-title":"KR","author":"Wittocx Johan","year":"2008","unstructured":"Johan Wittocx , Maarten Mari\u00ebn , and Marc Denecker . Approximate reasoning in first-order logic theories . In KR , pages 103 -- 112 , 2008 . Johan Wittocx, Maarten Mari\u00ebn, and Marc Denecker. Approximate reasoning in first-order logic theories. In KR, pages 103--112, 2008."}],"event":{"name":"PPDP '09: Principles and Practice of Declarative Programming","location":"Coimbra Portugal","acronym":"PPDP '09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1599410.1599428","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1599410.1599428","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:18:15Z","timestamp":1750249095000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1599410.1599428"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9,7]]},"references-count":18,"alternative-id":["10.1145\/1599410.1599428","10.1145\/1599410"],"URL":"https:\/\/doi.org\/10.1145\/1599410.1599428","relation":{},"subject":[],"published":{"date-parts":[[2009,9,7]]},"assertion":[{"value":"2009-09-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}