{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:49:21Z","timestamp":1725515361488},"publisher-location":"Berlin, Heidelberg","reference-count":75,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540686767"},{"type":"electronic","value":"9783540686798"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68679-8_11","type":"book-chapter","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T06:58:16Z","timestamp":1213081096000},"page":"155-173","source":"Crossref","is-referenced-by-count":6,"title":["Semiring-Based Soft Constraints"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Bistarelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesca","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511615320","volume-title":"Principles of Constraint Programming","author":"K.R. Apt","year":"2003","unstructured":"Apt, K.R.: Principles of Constraint Programming. Cambridge University Press, Cambridge (2003)"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45241-9_8","volume-title":"Practical Aspects of Declarative Languages","author":"G. Bella","year":"2001","unstructured":"Bella, G., Bistarelli, S.: Soft Constraints for Security Protocol Analysis: Confidentiality. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990. Springer, Heidelberg (2001)"},{"key":"11_CR3","first-page":"1","volume-title":"Theory and Practice of Logic Programming (TPLP), special Issue on Verification and Computational Logic","author":"G. Bella","year":"2004","unstructured":"Bella, G., Bistarelli, S.: Soft Constraint Programming to Analysing Security Protocols. In: Theory and Practice of Logic Programming (TPLP), special Issue on Verification and Computational Logic, vol.\u00a04(5), pp. 1\u201328. Cambridge University Press, Cambridge (2004)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/978-3-540-39871-4_10","volume-title":"Security Protocols","author":"G. Bella","year":"2004","unstructured":"Bella, G., Bistarelli, S.: Confidentiality levels and deliberate\/indeliberate protocol attacks. In: Christianson, B., Crispo, B., Malcolm, J.A., Roe, M. (eds.) Security Protocols 2002. LNCS, vol.\u00a02845, pp. 104\u2013119. Springer, Heidelberg (2004)"},{"issue":"4","key":"11_CR5","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1016\/j.cose.2004.10.004","volume":"24","author":"G. Bella","year":"2005","unstructured":"Bella, G., Bistarelli, S.: Information Assurance for Security Protocols. Computers & Security\u00a024(4), 322\u2013333 (2005)","journal-title":"Computers & Security"},{"key":"11_CR6","unstructured":"Biso, A., Rossi, F., Sperduti, A.: Experimental results on Learning Soft Constraints. In: Proc. KR 2000 (7th Int. Conf. on Principles of Knowledge Representation and Reasoning) (2000)"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/b95712","volume-title":"Semirings for Soft Constraint Solving and Programming","author":"S. Bistarelli","year":"2004","unstructured":"Bistarelli, S.: Semirings for Soft Constraint Solving and Programming. LNCS, vol.\u00a02962. Springer, Heidelberg (2004)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Bistarelli, S., Bonchi, F.: Soft Constraint Based Pattern Mining. Data & Knowledge Engineering\u00a062(1) (2007)","DOI":"10.1016\/j.datak.2006.07.008"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75549-4_3","volume-title":"Knowledge Discovery in Inductive Databases","author":"S. Bistarelli","year":"2007","unstructured":"Bistarelli, S., Bonchi, F.: Extending the Soft Constraint Based Mining Paradigm. In: D\u017eeroski, S., Struyf, J. (eds.) KDID 2006. LNCS, vol.\u00a04747, Springer, Heidelberg (2007)"},{"key":"11_CR10","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. Artificial Intelligence Journal\u00a0139, 175\u2013211 (2002)","journal-title":"Artificial Intelligence Journal"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-47917-1","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"S. Bistarelli","year":"2002","unstructured":"Bistarelli, S., Faltings, B., Neagu, N.: Interchangeability in Soft CSPs. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, Springer, Heidelberg (2002)"},{"key":"11_CR12","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Recent Advances in Constraints","author":"S. Bistarelli","year":"2004","unstructured":"Bistarelli, S., Faltings, B., Neagu, N.: Experimental Evaluation of Interchangeability in Soft CSPs. In: Apt, K.R., Fages, F., Rossi, F., Szeredi, P., V\u00e1ncza, J. (eds.) CSCLP 2003. LNCS (LNAI), vol.\u00a03010, Springer, Heidelberg (2004)"},{"key":"11_CR13","volume-title":"Constraints","author":"S. Bistarelli","year":"1999","unstructured":"Bistarelli, S., Fargier, H., Montanari, U., Rossi, F., Schiex, T., Verfaillie, G.: Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison. In: Constraints, vol.\u00a04(3), Kluwer, Dordrecht (1999)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Bistarelli, S., Foley, S.N.: Analysis of Integrity Policies using Soft Constraints. In: Proc. IEEE POLICY 2003 (2003)","DOI":"10.1109\/POLICY.2003.1206959"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Safety, Reliability, and Security","author":"S. Bistarelli","year":"2003","unstructured":"Bistarelli, S., Foley, S.N.: A Constraint Based Framework for Dependability Goals: Integrity. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol.\u00a02788. Springer, Heidelberg (2003)"},{"key":"11_CR16","volume-title":"Proc. IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST)","author":"S. Bistarelli","year":"2005","unstructured":"Bistarelli, S., Foley, S.N., O\u2019Sullivan, B.: Reasoning about Secure Interoperation using Soft Constraints. In: Proc. IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), Kluwer, Dordrecht (2005)"},{"key":"11_CR17","volume-title":"Proc. IAAI 2004","author":"S. Bistarelli","year":"2004","unstructured":"Bistarelli, S., Foley, S.N., O\u2019Sullivan, B.: Detecting and Eliminating the Cascade Vulnerability Problem from Multi-level Security Networks using Soft Constraints. In: Proc. IAAI 2004, AAAI Press, Menlo Park (2004)"},{"issue":"5","key":"11_CR18","doi-asserted-by":"crossref","first-page":"699","DOI":"10.3233\/JCS-2005-13502","volume":"13","author":"S. Bistarelli","year":"2004","unstructured":"Bistarelli, S., Foley, S.N., O\u2019Sullivan, B.: A soft constraint-based approach to the cascade vulnerability problem. Journal of Computer Security\u00a013(5), 699\u2013720; Special Issue: Security Track at ACM Symposium on Applied Computing (2004)","journal-title":"Journal of Computer Security"},{"issue":"2","key":"11_CR19","first-page":"287","volume":"20","author":"S. Bistarelli","year":"2004","unstructured":"Bistarelli, S., Fruehwirth, T., Marte, M., Rossi, F.: Soft Constraint Propagation and Solving in Constraint Handling Rules. Special issue of Computational Intelligence on Preferences in AI and CP\u00a020(2), 287\u2013307 (2004)","journal-title":"Special issue of Computational Intelligence on Preferences in AI and CP"},{"key":"11_CR20","unstructured":"Bistarelli, S., Gabbrielli, M., Meo, M.C., Santini, F.: Timed Soft Concurrent Constraint Programs. In: Proc. CP2007 Doctoral Program, Providence RI - USA (2007)"},{"key":"11_CR21","first-page":"63","volume-title":"Proc. ECAI 2006","author":"S. Bistarelli","year":"2006","unstructured":"Bistarelli, S., Gadducci, F.: Enhancing constraints manipulation in semiring-based formalisms. In: Proc. ECAI 2006, pp. 63\u201367. IOS Press, Amsterdam (2006)"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Bistarelli, S., Gennari, R., Rossi, F.: General Properties and Termination Conditions for Soft Constraint Propagation. Constraints: An International Journal, Constraints\u00a08(1) (2003)","DOI":"10.1023\/A:1021950728713"},{"key":"11_CR23","volume-title":"Proc. AI-2003, BCS Conference Series Research and Development in Intelligent Systems xx","author":"S. Bistarelli","year":"2004","unstructured":"Bistarelli, S., Keleher, J., O\u2019Sullivan, B.: Symmetry Breaking in Soft CSPs. In: Proc. AI-2003, BCS Conference Series Research and Development in Intelligent Systems xx. Springer, Heidelberg (2004)"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Bistarelli, S., Marte, M., Fruhwirth, T., Rossi, F.: Soft Constraint propagation and Solving with CHRs. In: Proc. SAC 2002 (ACM Symposium on Applied Computing), Madrid (March 2002)","DOI":"10.1145\/508791.508793"},{"issue":"3","key":"11_CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1149114.1149118","volume":"7","author":"S. Bistarelli","year":"2006","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Soft Concurrent Constraint Programming. ACM Transactions on Computational Logic (TOCL)\u00a07(3), 1\u201327 (2006)","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"issue":"2","key":"11_CR26","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 Solving and Optimization. Journal of the ACM\u00a044(2), 201\u2013236 (1997)","journal-title":"Journal of the ACM"},{"key":"11_CR27","volume-title":"Proc. IJCAI 1995","author":"S. Bistarelli","year":"1995","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Constraint Solving over Semirings. In: Proc. IJCAI 1995, Morgan Kaufmann, San Francisco (1995)"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Soft Constraint Logic Programming and Generalized Shortest Path Problems. Journal of Heuristics\u00a08(1) (2002)","DOI":"10.1023\/A:1013609600697"},{"key":"11_CR29","first-page":"352","volume-title":"Proc.15th International Joint Conference on Artificial Intelligence (IJCAI 1997)","author":"S. Bistarelli","year":"1997","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based Constraint Logic Programming. In: Proc.15th International Joint Conference on Artificial Intelligence (IJCAI 1997), pp. 352\u2013357. Morgan Kaufman, San Francisco (1997)"},{"issue":"1","key":"11_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/383721.383725","volume":"23","author":"S. Bistarelli","year":"2001","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based Constraint Logic Programming: Syntax and Semantics. ACM Transactions on Programming Languages and System (TOPLAS)\u00a023(1), 1\u201329 (2001)","journal-title":"ACM Transactions on Programming Languages and System (TOPLAS)"},{"key":"11_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45927-8_5","volume-title":"Programming Languages and Systems","author":"S. Bistarelli","year":"2002","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Soft Concurrent Constraint Programming. In: Le M\u00e9tayer, D. (ed.) ESOP 2002. LNCS, vol.\u00a02305, Springer, Heidelberg (2002)"},{"key":"11_CR32","doi-asserted-by":"crossref","unstructured":"Bistarelli, S., Montanari, U., Rossi, F., Santini, F.: Modelling Multicast Qos Routing by using Best-Tree Search in AND-OR Graphs and Soft Constraint Logic Programming. In: Proc. Fifth Workshop on Quantitative Aspects of Programming Languages QAPL 2007, ENTCS (2007)","DOI":"10.1016\/j.entcs.2007.07.008"},{"key":"11_CR33","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Recent Advances in Constraints","author":"S. Bistarelli","year":"2004","unstructured":"Bistarelli, S., Pilan, I., Rossi, F.: Abstracting Soft Constraints: Some Experimental Results. In: Apt, K.R., Fages, F., Rossi, F., Szeredi, P., V\u00e1ncza, J. (eds.) CSCLP 2003. LNCS (LNAI), vol.\u00a03010, Springer, Heidelberg (2004)"},{"key":"11_CR34","doi-asserted-by":"crossref","unstructured":"Bistarelli, S., Santini, F.: Propagating Multitrust within Trust Networks. In: Proc. SAC 2008 (to appear, 2008)","DOI":"10.1145\/1363686.1364170"},{"key":"11_CR35","unstructured":"Bistarelli, S., Santini, F.: Non monotonic soft cc. IIT TR-15\/2007 (2007)"},{"issue":"2","key":"11_CR36","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1111\/j.0824-7935.2004.00236.x","volume":"22","author":"R. Brafman","year":"2004","unstructured":"Brafman, R., Dimopoulos, Y.: Preference-based constraint optimization. Computational Intelligence\u00a022(2), 218\u2013245 (2004)","journal-title":"Computational Intelligence"},{"key":"11_CR37","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1613\/jair.1234","volume":"21","author":"C. Boutilier","year":"2004","unstructured":"Boutilier, C., Brafman, R.I., Domshlak, C., Hoos, H.H., Poole, D.: CP-nets: A tool for representing and reasoning with conditional ceteris paribus preference statements. Journal of Artificial Intelligence Research\u00a021, 135\u2013191 (2004)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"11_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71316-6_3","volume-title":"Programming Languages and Systems","author":"M. Buscemi","year":"2007","unstructured":"Buscemi, M., Montanari, U.: CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, Springer, Heidelberg (2007)"},{"issue":"3","key":"11_CR39","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S0165-0114(02)00134-3","volume":"134","author":"M.C. Cooper","year":"2003","unstructured":"Cooper, M.C.: Reduction operations in fuzzy or valued constraint satisfaction. Fuzzy Sets and Systems\u00a0134(3), 311\u2013342 (2003)","journal-title":"Fuzzy Sets and Systems"},{"issue":"1-2","key":"11_CR40","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/j.artint.2003.09.002","volume":"154","author":"M.C. Cooper","year":"2004","unstructured":"Cooper, M.C., Schiex, T.: Arc Consistency for Soft Constraints. Artificial Intelligence\u00a0154(1-2), 199\u2013227 (2004)","journal-title":"Artificial Intelligence"},{"key":"11_CR41","volume-title":"Proc.4th ACM Symposium on Principles of Programming Languages (POPL 1977)","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation: A Unified lattice Model for static Analysis of Programs by Construction or Approximation of Fixpoints. In: Proc.4th ACM Symposium on Principles of Programming Languages (POPL 1977). ACM, New York (1977)"},{"key":"11_CR42","volume-title":"Constraint Processing","author":"R. Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Morgan Kaufmann, San Francisco (2003)"},{"key":"11_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"11_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/b95570","volume-title":"Verification: Theory and Practice","author":"R. Nicola De","year":"2004","unstructured":"De Nicola, R., et al.: A Formal Basis for Reasoning on Programmable QoS. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol.\u00a02772. Springer, Heidelberg (2004)"},{"key":"11_CR45","first-page":"215","volume-title":"Proc. IJCAI 2003","author":"C. Domshlak","year":"2003","unstructured":"Domshlak, C., Rossi, F., Venable, K.B., Walsh, T.: Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques. In: Proc. IJCAI 2003, pp. 215\u2013220. Morgan Kaufmann, San Francisco (2003)"},{"key":"11_CR46","volume-title":"Proc. 2nd IEEE Int. Conf. on Fuzzy Systems","author":"D. Dubois","year":"1993","unstructured":"Dubois, D., Fargier, H., Prade, H.: The calculus of fuzzy restrictions as a basis for flexible constraint satisfaction. In: Proc. 2nd IEEE Int. Conf. on Fuzzy Systems. IEEE, Los Alamitos (1993)"},{"key":"11_CR47","unstructured":"Duchier, D., Gardent, C., Niehren, J.: Concurrent Constraint Programming in Oz for Natural Language Processing. Programming Systems Lab (1998), http:\/\/www.ps.uni-sb.de\/Papers"},{"key":"11_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0028188","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty","author":"H. Fargier","year":"1993","unstructured":"Fargier, H., Lang, J.: Uncertainty in Constraint Satisfaction Problems: a Probabilistic Approach. In: Moral, S., Kruse, R., Clarke, E. (eds.) ECSQARU 1993. LNCS, vol.\u00a0747. Springer, Heidelberg (1993)"},{"key":"11_CR49","unstructured":"Fargier, H., Lang, J., Schiex, T.: Selecting Preferred Solutions in Fuzzy Constraint Satisfaction Problems. In: Proc. 1st European Congress on Fuzzy and Intelligent Technologies (EUFIT) (1993)"},{"key":"11_CR50","doi-asserted-by":"crossref","unstructured":"Freuder, E.C., Likitvivatanavong, C., Wallace, R.J.: Explanation and implication for configuration problems. In: Proc. IJCAI 2001 workshop on configuration (2001)","DOI":"10.1007\/3-540-45578-7_44"},{"key":"11_CR51","doi-asserted-by":"crossref","unstructured":"Freuder, E.C., Wallace, R.J.: Partial Constraint Satisfaction. AI Journal\u00a058 (1992)","DOI":"10.1016\/0004-3702(92)90004-H"},{"key":"11_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74970-7_22","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"M. Gelain","year":"2007","unstructured":"Gelain, M., Pini, M.S., Rossi, F., Venable, K.B.: Dealing with incomplete preferences in soft constraint problems. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol.\u00a04741. Springer, Heidelberg (2007)"},{"key":"11_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49481-2_16","volume-title":"Principles and Practice of Constraint Programming - CP98","author":"Y. Georget","year":"1998","unstructured":"Georget, Y., Codognet, P.: Compiling semiring-based constraints with clp(fd,s). In: Maher, M.J., Puget, J.-F. (eds.) CP 1998. LNCS, vol.\u00a01520. Springer, Heidelberg (1998)"},{"key":"11_CR54","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/3-540-36187-1_39","volume-title":"AI 2002: Advances in Artificial Intelligence","author":"A. Ghose","year":"2002","unstructured":"Ghose, A., Harvey, P.: Metric scsps: Partial constraint satisfaction via semiring csps augmented with metrics. In: McKay, B., Slaney, J.K. (eds.) Canadian AI 2002. LNCS (LNAI), vol.\u00a02557, pp. 443\u2013454. Springer, Heidelberg (2002)"},{"key":"11_CR55","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"Van Hentenryck, P.: Constraint Satisfaction in Logic Programming. MIT Press, Cambridge (1989)"},{"key":"11_CR56","volume-title":"Proc. POPL 1987","author":"J. Jaffar","year":"1987","unstructured":"Jaffar, J., Lassez, J.L.: Constraint Logic Programming. In: Proc. POPL 1987, ACM, New York (1987)"},{"key":"11_CR57","unstructured":"Khatib, L., Morris, P., Morris, R., Rossi, F.: Temporal constraint reasoning with preferences. In: Proc. IJCAI 2001 (August 2001)"},{"key":"11_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45349-0_22","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"J. Larrosa","year":"2000","unstructured":"Larrosa, J., Dechter, R.: On the dual representation of non-binary semiring-based CSPs. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894. Springer, Heidelberg (2000)"},{"key":"11_CR59","series-title":"Lecture Notes in Computer Science","volume-title":"Principles and Practice of Constraint Programming - CP 2005","author":"L. Leenen","year":"2005","unstructured":"Leenen, L., Meyer, T., Ghose, A.K.: Relaxations of semiring constraint satisfaction problems. In: van Beek, P. (ed.) CP 2005. LNCS, vol.\u00a03709. Springer, Heidelberg (2005)"},{"key":"11_CR60","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with Constraints","author":"K. Marriott","year":"1998","unstructured":"Marriott, K., Stuckey, P.J.: Programming with Constraints. MIT Press, Cambridge (1998)"},{"key":"11_CR61","volume-title":"Handbook of constraint programming","author":"P. Meseguer","year":"2006","unstructured":"Meseguer, P., Rossi, F., Schiex, T.: Soft constraints. In: Rossi, F., Van Beek, P., Walsh, T. (eds.) Handbook of constraint programming. Elsevier, Amsterdam (2006)"},{"issue":"3","key":"11_CR62","first-page":"321","volume":"7","author":"M. Mohri","year":"2002","unstructured":"Mohri, M.: Semiring frameworks and algorithms for shortest-distance problems. Journal of Automata, Languages and Combinatorics\u00a07(3), 321\u2013350 (2002)","journal-title":"Journal of Automata, Languages and Combinatorics"},{"key":"11_CR63","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"Montanari, U.: Networks of Constraints: Fundamental Properties and Applications to Picture Processing. Information Science\u00a07, 95\u2013132 (1974)","journal-title":"Information Science"},{"key":"11_CR64","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Recent Advances in Constraints","author":"M. Moretti","year":"2003","unstructured":"Moretti, M., Rossi, F., Freuder, E., Likitvivatanavong, C., Wallace, R.: Explanations and optimization in preference-based configurators. In: O\u2019Sullivan, B. (ed.) CologNet 2002. LNCS (LNAI), vol.\u00a02627. Springer, Heidelberg (2003)"},{"key":"11_CR65","series-title":"LNAI","volume-title":"Selected papers from 2006 ERCIM workshop on constraints (Lisbon, June 2006)","author":"M.S. Pini","year":"2007","unstructured":"Pini, M.S., Rossi, F., Venable, K.B., Bistarelli, S.: Bipolar preference problems: framework, properties and solving techniques. In: HCII 2007 and DHM 2007. LNCS (LNAI), vol.\u00a04561. Springer, Heidelberg (2007)"},{"key":"11_CR66","doi-asserted-by":"crossref","unstructured":"Rossi, F., Sperduti, A.: Learning solution preferences in constraint problems. Journal of Theoretical and Experimental Artificial Intelligence (JETAI) 10 (1998)","DOI":"10.1080\/095281398146941"},{"key":"11_CR67","doi-asserted-by":"crossref","unstructured":"Rossi, F., Sperduti, A.: Acquiring both constraint and solution preferences in interactive constraint systems. Constraints\u00a09(4) (2004)","DOI":"10.1023\/B:CONS.0000049206.43218.5f"},{"volume-title":"Handbook of constraint programming","year":"2006","key":"11_CR68","unstructured":"Rossi, F., Van Beek, P., Walsh, T. (eds.): Handbook of constraint programming. Elsevier, Amsterdam (2006)"},{"key":"11_CR69","doi-asserted-by":"crossref","unstructured":"Ruttkay, Z.: Fuzzy Constraint Satisfaction. In: Proc. 3rd IEEE Int. Conf. on Fuzzy Systems (1994)","DOI":"10.1109\/FUZZY.1994.343640"},{"key":"11_CR70","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming","author":"V.A. Saraswat","year":"1993","unstructured":"Saraswat, V.A.: Concurrent Constraint Programming. MIT Press, Cambridge (1993)"},{"key":"11_CR71","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/3-540-45349-0_30","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"T. Schiex","year":"2000","unstructured":"Schiex, T.: Arc consistency for soft constraints. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, pp. 411\u2013424. Springer, Heidelberg (2000)"},{"key":"11_CR72","unstructured":"Schiex, T., Fargier, H., Verfaillie, G.: Valued Constraint Satisfaction Problems: hard and easy problems. In: Proc. IJCAI 1995 (1995)"},{"key":"11_CR73","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74970-7_66","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"B.M. Smith","year":"2007","unstructured":"Smith, B.M., Bistarelli, S., O\u2019Sullivan, B.: Constraint Symmetry for the Soft CSP. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol.\u00a04741. Springer, Heidelberg (2007)"},{"key":"11_CR74","volume-title":"Foundations of Constraint Satisfaction","author":"E.P.K. Tsang","year":"1993","unstructured":"Tsang, E.P.K.: Foundations of Constraint Satisfaction. Academic Press, London (1993)"},{"key":"11_CR75","unstructured":"Wilson, N.: Decision Diagrams for the Computation of Semiring Valuations. In: Proc. IJCAI 2005 (2005)"}],"container-title":["Lecture Notes in Computer Science","Concurrency, Graphs and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68679-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,6]],"date-time":"2020-05-06T08:05:00Z","timestamp":1588752300000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68679-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540686767","9783540686798"],"references-count":75,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68679-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}