{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:26Z","timestamp":1725663026781},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164920"},{"type":"electronic","value":"9783540398318"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16492-8_64","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:49:37Z","timestamp":1330195777000},"page":"55-68","source":"Crossref","is-referenced-by-count":15,"title":["An intelligent backtracking algorithm for parallel execution of logic programs"],"prefix":"10.1007","author":[{"given":"Yow-Jian","family":"Lin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vipin","family":"Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clement","family":"Leung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"4_CR1","unstructured":"Bruynooghe, M. and L. M. Pereira, \u201cDeduction Revision by Intelligent Backtracking,\u201d in Implementations of Prolog, ed. J. A. Campbell, pp. 194\u2013215, Ellis Horwood Limited, 1984."},{"key":"4_CR2","unstructured":"Chang, J.-H. and A.M. Despain, \u201cSemi-Intelligent Backtracking of Prolog Based on a Static Data Dependency Analysis,\u201d Proceedings of IEEE Symposium on Logic Programming, pp. 10\u201321, August, 1985."},{"key":"4_CR3","series-title":"Technical Report","volume-title":"The AND\/OR Process Model for Parallel Interpretation of Logic Programs","author":"J.S. Conery","year":"1983","unstructured":"Conery, J.S., \u201cThe AND\/OR Process Model for Parallel Interpretation of Logic Programs,\u201d Ph.D. Thesis, (Technical Report 204), University of California, Irvine, California, June, 1983."},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Conery, J. S. and D. F. Kibler, \u201cParallel Interpretation of Logic Programs,\u201d Proceedings of the Conference on Functional Programming Languages and Computer Architecture, pp. 163\u2013170, ACM, October, 1981.","DOI":"10.1145\/800223.806775"},{"key":"4_CR5","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/BF03037115","volume":"3","author":"J.S. Conery","year":"1985","unstructured":"Conery, J.S. and D.F. Kibler, \u201cAND Parallelism and Nondeterminism in Logic Programs,\u201d New Generation Computing, vol.3(1985), pp. 43\u201370, OHMSHA,LTD. and Springer-Verlag, 1985.","journal-title":"New Generation Computing"},{"key":"4_CR6","unstructured":"Cox, P. T., \u201cFinding Backtrack Points for Intelligent Backtracking,\u201d in Implementations of Prolog, ed. J. A. Campbell, pp. 216\u2013233, Ellis Horwood Limited, 1984."},{"key":"4_CR7","unstructured":"Kale, L.V. and D.S. Warren, \u201cA Class of Architectures for a Prolog Machine,\u201d Proceedings of the Second International Logic Programming Conference, pp. 171\u2013182, Uppsala, Sweden, July, 1984."},{"key":"4_CR8","unstructured":"Kasif, S. and J. Minker, \u201cThe Intelligent Channel: A Scheme for Result Sharing in Logic Programs,\u201d Proceedings of the 9th IJCAI, pp. 29\u201331, Los Angeles, August, 1985."},{"key":"4_CR9","volume-title":"A Decentralized Model for Executing Logic Programs in Parallel","author":"Y.J. Lin","year":"1986","unstructured":"Lin, Y.J. and V. Kumar, \u201cA Decentralized Model for Executing Logic Programs in Parallel,\u201d AI Lab TR, The University of Texas at Austin, Austin, Texas, April, 1986."},{"key":"4_CR10","unstructured":"Lin, Y.J., \u201cA Parallel Implementation of Logic Programs,\u201d Ph.D. dissertation, The University of Texas at Austin, Austin, Texas, in preparation."},{"key":"4_CR11","unstructured":"Pereira, L. M. and A. Porto, \u201cSelective Backtracking,\u201d in Logic Programming, ed. K. L. Clark and S.-A. Tarnlund, pp. 107\u2013114, Academic Press, 1982."}],"container-title":["Lecture Notes in Computer Science","Third International Conference on Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16492-8_64.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:04:46Z","timestamp":1619557486000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16492-8_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164920","9783540398318"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-16492-8_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}