{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T09:06:32Z","timestamp":1758272792480,"version":"3.41.0"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319155449"},{"type":"electronic","value":"9783319155456"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15545-6_10","type":"book-chapter","created":{"date-parts":[[2015,3,5]],"date-time":"2015-03-05T02:19:15Z","timestamp":1425521955000},"page":"115-133","source":"Crossref","is-referenced-by-count":8,"title":["Partial Valuation Structures for Qualitative Soft Constraints"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Schiendorfer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Knapp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan-Philipp","family":"Stegh\u00f6fer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerrit","family":"Anders","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Siefert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Reif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Amadio, R.M., Curien, P.L.: Domains and Lambda-Calculi. Cambridge Tracts in Theoretical Computer Science, vol.\u00a046. Cambridge University Press (1998)","DOI":"10.1017\/CBO9780511983504"},{"key":"10_CR2","unstructured":"Anders, G., Schiendorfer, A., Stegh\u00f6fer, J.P., Reif, W.: Robust Scheduling in a Self-Organizing Hierarchy of Autonomous Virtual Power Plants. In: Stechele, W., Wild, T. (eds.) Proc. 2nd Int. Wsh. Self-optimisation in Organic and Autonomic Computing Systems (SAOS 2014), pp. 1\u20138 (2014)"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/S0004-3702(02)00208-4","volume":"139","author":"S. Bistarelli","year":"2002","unstructured":"Bistarelli, S., Codognet, P., Rossi, F.: Abstracting Soft Constraints: Framework, Properties, Examples. Artif. Intell.\u00a0139, 175\u2013211 (2002)","journal-title":"Artif. Intell."},{"issue":"2","key":"10_CR4","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1111\/j.0824-7935.2004.00239.x","volume":"20","author":"S. Bistarelli","year":"2004","unstructured":"Bistarelli, S., Fr\u00fchwirth, T., Marte, M., Rossi, F.: Soft Constraint Propagation and Solving in Constraint Handling Rules. Computational Intelligence\u00a020(2), 287\u2013307 (2004)","journal-title":"Computational Intelligence"},{"issue":"2","key":"10_CR5","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/256303.256306","volume":"44","author":"S. Bistarelli","year":"1997","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based Constraint Satisfaction and Optimization. J. ACM\u00a044(2), 201\u2013236 (1997)","journal-title":"J. ACM"},{"issue":"3","key":"10_CR6","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1023\/A:1026441215081","volume":"4","author":"S. Bistarelli","year":"1999","unstructured":"Bistarelli, S., Montanari, U., Rossi, F., Schiex, T., Verfaillie, G., Fargier, H.: Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison. Constraints\u00a04(3), 199\u2013240 (1999)","journal-title":"Constraints"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1215\/S0012-7094-40-00648-2","volume":"6","author":"H.F. Bohnenblust","year":"1940","unstructured":"Bohnenblust, H.F.: An Axiomatic Characterization of L p -spaces. Duke Math. J.\u00a06, 627\u2013640 (1940)","journal-title":"Duke Math. J."},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/BF01807506","volume":"5","author":"A. Borning","year":"1992","unstructured":"Borning, A., Freeman-Benson, B., Wilson, M.: Constraint Hierarchies. LISP Symb. Comp.\u00a05, 223\u2013270 (1992)","journal-title":"LISP Symb. Comp."},{"issue":"1","key":"10_CR9","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/j.artint.2003.09.002","volume":"154","author":"M. Cooper","year":"2004","unstructured":"Cooper, M., Schiex, T.: Arc Consistency for Soft Constraints. Artificial Intelligence\u00a0154(1), 199\u2013227 (2004)","journal-title":"Artificial Intelligence"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-540-31845-3_19","volume-title":"Multiparadigm Programming in Mozart\/Oz","author":"A. Delgado","year":"2005","unstructured":"Delgado, A., Olarte, C.A., P\u00e9rez, J.A., Rueda, C.: Implementing Semiring-Based Constraints Using Mozart. In: Van Roy, P. (ed.) MOZ 2004. LNCS, vol.\u00a03389, pp. 224\u2013236. Springer, Heidelberg (2005)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1007\/978-3-662-44857-1_13","volume-title":"Testing Software and Systems","author":"B. Eberhardinger","year":"2014","unstructured":"Eberhardinger, B., Seebach, H., Knapp, A., Reif, W.: Towards Testing Self-organizing, Adaptive Systems. In: Merayo, M.G., de Oca, E.M. (eds.) ICTSS 2014. LNCS, vol.\u00a08763, pp. 180\u2013185. Springer, Heidelberg (2014)"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-45114-0_6","volume-title":"Advances in Artificial Intelligence and Its Applications","author":"F. Gadducci","year":"2013","unstructured":"Gadducci, F., H\u00f6lzl, M., Monreale, G.V., Wirsing, M.: Soft constraints for lexicographic orders. In: Castro, F., Gelbukh, A., Gonz\u00e1lez, M. (eds.) MICAI 2013, Part I. LNCS, vol.\u00a08265, pp. 68\u201379. Springer, Heidelberg (2013)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"H\u00f6lzl, M., Meier, M., Wirsing, M.: Which Soft Constraints do you Prefer? In: Proc. 7th Int. Wsh. Rewriting Logic and its Applications (WRLA 2008). Electronic Notes in Theoretical Computer Science, vol.\u00a0238(3), pp. 189\u2013205 (2009)","DOI":"10.1016\/j.entcs.2009.05.020"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-24933-4_12","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"M. H\u00f6lzl","year":"2011","unstructured":"H\u00f6lzl, M., Wirsing, M.: Towards a System Model for Ensembles. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol.\u00a07000, pp. 241\u2013261. Springer, Heidelberg (2011)"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Hosobe, H.: Constraint Hierarchies as Semiring-Based CSPs. In: Proc. 21st Int. Conf. Tools with Artificial Intelligence (ICTAI 2009), pp. 176\u2013183 (2009)","DOI":"10.1109\/ICTAI.2009.43"},{"key":"10_CR16","unstructured":"Knapp, A., Schiendorfer, A.: Embedding Constraint Relationships into C-Semirings. Tech. Rep. 2014-03, Institute for Software and Systems Engineering, University of Augsburg (2014), http:\/\/opus.bibliothek.uni-augsburg.de\/opus4\/frontdoor\/index\/index\/docId\/2684"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Knapp, A., Schiendorfer, A., Reif, W.: Quality over Quantity in Soft Constraints. In: Proc. 26th Int. Conf. Tools with Artificial Intelligence (ICTAI 2014), pp. 453\u2013460 (2014)","DOI":"10.1109\/ICTAI.2014.75"},{"key":"10_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-540-76928-6_22","volume-title":"AI 2007: Advances in Artificial Intelligence","author":"L. Leenen","year":"2007","unstructured":"Leenen, L., Anbulagan, A., Meyer, T., Ghose, A.K.: Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol.\u00a04830, pp. 202\u2013212. Springer, Heidelberg (2007)"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Meseguer, P., Rossi, F., Schiex, T.: Soft Constraints. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, ch.\u00a09 (2006)","DOI":"10.1016\/S1574-6526(06)80013-1"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Nafz, F., Seebach, H., Stegh\u00f6fer, J.P., Anders, G., Reif, W.: Constraining Self-organisation Through Corridors of Correct Behaviour: The Restore Invariant Approach. In: M\u00fcller-Schloer, C., Schmeck, H., Ungerer, T. (eds.) Organic Computing \u2013 A Paradigm Shift for Complex Systems. Autonomic Systems, vol.\u00a01, pp. 79\u201393. Springer (2011)","DOI":"10.1007\/978-3-0348-0130-0_5"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Schiendorfer, A., Stegh\u00f6fer, J.P., Knapp, A., Nafz, F., Reif, W.: Constraint Relationships for Soft Constraints. In: Bramer, M., Petridis, M. (eds.) Proc. 33rd SGAI Int. Conf. Innovative Techniques and Applications of Artificial Intelligence (AI 2013), pp. 241\u2013255. Springer (2013)","DOI":"10.1007\/978-3-319-02621-3_17"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Schiendorfer, A., Stegh\u00f6fer, J.P., Reif, W.: Synthesis and Abstraction of Constraint Models for Hierarchical Resource Allocation Problems. In: Proc. 6th Int. Conf. Agents and Artificial Intelligence (ICAART 2014), vol.\u00a02, pp. 15\u201327. SciTePress (2014)","DOI":"10.5220\/0004757700150027"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Schiendorfer, A., Stegh\u00f6fer, J.P., Reif, W.: Synthesised Constraint Models for Distributed Energy Management. In: Proc. 3rd Int. Wsh. Smart Energy Networks & Multi-Agent Systems (SEN-MAS 2014), pp. 1529\u20131538 (2014)","DOI":"10.15439\/2014F49"},{"key":"10_CR24","unstructured":"Schiex, T., Fargier, H., Verfaillie, G.: Valued Constraint Satisfaction Problems: Hard and Easy Problems. In: Proc. 14th Int. Joint Conf. Artificial Intelligence (IJCAI 1995), vol.\u00a01, pp. 631\u2013639. Morgan Kaufmann (1995)"},{"key":"10_CR25","unstructured":"Smith, B.M.: Modelling. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, ch.\u00a011. Elsevier (2006)"},{"key":"10_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-642-16576-4_5","volume-title":"Autonomic and Trusted Computing","author":"J.-P. Stegh\u00f6fer","year":"2010","unstructured":"Stegh\u00f6fer, J.-P., et al.: Trustworthy Organic Computing Systems: Challenges and Perspectives. In: Xie, B., Branke, J., Sadjadi, S.M., Zhang, D., Zhou, X. (eds.) ATC 2010. LNCS, vol.\u00a06407, pp. 62\u201376. Springer, Heidelberg (2010)"},{"key":"10_CR27","unstructured":"Stegh\u00f6fer, J.P., Anders, G., Siefert, F., Reif, W.: A System of Systems Approach to the Evolutionary Transformation of Power Management Systems. In: Wsh. Proc. 43th Nat. Conf. GI Jahrestagung (INFORMATIK 2013). Lect. Notes Inf., vol.\u00a0P-220, Bonner K\u00f6llen Verlag (2013)"},{"key":"10_CR28","unstructured":"Tsang, E.P.K.: Foundations of Constraint Satisfaction. Computation in Cognitive Science 289. Academic Press (1993)"}],"container-title":["Lecture Notes in Computer Science","Software, Services, and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15545-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,20]],"date-time":"2025-05-20T18:43:04Z","timestamp":1747766584000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-15545-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319155449","9783319155456"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15545-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}