{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T04:01:00Z","timestamp":1747627260027,"version":"3.40.5"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1997,12,1]],"date-time":"1997-12-01T00:00:00Z","timestamp":880934400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,12,1]],"date-time":"1997-12-01T00:00:00Z","timestamp":880934400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence Review"],"published-print":{"date-parts":[[1997,12]]},"DOI":"10.1023\/a:1017967318323","type":"journal-article","created":{"date-parts":[[2002,12,30]],"date-time":"2002-12-30T14:36:44Z","timestamp":1041259004000},"page":"427-452","source":"Crossref","is-referenced-by-count":0,"title":["Expressive Applications of Constraint Logic Programming"],"prefix":"10.1007","volume":"11","author":[{"given":"William B.","family":"Day","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"98819_CR1","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0167-8191(87)90007-X","volume":"5","author":"E. Chu","year":"1987","unstructured":"Chu, E. & George, A. (1987) Gaussian Elimination with Partial and Load Balancing on a Multiprocessor. Parallel Computing\n5: 65.","journal-title":"Parallel Computing"},{"key":"98819_CR2","doi-asserted-by":"crossref","unstructured":"Cohen, J. (1990). Constraint Logic Programming Languages. Communications of the ACM, 52\u201368.","DOI":"10.1145\/79204.79209"},{"key":"98819_CR3","unstructured":"Day, W. (1993). Planning Model Implementation in CLP. Final Technical Report, Contract No. C\/UB-1754-B, Rome Laboratory, Griffiss AFB, NY."},{"key":"98819_CR4","volume-title":"Solving Problems on Concurrent Processors","author":"G. C. Fox","year":"1988","unstructured":"Fox, G. C., Johnson, M. A., Lyzenga, G. A., Otto, S. W., Salmon, J. K. & Walker, D. W. (1988). Solving Problems on Concurrent Processors. Vol. I, Prentice Hall, Englewood Cliffs, NJ."},{"key":"98819_CR5","unstructured":"Gerald, Curtis F. (1970). Applied Numerical Analysis. Addison-Wesley."},{"key":"98819_CR6","unstructured":"Heintze, N., Michaylov, S. & Stuckey, P (1986). CLP(\u211c) and Some Electrical Engineering Problem. Proceedings of The 4th Int. Conf. on Logic Programming, J-L. Lassez (ed.). MIT Press."},{"key":"98819_CR7","unstructured":"Jaffar, J. & Michaylov, S. (1986). Methodology and Implementation of a CLP System. Proceedings of The 4th Int. Conf. on Logic Programming, J-L. Lassez (ed.), MIT Press."},{"key":"98819_CR8","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"Jaffar, J., Michaylov, S., Stuckey, P. & Yap, R. H. C. (1992). The CLP(\u211c) Language and System. ACM Trans. Programming Languages\n14: 339\u2013395.","journal-title":"ACM Trans. Programming Languages"},{"key":"98819_CR9","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J. & Maher, M. J. (1994). Constraint Logic Programming: A Survey. J. Logic Programming\n19, 20: 503\u2013581.","journal-title":"J. Logic Programming"},{"key":"98819_CR10","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1017\/S0890060400001207","volume":"8","author":"S. Lakmazaheri","year":"1989","unstructured":"Lakmazaheri, S. & Rasdorf, W. J. (1989). Constraint Logic Programming for the Analysis and Partial Syntheses of Truss Structures. Artifical Intelligence for Engineering Design, Analysis, & Manufacturing\n8: 157, 173.","journal-title":"Artifical Intelligence for Engineering Design, Analysis, & Manufacturing"},{"key":"98819_CR11","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MEX.1987.4307090","volume":"2","author":"C. Lassez","year":"1987","unstructured":"Lassez, C., MacAloon, K. & Yap, R. (1987) Constraint Logic Programming and Option Trading. IEEE Expert\n2: 42\u201350.","journal-title":"IEEE Expert"},{"key":"98819_CR12","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1002\/cpe.4330020404","volume":"2","author":"V. Sunderam","year":"1990","unstructured":"Sunderam, V. (1990), PVM: A Framework for Parallel Distributed Computing. Concurrency: Practice & Experience\n2: 315\u2013339.","journal-title":"Concurrency: Practice & Experience"},{"key":"98819_CR13","unstructured":"van Hentenryek, P. (1989). Constraint Satisfaction in Logic Programming. MIT Press."}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1017967318323.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1017967318323\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1017967318323.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T04:46:08Z","timestamp":1747543568000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1017967318323"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,12]]},"references-count":13,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1997,12]]}},"alternative-id":["98819"],"URL":"https:\/\/doi.org\/10.1023\/a:1017967318323","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"type":"print","value":"0269-2821"},{"type":"electronic","value":"1573-7462"}],"subject":[],"published":{"date-parts":[[1997,12]]}}}