{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:46:22Z","timestamp":1752461182477},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678397"},{"type":"electronic","value":"9783540449140"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44914-0_5","type":"book-chapter","created":{"date-parts":[[2007,5,22]],"date-time":"2007-05-22T21:26:14Z","timestamp":1179869174000},"page":"71-86","source":"Crossref","is-referenced-by-count":5,"title":["An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Bistarelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Codognet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesca","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,8,11]]},"reference":[{"key":"5_CR1","unstructured":"G. Birkhoff and S. MacLane. A Survey of Modern Algebra. MacMillan, 1965."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"S. Bistarelli, P. Codognet, Y. Georget, and F. Rossi. Abstracting soft constraints. In K. Apt, E. Monfroy, T. Kakas, and F. Rossi, editors, Proc. 1999 ERCIM\/Compulog Net workshop on Constraints, Springer LNAI, 2000, to appear.","DOI":"10.1007\/3-540-44654-0_6"},{"key":"5_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Over-Constrained Systems","author":"S. Bistarelli","year":"1996","unstructured":"S. Bistarelli, H. Fargier, U. Montanari, F. Rossi, T. Schiex, and G. Verfaillie. Semiring-based CSPs and valued CSPs: Basic properties and comparison. In Over-Constrained Systems. Springer-Verlag, LNCS 1106, 1996."},{"issue":"2","key":"5_CR4","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/256303.256306","volume":"44","author":"S. Bistarelli","year":"1997","unstructured":"S. Bistarelli, U. Montanari, and F. Rossi. Semiring-based Constraint Solving and Optimization. Journal of the ACM, 44(2):201\u2013236, March 1997.","journal-title":"Journal of the ACM"},{"key":"5_CR5","unstructured":"Y. Caseau. Abstract Interpretation of Constraints on Order-Sorted Domains. In Proc. ILPS91, MIT Press, 1991."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Fourth ACM Symp. Principles of Programming Languages, pages 238\u2013252, 1977.","DOI":"10.1145\/512950.512973"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Systematic design of program analyis. In Sixth ACM Symp. Principles of Programming Languages, pages 269\u2013282, 1979.","DOI":"10.1145\/567752.567778"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"D. Dubois, H. Fargier, and H. Prade. The calculus of fuzzy restrictions as a basis for flexible constraint satisfaction. In Proc. IEEE International Conference on Fuzzy Systems, pages 1131\u20131136. IEEE, 1993.","DOI":"10.1109\/FUZZY.1993.327356"},{"key":"5_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Proc. CP98","author":"Y. Georget","year":"1998","unstructured":"Y. Georget and P. Codognet. Compiling semiring-based constraints with clp(fd,s). In M. Maher and J-F. Puget, editors, Proc. CP98. Springer-Verlag, LNCS 1520, 1998."},{"issue":"3\u20134","key":"5_CR10","first-page":"167","volume":"10","author":"F. Giunchiglia","year":"1997","unstructured":"F. Giunchiglia, A. Villafiorita and T. Walsh. Theories of abstraction. AI Communication, 1997, vol. 10, n. 3\u20134, pp. 167\u2013176.","journal-title":"AI Communication"},{"issue":"2\u20133","key":"5_CR11","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0004-3702(92)90021-O","volume":"56","author":"F. Giunchiglia","year":"1992","unstructured":"F. Giunchiglia and T. Walsh. A theory of abstraction. Artificial Intelligence, 56(2\u20133):323\u2013390, 1992.","journal-title":"Artificial Intelligence"},{"key":"5_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/BFb0017456","volume-title":"Proc. CP97","author":"S. Givry de","year":"1997","unstructured":"S. deGivry, G. Verfaillie, and T. Schiex. Bounding The Optimum of Constraint Optimization Problems. In G. Smolka, editor, Proc. CP97, pages 405\u2013419. Springer-Verlag, LNCS 1330, 1997."},{"issue":"1","key":"5_CR13","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"A.K. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8(1):99\u2013118, 1977.","journal-title":"Artificial Intelligence"},{"key":"5_CR14","unstructured":"A.K. Mackworth. Constraint Satisfaction. Encyclopedia of AI (second edition), John Wiley & Sons, Stuart C. Shapiro ed., Vol. 1, pp. 285\u2013293, 1992."},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Zs. Ruttkay. Fuzzy constraint satisfaction. In Proc. 3rd IEEE International Conference on Fuzzy Systems, pages 1263\u20131268, 1994.","DOI":"10.1109\/FUZZY.1994.343640"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"T. Schiex. Possibilistic constraint satisfaction problems, or \u201chow to handle soft constraints?\u201d. In Proc. 8th Conf. of Uncertainty in AI, pages 269\u2013275, 1992.","DOI":"10.1016\/B978-1-4832-8287-9.50041-4"},{"key":"5_CR17","unstructured":"T. Schiex, H. Fargier, and G. Verfaillie. Valued Constraint Satisfaction Problems: Hard and Easy Problems. In Proc. IJCAI95, pages 631\u2013637. Morgan Kaufmann, 1995."}],"container-title":["Lecture Notes in Computer Science","Abstraction, Reformulation, and Approximation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44914-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T07:01:22Z","timestamp":1556434882000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44914-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678397","9783540449140"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-44914-0_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}