{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T11:18:23Z","timestamp":1756898303401},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_56","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T05:24:41Z","timestamp":1180675481000},"page":"837-851","source":"Crossref","is-referenced-by-count":2,"title":["Including Diagnostic Information in Configuration Models"],"prefix":"10.1007","author":[{"given":"Tommi","family":"Syrj\u00e4nen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"56_CR1","unstructured":"Debian GNU\/Linux. Available at: http:\/\/www.debian.org~L ."},{"key":"56_CR2","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"3","author":"W.F. Dowling","year":"1984","unstructured":"W.F. Dowling and J.H. Gallier. Linear-time algorithms for testing the satisfiability of propositional Horn formulae. Journal of Logic Programming, 3:267\u2013284, 1984.","journal-title":"Journal of Logic Programming"},{"key":"56_CR3","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proceedings of the 5th International Conference on Logic Programming, pages 1070\u20131080, Seattle, USA, August 1988. The MIT Press."},{"key":"56_CR4","doi-asserted-by":"crossref","first-page":"588","DOI":"10.1145\/116825.116836","volume":"38","author":"W. Marek","year":"1991","unstructured":"W. Marek and M. Truszczy\u0144ski. Autoepistemic logic. Journal of the Association for Computing Machinery, 38:588\u2013619, 1991.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"56_CR5","unstructured":"Ilkka Niemel\u00e4, Patrik Simons, and Timo Soininen. Stable model semantics of weight constraint rules. In Proceedings of the Fifth Interational Conference on Logic Programming and Nonmonotonic Reasoning. Springer-Verlag, December 1999."},{"key":"56_CR6","doi-asserted-by":"crossref","unstructured":"Daniel Sabin and Rainer Weigel. Product configuration frameworks \u2014 a survey. IEEE Intelligent Systems & their applications, pages 42\u201349, October 1998.","DOI":"10.1109\/5254.708432"},{"key":"56_CR7","volume-title":"Research Report 35","author":"P. Simons","year":"1995","unstructured":"P. Simons. Efficient implementation of the stable model semantics for normal logic programs. Research Report 35, Helsinki University of Technology, Helsinki, Finland, September 1995."},{"key":"56_CR8","doi-asserted-by":"crossref","unstructured":"P. Simons. Extending the stable model semantics with more expressive rules. In Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 305\u2013316, El Paso, Texas, USA, December 1999. Springer-Verlag.","DOI":"10.1007\/3-540-46767-X_22"},{"key":"56_CR9","doi-asserted-by":"crossref","unstructured":"Timo Soininen and Ilkka Niemel\u00e4. Developing a declarative rule language for applications in product configuration. In Proceedings of the First International Workshop on Practical Aspects of Declarative Languages. Springer-Verlag, January 1999.","DOI":"10.1007\/3-540-49201-1_21"},{"key":"56_CR10","volume-title":"Research Report A 55","author":"T. Syrj\u00e4nen","year":"1999","unstructured":"T. Syrj\u00e4nen. A rule-based formal model of software configuration. Research Report A 55, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Helsinki, Finland, December 1999."},{"key":"56_CR11","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"M.H. van Emden and R.A. Kowalski. The semantics of predicate logic as a programming language. Journal of the Association for Computing Machinery, 23:733\u2013742, 1976.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"56_CR12","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1109\/64.585104","volume":"122","author":"B. Wielinga","year":"1997","unstructured":"B. Wielinga and G. Schreiber. Configuration-design problem solving. IEEE Expert, 122:49\u201356, March\u2013April 1997.","journal-title":"IEEE Expert"}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_56","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:23:27Z","timestamp":1556465007000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_56","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}