{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T22:54:09Z","timestamp":1792191249489,"version":"4.4.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319104270","type":"print"},{"value":"9783319104287","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10428-7_4","type":"book-chapter","created":{"date-parts":[[2014,8,13]],"date-time":"2014-08-13T01:33:54Z","timestamp":1407893634000},"page":"6-8","source":"Crossref","is-referenced-by-count":1,"title":["Concurrent Constraint Programming Research Programmes \u2013 Redux"],"prefix":"10.1007","author":[{"given":"Vijay","family":"Saraswat","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1023\/A:1013232219911","volume":"9","author":"Y. Ajiro","year":"2002","unstructured":"Ajiro, Y., Ueda, K.: Kima: An Automated Error Correction System for Concurrent Logic Programs. Automated Software Engg.\u00a09(1), 67\u201394 (2002)","journal-title":"Automated Software Engg."},{"issue":"3","key":"4_CR2","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1145\/1149114.1149118","volume":"7","author":"S. Bistarelli","year":"2006","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Soft Concurrent Constraint Programming. ACM Trans. Comput. Logic\u00a07(3), 563\u2013589 (2006)","journal-title":"ACM Trans. Comput. Logic"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Boag, S., Chamberlin, D., Fernandez, M., Florescu, D., Robie, J., Simeon, J.: XQuery 1.0: An XML Query Language. Technical report, W3C (2003), http:\/\/www.w3.org\/TR\/xquery","DOI":"10.1145\/872757.872877"},{"issue":"1","key":"4_CR4","first-page":"135","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. J. Artif. Int. Res.\u00a021(1), 135\u2013191 (2004)","journal-title":"J. Artif. Int. Res."},{"issue":"10","key":"4_CR5","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1145\/1103845.1094852","volume":"40","author":"P. Charles","year":"2005","unstructured":"Charles, P., Grothoff, C., Saraswat, V., Donawa, C., Kielstra, A., Ebcioglu, K., von Praun, C., Sarkar, V.: X10: an Object-Oriented Approach to Non-uniform Cluster Computing. SIGPLAN Not.\u00a040(10), 519\u2013538 (2005)","journal-title":"SIGPLAN Not."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Cornelio, C., Goldsmith, J., Mattei, N., Rossi, F., Venable, K.B.: Updates and Uncertainity in CP-nets. In: Proceedings of the Australian Conference on Artificial Intelligence, pp. 301\u2013312 (2013)","DOI":"10.1007\/978-3-319-03680-9_32"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-540-74610-2_19","volume-title":"Logic Programming","author":"M. Falaschi","year":"2007","unstructured":"Falaschi, M., Olarte, C., Palamidessi, C., Valencia, F.: Declarative Diagnosis of Temporal Concurrent Constraint Programs. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 271\u2013285. Springer, Heidelberg (2007)"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/97945.97957","volume-title":"Proceedings of the European Conference on Object-oriented Programming on Object-oriented Programming Systems, Languages, and Applications, OOPSLA\/ECOOP 1990","author":"B.N. Freeman-Benson","year":"1990","unstructured":"Freeman-Benson, B.N.: Kaleidoscope: Mixing Objects, Constraints, and Imperative Programming. In: Proceedings of the European Conference on Object-oriented Programming on Object-oriented Programming Systems, Languages, and Applications, OOPSLA\/ECOOP 1990, pp. 77\u201388. ACM, New York (1990)"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/BFb0019403","volume-title":"Automated and Algorithmic Debugging","author":"M.P.J. Fromherz","year":"1993","unstructured":"Fromherz, M.P.J.: Towards Declarative Debugging of Concurrent Constraint Programs. In: Fritzson, P.A. (ed.) AADEBUG 1993. LNCS, vol.\u00a0749, pp. 88\u2013100. Springer, Heidelberg (1993)"},{"key":"4_CR10","first-page":"189","volume-title":"Proceedings of the 26th ACM SIGPLAN-SIGACT on Principles of Programming Languages, POPL 1999","author":"V. Gupta","year":"1999","unstructured":"Gupta, V., Jagadeesan, R., Panangaden, P.: Stochastic Processes as Concurrent Constraint Programs. In: Proceedings of the 26th ACM SIGPLAN-SIGACT on Principles of Programming Languages, POPL 1999, San Antonio, TX, January 20-22, pp. 189\u2013202. ACM Press, New York (1999)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"CONCUR\u201997: Concurrency Theory","author":"V. Gupta","year":"1997","unstructured":"Gupta, V., Jagadeesan, R., Saraswat, V.: Probabilistic Concurrent Constraint Programming. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol.\u00a01243, pp. 1\u20134. Springer, Heidelberg (1997)"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1007\/11590156_42","volume-title":"FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science","author":"R. Jagadeesan","year":"2005","unstructured":"Jagadeesan, R., Nadathur, G., Saraswat, V.: Testing Concurrent Systems: an Interpretation of Intuitionistic Logic. In: Sarukkai, S., Sen, S. (eds.) FSTTCS 2005. LNCS, vol.\u00a03821, pp. 517\u2013528. Springer, Heidelberg (2005)"},{"key":"4_CR13","unstructured":"Khatchadourian, S., Consens, M., Sim\u00e9on, J.: Chuql: Processing XML with XQuery Using Hadoop. In: Proceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research, CASCON 2011, Riverton, NJ, USA, pp. 74\u201383. IBM Corp. (2011)"},{"key":"4_CR14","unstructured":"Kothoff, L., Malitsky, Y., O\u2019Sullivan, B.: Advances in Algorithm Selection and Configuration for Constraint Solving and Satisfiability. In: Tutorial at IJCAI 2013 (2013)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Saraswat, V., Jagadeesan, R., Gupta, V.: Timed Default Concurrent Constraint Programming. Journal of Symbolic Computation\u00a022(5-6), 475\u2013520 (1996); Extended abstract appeared in the Proceedings of the 22nd ACM Symposium on Principles of Programming Languages, San Francisco (January 1995)","DOI":"10.1006\/jsco.1996.0064"},{"issue":"1","key":"4_CR16","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF03038307","volume":"13","author":"K. Ueda","year":"1994","unstructured":"Ueda, K., Morita, M.: Moded Flat GHC and Its Message-oriented Implementation Technique. New Gen. Comput.\u00a013(1), 3\u201343 (1994)","journal-title":"New Gen. Comput."},{"issue":"1-3","key":"4_CR17","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0743-1066(98)10006-7","volume":"37","author":"P. Hentenryck van","year":"1998","unstructured":"van Hentenryck, P., Deville, Y., Saraswat, V.: Design, Implementation and Evaluation of the Constraint Language cc(FD). Journal of Logic Programming\u00a037(1-3), 139\u2013164 (1998)","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10428-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,15]],"date-time":"2023-07-15T22:29:57Z","timestamp":1689460197000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10428-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319104270","9783319104287"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10428-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}