{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:35:11Z","timestamp":1725748511404},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405631"},{"type":"electronic","value":"9783642405648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40564-8_46","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T11:21:30Z","timestamp":1378984890000},"page":"465-478","source":"Crossref","is-referenced-by-count":1,"title":["Conflict-Based Program Rewriting for Solving Configuration Problems"],"prefix":"10.1007","author":[{"given":"Anna","family":"Ryabokon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerhard","family":"Friedrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas A.","family":"Falkner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"46_CR1","unstructured":"Aschinger, M., Drescher, C., Vollmer, H.: LoCo \u2013 A Logic for Configuration Problems. In: Proceedings of the 20th European Conference on Artificial Intelligence, pp. 73\u201378 (2012)"},{"key":"46_CR2","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press (2010)"},{"issue":"12","key":"46_CR3","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G. Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Communications of the ACM\u00a054(12), 92\u2013103 (2011)","journal-title":"Communications of the ACM"},{"key":"46_CR4","doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T., Pieris, A.: Datalog+\/-: A family of languages for ontology querying. In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, pp. 351\u2013368 (2010)","DOI":"10.1007\/978-3-642-24206-9_20"},{"issue":"2","key":"46_CR5","doi-asserted-by":"crossref","first-page":"177","DOI":"10.3233\/AIC-2011-0495","volume":"24","author":"C. Drescher","year":"2011","unstructured":"Drescher, C., Tifrea, O., Walsh, T.: Symmetry-breaking Answer Set Solving. AI Communications\u00a024(2), 177\u2013194 (2011)","journal-title":"AI Communications"},{"issue":"1","key":"46_CR6","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1145\/1061318.1061323","volume":"30","author":"R. Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Popa, L.: Data exchange: getting to the core. ACM Transactions on Database Systems\u00a030(1), 174\u2013210 (2005)","journal-title":"ACM Transactions on Database Systems"},{"issue":"4","key":"46_CR7","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1504\/IJMASSC.2010.037650","volume":"3","author":"A. Falkner","year":"2010","unstructured":"Falkner, A., Feinerer, I., Salzer, G., Schenner, G.: Computing Product Configurations via UML and Integer Linear Programming. Journal of Mass Customisation\u00a03(4), 351\u2013367 (2010)","journal-title":"Journal of Mass Customisation"},{"key":"46_CR8","first-page":"37","volume":"27","author":"I. Feinerer","year":"2013","unstructured":"Feinerer, I.: Efficient large-scale configuration via integer linear programming. AI for Engineering Design, Analysis and Manufacturing\u00a027, 37\u201349 (2013)","journal-title":"AI for Engineering Design, Analysis and Manufacturing"},{"key":"46_CR9","unstructured":"Freuder, E.C.: Eliminating interchangeable values in constraint satisfaction problems. In: Proceedings of the 9th National Conference on Artificial Intelligence, pp. 227\u2013233 (1991)"},{"key":"46_CR10","doi-asserted-by":"crossref","unstructured":"Friedrich, G., Ryabokon, A., Falkner, A.A., Haselb\u00f6ck, A., Schenner, G., Schreiner, H.: (Re) configuration based on model generation. In: Proceedings of the Second Workshop on Logics for Component Configuration, LoCoCo, vol.\u00a065, pp. 26\u201335 (2011)","DOI":"10.4204\/EPTCS.65.3"},{"issue":"2","key":"46_CR11","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/AIC-2011-0491","volume":"24","author":"M. Gebser","year":"2011","unstructured":"Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., Schneider, M.T.: Potassco: The Potsdam Answer Set Solving Collection. AI Communications\u00a024(2), 107\u2013124 (2011)","journal-title":"AI Communications"},{"key":"46_CR12","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.artint.2012.04.001","volume":"187-188","author":"M. Gebser","year":"2012","unstructured":"Gebser, M., Kaufmann, B., Schaub, T.: Conflict-driven answer set solving: From theory to practice. Artificial Intelligence\u00a0187-188, 52\u201389 (2012)","journal-title":"Artificial Intelligence"},{"key":"46_CR13","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: 5th International Conference and Symposium on Logic Programming, pp. 1070\u20131080 (1988)"},{"key":"46_CR14","unstructured":"Haselb\u00f6ck, A.: Exploiting interchangeabilities in constraint-satisfaction problems. In: Proceedings of the 13th International Joint Conference on Artificial Intelligence, pp. 282\u2013289 (1993)"},{"key":"46_CR15","unstructured":"Leone, N., Manna, M., Terracina, G., Veltri, P.: Efficiently Computable Datalog\u2203 Programs. In: Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning, pp. 13\u201323 (2012)"},{"issue":"3","key":"46_CR16","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N. Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic (TOCL)\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"key":"46_CR17","unstructured":"Mayer, W., Bettex, M., Stumptner, M., Falkner, A.: On solving complex rack configuration problems using CSP methods. In: Proceedings of the Workshop on Configuration (2009)"},{"key":"46_CR18","unstructured":"Ryabokon, A.: Study: Symmetry breaking for ASP. CoRR arXiv:1212.2657 (2012)"},{"key":"46_CR19","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P. Simons","year":"2002","unstructured":"Simons, P., Niemel\u00e4, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence\u00a0138, 181\u2013234 (2002)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"46_CR20","first-page":"111","volume":"10","author":"M. Stumptner","year":"1997","unstructured":"Stumptner, M.: An overview of knowledge-based configuration. AI Communications\u00a010(2), 111\u2013125 (1997)","journal-title":"AI Communications"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40564-8_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,3]],"date-time":"2020-08-03T22:44:28Z","timestamp":1596494668000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40564-8_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405631","9783642405648"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40564-8_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}