乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T05:04:51Z","timestamp":1648530291726},"reference-count":37,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1999,10,1]],"date-time":"1999-10-01T00:00:00Z","timestamp":938736000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Languages"],"published-print":{"date-parts":[[1999,10]]},"DOI":"10.1016\/s0096-0551(99)00013-2","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T02:38:44Z","timestamp":1027651124000},"page":"119-144","source":"Crossref","is-referenced-by-count":0,"title":["An execution scheme for interactive problem-solving in concurrent constraint logic programming languages"],"prefix":"10.1016","volume":"25","author":[{"given":"Jimmy H.M.","family":"Lee","sequence":"first","affiliation":[]},{"given":"Ho-fung","family":"Leung","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0096-0551(99)00013-2_BIB1","series-title":"Proceedings of the International Conference on Fifth Generation Computer Systems 1988, Tokyo, Japan, November\u2013December","first-page":"784","article-title":"Tables as a user interface for logic problems","author":"Cheng","year":"1988"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB2","unstructured":"Chatalic P. Technical Report TR-LP-23, 1987 European Computer-Industry Research Centre, June"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB3","unstructured":"Chatalic P. Technical Report TR-LP-42, 1989 European Computer-Industry Research Centre, May"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB4","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/BF03037165","article-title":"Incremental search in constraint logic programming","volume":"9","author":"Van Hentenryck","year":"1991","journal-title":"New Generation Computing"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB5","series-title":"Proceedings of the Fifth Conference on Canadian Society for Computational Studies in Intelligence","first-page":"126","article-title":"Logic as an interaction language","author":"van Emden","year":"1984"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB6","article-title":"Distributed Constraint Logic Programming","volume":"Vol. 41","author":"Leung","year":"1993"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB7","series-title":"Proceedings of the 14th ACM POPL Conference, Munich, January","first-page":"111","article-title":"Constraint logic programming","author":"Jaffar","year":"1987"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB8","series-title":"Non-Deterministic Concurrent Logic Programming in Pandora","author":"Bahgat","year":"1992"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB9","series-title":"Parallel Logic Programming in PARLOG: The Language and Its Implementation","author":"Gregory","year":"1987"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB10","doi-asserted-by":"crossref","unstructured":"Ueda K. Guarded Horn Clause. PhD thesis, University of Tokyo, Tokyo, Japan, 1986.","DOI":"10.1007\/3-540-16479-0_17"},{"issue":"4","key":"10.1016\/S0096-0551(99)00013-2_BIB11","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1109\/MC.1986.1663307","article-title":"Concurrent Prolog: a progress report","volume":"8","author":"Shapiro","year":"1986","journal-title":"IEEE Computer"},{"issue":"1","key":"10.1016\/S0096-0551(99)00013-2_BIB12","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","article-title":"Consistency in networks of relations","volume":"8","author":"Mackworth","year":"1977","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB13","unstructured":"van Emden MH, Rosenbleuth DA. IBM SUR Grant Project No. 058CT-35, final report, 1986 August"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB14","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF03037408","article-title":"Spreadsheets with incremental queries as a user interface for logic programming","volume":"4","author":"van Emden","year":"1986","journal-title":"New Generation Computing"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB15","series-title":"Proceedings of the Fifth Conference on Logic Programming \u201986, Tokyo, Japan, June","first-page":"137","article-title":"A framework for interactive problem solving based on interactive query revision","author":"Ohki","year":"1986"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB16","series-title":"Logic Programming: proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June","first-page":"149","article-title":"A reactive constraint logic programming scheme","author":"Fages","year":"1995"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB17","unstructured":"Naish L. An introduction to Mu-Prolog. Technical Report TR-82\/2, Department of Computer Science, Melbourne University, 1982. Revised version July 1983"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB18","series-title":"Proceedings of the North American Conference on Logic Programming 1989, Cleveland, OH","first-page":"20","article-title":"Expanding query power in constraint logic programming languages","author":"Maher","year":"1989"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB19","series-title":"Logic Programming: proceedings of the Fourth International Conference, Melbourne, Australia","first-page":"858","article-title":"Logic semantics for a class of committed-choice programs","author":"Maher","year":"1987"},{"issue":"6","key":"10.1016\/S0096-0551(99)00013-2_BIB20","doi-asserted-by":"crossref","first-page":"482","DOI":"10.1093\/comjnl\/33.6.482","article-title":"Parallel logic programming","volume":"33","author":"Clark","year":"1990","journal-title":"The Computer Journal"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB21","unstructured":"Warren DHD. The Andorra model. Presented at the Gigalips Project Workshop, University of Manchester, March 1992"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB22","series-title":"Foundations of Logic Programming","author":"Lloyd","year":"1987"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB23","series-title":"Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS\u201988), Tokyo, Japan, December","first-page":"693","article-title":"The constraint logic programming language CHIP","author":"Dincbas","year":"1988"},{"issue":"3","key":"10.1016\/S0096-0551(99)00013-2_BIB24","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/129393.129398","article-title":"The CLP (R) language and system","volume":"14","author":"Jaffar","year":"1992","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB25","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/BF03037945","article-title":"The abstract machine and implementation of parallel parlog","volume":"10","author":"Crammond","year":"1992","journal-title":"New Generation Computing"},{"issue":"2","key":"10.1016\/S0096-0551(99)00013-2_BIB26","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0020-0190(95)00063-I","article-title":"Incremental constraint deletion in systems of linear constraints","volume":"55","author":"Huynh","year":"1995","journal-title":"Information Processing Letters"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB27","series-title":"Object-Oriented Programming for Graphics","first-page":"217","article-title":"An object-oriented architecture for constraint-based graphical editing","author":"Helm","year":"1995"},{"issue":"3&4","key":"10.1016\/S0096-0551(99)00013-2_BIB28","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0743-1066(93)90045-I","article-title":"Interval computation as deduction in CHIP","volume":"16","author":"Lee","year":"1993","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB29","series-title":"Constraint Satisfaction in Logic Programming","author":"Van Hentenryck","year":"1989"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB30","unstructured":"Van Hentenryck P. Consistency Techniques in Logic Programming. PhD thesis, University of Namur, Belgium, 1987."},{"key":"10.1016\/S0096-0551(99)00013-2_BIB31","series-title":"Proceedings of the Eighth International Conference on Logic Programming","first-page":"745","article-title":"The cardinality operator: A new logical connective for constraint logic programming","author":"Van Hentenryck","year":"1991"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB32","unstructured":"Van Hentenryck P, Saraswat V, Deville Y. Technical Report CS-93-02, 1993 Computer Science Department, Brown University, Providence, RI, USA"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB33","series-title":"CHIP V4 User Manuals","author":"The","year":"1993"},{"issue":"1","key":"10.1016\/S0096-0551(99)00013-2_BIB34","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0743-1066(96)00142-2","article-title":"Applying interval arithmetic to real, integer and boolean constraints","volume":"32","author":"Benhamou","year":"1997","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB35","series-title":"Relaxation Methods in Theoretical Physics","author":"Southwell","year":"1946"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB36","doi-asserted-by":"crossref","unstructured":"Sutherland IE. SKETCHPAD: a Man-Machine Graphical Communication System. PhD thesis, MIT Lincoln Labs, Cambridge, MA, 1963.","DOI":"10.1145\/1461551.1461591"},{"key":"10.1016\/S0096-0551(99)00013-2_BIB37","series-title":"Proceedings of the European Conference on Artificial Intelligence","first-page":"290","article-title":"Solving the car-sequencing problem in constraint logic programming","author":"Dincbas","year":"1988"}],"container-title":["Computer Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0096055199000132?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0096055199000132?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T04:11:58Z","timestamp":1580875918000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0096055199000132"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,10]]},"references-count":37,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999,10]]}},"alternative-id":["S0096055199000132"],"URL":"https:\/\/doi.org\/10.1016\/s0096-0551(99)00013-2","relation":{},"ISSN":["0096-0551"],"issn-type":[{"value":"0096-0551","type":"print"}],"subject":[],"published":{"date-parts":[[1999,10]]}}}