{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:49:09Z","timestamp":1725515349351},"publisher-location":"Berlin, Heidelberg","reference-count":15,"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_10","type":"book-chapter","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T02:58:16Z","timestamp":1213066696000},"page":"151-154","source":"Crossref","is-referenced-by-count":0,"title":["Constraint and Logic Programming: Ugo Montanari\u2019s Main Contributions and Introduction to the Volume Section"],"prefix":"10.1007","author":[{"given":"Francesca","family":"Rossi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_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)"},{"issue":"2","key":"10_CR2","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":"10_CR3","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":"10_CR4","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 Kaufmann, San Francisco (1997)"},{"issue":"1","key":"10_CR5","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":"10_CR6","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)"},{"issue":"3","key":"10_CR7","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)"},{"key":"10_CR8","volume-title":"Constraint Processing","author":"R. Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Morgan Kaufmann, San Francisco (2003)"},{"key":"10_CR9","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":"10_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of logic programming","author":"J. Lloyd","year":"1984","unstructured":"Lloyd, J.: Foundations of logic programming. Springer, Heidelberg (1984)"},{"key":"10_CR11","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)"},{"issue":"2","key":"10_CR12","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","author":"A. Martelli","year":"1982","unstructured":"Martelli, A., Montanari, U.: An efficient unification algorithm. ACM Transactions on Programming Languages and Systems\u00a04(2), 258\u2013282 (1982)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR13","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"},{"volume-title":"Handbook of constraint programming","year":"2006","unstructured":"Rossi, F., Van Beek, P., Walsh, T. (eds.): Handbook of constraint programming. Elsevier, Amsterdam (2006)","key":"10_CR14"},{"key":"10_CR15","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)"}],"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_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T04:06:36Z","timestamp":1551499596000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68679-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540686767","9783540686798"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68679-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}