{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T21:27:59Z","timestamp":1783114079643,"version":"3.54.6"},"reference-count":26,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2006,7,1]],"date-time":"2006-07-01T00:00:00Z","timestamp":1151712000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2006,7]]},"abstract":"<jats:p>\n            Soft constraints extend classical constraints to represent multiple consistency levels, and thus provide a way to express preferences, fuzziness, and uncertainty. While there are many soft constraint solving formalisms, even distributed ones, as yet there seems to be no concurrent programming framework where soft constraints can be handled. In this article we show how the classical concurrent constraint (cc) programming framework can work with soft constraints, and we also propose an extension of cc languages which can use soft constraints to prune and direct the search for a solution. We believe that this new programming paradigm, called\n            <jats:italic>soft cc<\/jats:italic>\n            (scc), can be also very useful in many Web-related scenarios. In fact, the language level allows Web agents to express their interaction and negotiation protocols, and also to post their requests in terms of preferences, and the underlying soft constraint solver can find an agreement among the agents even if their requests are incompatible.\n          <\/jats:p>","DOI":"10.1145\/1149114.1149118","type":"journal-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T18:11:32Z","timestamp":1161195092000},"page":"563-589","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":44,"title":["Soft concurrent constraint programming"],"prefix":"10.1145","volume":"7","author":[{"given":"Stefano","family":"Bistarelli","sequence":"first","affiliation":[{"name":"C.N.R., Pisa, Italy and Universit\u00e0 degli Studi \u201cG. d'Annunzio\u201d, Pescara, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Pisa, Italy, Pisa, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francesca","family":"Rossi","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Padova, Italy, Padua, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2006,7]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Rfc2702: Requirements for traffic engineering over MPLS. Tech. rep","author":"Awduche D."},{"key":"e_1_2_1_2_1","volume-title":"Proceedings of the 3rd International Symposium on Practical Aspects of Declarative Languages (PADL'01)","volume":"1990","author":"Bella G."},{"key":"e_1_2_1_3_1","volume-title":"Proceedings of the 10th Cambridge International Security Protocol Workshop (CISPW2002)","volume":"2845","author":"Bella G."},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the IEEE 4th international Workshop on Policies for Distributed Systems and Networks (POLICY2003)","author":"Bistarelli S."},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the 22th International Conference on Computer Safety, Reliability and Security (SAFECOMP2003)","volume":"2788","author":"Bistarelli S."},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI95)","author":"Bistarelli S."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/256303.256306"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/383721.383725"},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the Colloquium on Trees in Algebra and Programming (CAAP91)","volume":"493","author":"Boer F. D."},{"key":"e_1_2_1_11_1","unstructured":"Calisti M. and Faltings B. 2000. Distributed constrained agents for allocating service demands in multi-provider networks. J. Italian Operat. Res. Soc. Special issue on constraint-based problem solving. XXIX 91.]]  Calisti M. and Faltings B. 2000. Distributed constrained agents for allocating service demands in multi-provider networks. J. Italian Operat. Res. Soc. Special issue on constraint-based problem solving. XXIX 91.]]"},{"key":"e_1_2_1_12_1","volume-title":"Proceedings of the 7th IEEE International Conference on Computer, Communications and Networks (ICCCN'98)","author":"Chen S."},{"key":"e_1_2_1_13_1","volume-title":"Rfc1102: Policy routing in internet protocols. Tech. rep","author":"Clark D."},{"key":"e_1_2_1_14_1","doi-asserted-by":"crossref","unstructured":"de Boer F. and Palamidessi C. 1994. From concurrent logic programming to concurrent constraint programming. In Advances in Logic Programming Theory. Oxford University Press Oxford U.K. 55--113.]]   de Boer F. and Palamidessi C. 1994. From concurrent logic programming to concurrent constraint programming. In Advances in Logic Programming Theory. Oxford University Press Oxford U.K. 55--113.]]","DOI":"10.1007\/3-540-58402-1_1"},{"key":"e_1_2_1_15_1","volume-title":"Ed. Lecture Notes in Computer Science","volume":"2772","author":"De Nicola R."},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the IEEE International Conference on Fuzzy Systems. IEEE Computer Society Press","author":"Dubois D."},{"key":"e_1_2_1_17_1","volume-title":"Proceedings of the European Conference on Symbolic and Qualitative Approaches to Reasoning and Uncertainty (ECSQARU). Lecture Notes in Computer Science","volume":"747","author":"Fargier H."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90004-H"},{"key":"e_1_2_1_19_1","unstructured":"Jain R. and Sun W. 2000. QoS\/policy\/constraintnbased routing. In Carrier IP Telephony 2000 Comprehensive Report. International Engineering Consortium Chicago IL.]]  Jain R. and Sun W. 2000. QoS\/policy\/constraintnbased routing. In Carrier IP Telephony 2000 Comprehensive Report. International Engineering Consortium Chicago IL.]]"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.685256"},{"key":"e_1_2_1_21_1","volume-title":"Post-graduate lecture notes in advanced domain theory (incorporating the Pisa lecture notes). Technical rep. Department of Computer Science","author":"Plotkin G."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/FUZZY.1994.343640"},{"key":"e_1_2_1_23_1","volume-title":"Concurrent Constraint Programming","author":"Saraswat V."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99627"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/143802.145412"},{"key":"e_1_2_1_26_1","volume-title":"Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI95)","author":"Schiex T."},{"key":"e_1_2_1_27_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the 9th International Colloquium on Automata, Languages and Programming (ICALP82)","author":"Scott D."}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1149114.1149118","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1149114.1149118","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:31:13Z","timestamp":1750264273000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1149114.1149118"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,7]]}},"alternative-id":["10.1145\/1149114.1149118"],"URL":"https:\/\/doi.org\/10.1145\/1149114.1149118","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"value":"1529-3785","type":"print"},{"value":"1557-945X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,7]]},"assertion":[{"value":"2006-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}